The largest pure partial planes of order 6 have size 25 (Q1991417): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Changed an Item |
||
| Property / describes a project that uses | |||
| Property / describes a project that uses: nauty / rank | |||
Normal rank | |||
Revision as of 21:02, 29 February 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The largest pure partial planes of order 6 have size 25 |
scientific article |
Statements
The largest pure partial planes of order 6 have size 25 (English)
0 references
30 October 2018
0 references
Summary: In this paper, we prove that the largest pure partial plane of order 6 has size 25. At the same time, we classify all pure partial planes of order 6 and size 25 up to isomorphism. Our major approach is computer search. The search space is very large so we use combinatorial arguments to rule out some of the cases. For the remaining cases, we subdivide each search by phases and use multiple checks to reduce search space via symmetry.
0 references
pure partial planes
0 references
finite projective planes
0 references
