Title :
Solving the enumeration and word problems on Coxeter groups
Author :
Pérez-Pérez, S.L. ; Morales-Luna, G.B. ; Sagols-Troncoso, F.D.
Author_Institution :
Comput. Sci. Dept., CINVESTAV-IPN, Mexico City, Mexico
Abstract :
The word problem and indeed the enumeration problem in Coxeter groups are intractable in most cases. A direct way to solve the enumeration problem is by listing the canonical representatives of the equivalence classes, but this entails to solve the word problem for certain pairs of words in the group. We describe two methods to solve these problems and we analyze their complexity. We characterize two particular types of groups in which the word and the enumeration problems can efficiently be solved.
Keywords :
computational complexity; group theory; Coxeter group; computational complexity; enumeration problem; equivalence class; word problem; Complexity theory; Force; Generators; Manganese; Symmetric matrices; Upper bound; Canonical representatives; Coxeter group; enumeration problem; word problem;
Conference_Titel :
Electrical Engineering Computing Science and Automatic Control (CCE), 2011 8th International Conference on
Conference_Location :
Merida City
Print_ISBN :
978-1-4577-1011-7
DOI :
10.1109/ICEEE.2011.6106664