We present an efficient implementation of the solution to the conjugacy problem in Thompson's group F. This algorithm checks for conjugacy by constructing and comparing directed graphs called strand diagrams. We provide a description of our solution algorithm, including the data structure that represents strand diagrams and supports simplifications.
Belk, J., Hossain, N., Matucci, F., Mcgrail, R. (2014). Implementation of a solution to the conjugacy problem in Thompson's group F. Intervento presentato a: ISSAC, New York, USA [10.1145/2576802.2576823].
Implementation of a solution to the conjugacy problem in Thompson's group F
Matucci, FrancescoCo-primo
;
2014
Abstract
We present an efficient implementation of the solution to the conjugacy problem in Thompson's group F. This algorithm checks for conjugacy by constructing and comparing directed graphs called strand diagrams. We provide a description of our solution algorithm, including the data structure that represents strand diagrams and supports simplifications.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
GroupF.pdf
accesso aperto
Tipologia di allegato:
Submitted Version (Pre-print)
Dimensione
232.68 kB
Formato
Adobe PDF
|
232.68 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.