An adaptive prefix-assignment technique for symmetry reduction

Tommi Junttila, Matti Karppa*, Petteri Kaski, Jukka Kohonen

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

1 Sitaatiot (Scopus)

Abstrakti

This paper presents a technique for symmetry reduction that adaptively assigns a prefix of variables in a system of constraints so that the generated prefix-assignments are pairwise nonisomorphic under the action of the symmetry group of the system. The technique is based on McKay’s canonical extension framework [J. Algorithms 26 (1998), no. 2, 306–324]. Among key features of the technique are (i) adaptability—the prefix sequence can be user-prescribed and truncated for compatibility with the group of symmetries; (ii) parallelisability—prefix-assignments can be processed in parallel independently of each other; (iii) versatility—the method is applicable whenever the group of symmetries can be concisely represented as the automorphism group of a vertex-colored graph; and (iv) implementability—the method can be implemented relying on a canonical labeling map for vertex-colored graphs as the only nontrivial subroutine. To demonstrate the tentative practical applicability of our technique we have prepared a preliminary implementation and report on a limited set of experiments that demonstrate ability to reduce symmetry on hard instances.

AlkuperäiskieliEnglanti
OtsikkoTheory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Proceedings
Sivut101-118
Sivumäärä18
DOI - pysyväislinkit
TilaJulkaistu - 2017
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Theory and Applications of Satisfiability Testing - Melbourne, Austraalia
Kesto: 28 elokuuta 20171 syyskuuta 2017
Konferenssinumero: 20

Julkaisusarja

NimiLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
KustantajaSpringer
Vuosikerta10491 LNCS
ISSN (painettu)03029743
ISSN (elektroninen)16113349

Conference

ConferenceInternational Conference on Theory and Applications of Satisfiability Testing
LyhennettäSAT
MaaAustraalia
KaupunkiMelbourne
Ajanjakso28/08/201701/09/2017

Sormenjälki Sukella tutkimusaiheisiin 'An adaptive prefix-assignment technique for symmetry reduction'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

  • Siteeraa tätä

    Junttila, T., Karppa, M., Kaski, P., & Kohonen, J. (2017). An adaptive prefix-assignment technique for symmetry reduction. teoksessa Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Proceedings (Sivut 101-118). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 10491 LNCS). https://doi.org/10.1007/978-3-319-66263-3_7