Downloads provided by UsageCounts
Abstract We study the average case complexity of the Uniform Membership Problem for subgroups of free groups, and we show that it is orders of magnitude smaller than the worst case complexity of the best known algorithms. This applies to subgroups given by a fixed number of generators as well as to subgroups given by an exponential number of generators. The main idea behind this result is to exploit a generic property of tuples of words, called the central tree property. An application is given to the average case complexity of the Relative Primitivity Problem, using Shpilrain’s recent algorithm to decide primitivity, whose average case complexity is a constant depending only on the rank of the ambient free group.
FOS: Computer and information sciences, Generators, relations, and presentations of groups, Àrees temàtiques de la UPC::Matemàtiques i estadística, Analysis of algorithms and problem complexity, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), Group Theory (math.GR), Computational Complexity (cs.CC), Classificació AMS::68 Computer science::68W Algorithms, Computer Science - Computational Complexity, algorithmic problems, free group, FOS: Mathematics, 20E05, 20F10, 68Q17, complexity, Geometric group theory, Mathematics - Group Theory, uniform membership problem for subgroups
FOS: Computer and information sciences, Generators, relations, and presentations of groups, Àrees temàtiques de la UPC::Matemàtiques i estadística, Analysis of algorithms and problem complexity, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), Group Theory (math.GR), Computational Complexity (cs.CC), Classificació AMS::68 Computer science::68W Algorithms, Computer Science - Computational Complexity, algorithmic problems, free group, FOS: Mathematics, 20E05, 20F10, 68Q17, complexity, Geometric group theory, Mathematics - Group Theory, uniform membership problem for subgroups
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 69 | |
| downloads | 15 |

Views provided by UsageCounts
Downloads provided by UsageCounts