Isomorphism and Invariants of Parallelisms of Projective Spaces
Autor: | Stela Zhelezova, Svetlana Topalova |
---|---|
Rok vydání: | 2020 |
Předmět: |
Discrete mathematics
Computer science 020206 networking & telecommunications 0102 computer and information sciences 02 engineering and technology Type (model theory) Automorphism 01 natural sciences Centralizer and normalizer Constructive 010201 computation theory & mathematics Search algorithm 0202 electrical engineering electronic engineering information engineering Isomorphism Filter (mathematics) Projective test |
Zdroj: | Lecture Notes in Computer Science ISBN: 9783030521998 ICMS |
DOI: | 10.1007/978-3-030-52200-1_16 |
Popis: | We consider the computer-aided constructive classification of parallelisms with predefined automorphism groups in small finite projective spaces. The usage of a backtrack search algorithm makes it very important to filter away equivalent partial solutions as soon as possible and to use a fast method for checking for isomorphism of any two parallelisms. The rejection of most of the equivalent solutions can be done by a test which uses the normalizer of the predefined automorphism group. We consider the applicability and effectiveness of such a test, and present sensitive invariants of resolutions of Steiner 2-designs. They can be used to facilitate any type of test for isomorphism of parallelisms. |
Databáze: | OpenAIRE |
Externí odkaz: |