On Optimal Representatives of Finite Coloured Linear Orders

Autor:	Feresiano Mwesigye, John K. Truss
Rok vydání:	2018
Předmět:	Algebra Computer Science::Computer Science and Game Theory Algebra and Number Theory Computational Theory and Mathematics Canonical form Geometry and Topology Algebra over a field Mathematics
Zdroj:	Order. 36:107-117
ISSN:	1572-9273 0167-8094
DOI:	10.1007/s11083-018-9458-3
Popis:	Two structures A and B are n-equivalent if player II has a winning strategy in the n-move Ehrenfeucht-Fraisse game on A and B. We extend earlier results about n-equivalence classes for finite coloured linear orders, describing an algorithm for reducing to canonical form under 2-equivalence, and concentrating on the cases of 2 and 3 moves.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e2b63474c61f595901cd24c68d4406f3 https://doi.org/10.1007/s11083-018-9458-3 Zobrazit plný text záznamu Full text from SpringerLink