33 citations · 92 across the 24 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.GR2016
Conjugacy search problem and the Andrews-Curtis conjecture
Dmitry Panteleev, Alexander Ushakov
We develop new computational methods for studying potential counterexamples to the Andrews-Curtis conjecture, in particular, Akbulut-Kurby examples AK(n). We devise a number of alg…
cs.CC2016
Generic case completeness
Alexei Miasnikov, Alexander Ushakov
In this note we introduce a notion of a generically (strongly generically) NP-complete problem and show that the randomized bounded version of the halting problem is strongly gener…