files / problems / seymour-second-neighborhood / compute / certs / known_constructions.json
[
{
"name": "C7^2",
"n": 7,
"tight": true,
"pisa": true,
"delta": 0,
"outdegrees": [
2,
2,
2,
2,
2,
2,
2
],
"missing_deg": [
2,
2,
2,
2,
2,
2,
2
],
"underlying_deg": [
4,
4,
4,
4,
4,
4,
4
],
"matching_missing": false,
"strong": true,
"margins": [
0,
0,
0,
0,
0,
0,
0
],
"missing": [
[
0,
3
],
[
0,
4
],
[
1,
4
],
[
1,
5
],
[
2,
5
],
[
2,
6
],
[
3,
6
]
]
},
{
"name": "C8^2",
"n": 8,
"tight": true,
"pisa": true,
"delta": 0,
"outdegrees": [
2,
2,
2,
2,
2,
2,
2,
2
],
"missing_deg": [
3,
3,
3,
3,
3,
3,
3,
3
],
"underlying_deg": [
4,
4,
4,
4,
4,
4,
4,
4
],
"matching_missing": false,
"strong": true,
"margins": [
0,
0,
0,
0,
0,
0,
0,
0
],
"missing": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
5
],
[
2,
6
],
[
2,
7
],
[
3,
6
],
[
3,
7
],
[
4,
7
]
]
},
{
"name": "C8^3",
"n": 8,
"tight": true,
"pisa": true,
"delta": 0,
"outdegrees": [
3,
3,
3,
3,
3,
3,
3,
3
],
"missing_deg": [
1,
1,
1,
1,
1,
1,
1,
1
],
"underlying_deg": [
6,
6,
6,
6,
6,
6,
6,
6
],
"matching_missing": true,
"strong": true,
"margins": [
0,
0,
0,
0,
0,
0,
0,
0
],
"missing": [
[
0,
4
],
[
1,
5
],
[
2,
6
],
[
3,
7
]
]
},
{
"name": "C9^2",
"n": 9,
"tight": true,
"pisa": true,
"delta": 0,
"outdegrees": [
2,
2,
2,
2,
2,
2,
2,
2,
2
],
"missing_deg": [
4,
4,
4,
4,
4,
4,
4,
4,
4
],
"underlying_deg": [
4,
4,
4,
4,
4,
4,
4,
4,
4
],
"matching_missing": false,
"strong": true,
"margins": [
0,
0,
0,
0,
0,
0,
0,
0,
0
],
"missing": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
1,
7
],
[
2,
5
],
[
2,
6
],
[
2,
7
],
[
2,
8
],
[
3,
6
],
[
3,
7
],
[
3,
8
],
[
4,
7
],
[
4,
8
],
[
5,
8
]
]
},
{
"name": "C9^3",
"n": 9,
"tight": true,
"pisa": true,
"delta": 0,
"outdegrees": [
3,
3,
3,
3,
3,
3,
3,
3,
3
],
"missing_deg": [
2,
2,
2,
2,
2,
2,
2,
2,
2
],
"underlying_deg": [
6,
6,
6,
6,
6,
6,
6,
6,
6
],
"matching_missing": false,
"strong": true,
"margins": [
0,
0,
0,
0,
0,
0,
0,
0,
0
],
"missing": [
[
0,
4
],
[
0,
5
],
[
1,
5
],
[
1,
6
],
[
2,
6
],
[
2,
7
],
[
3,
7
],
[
3,
8
],
[
4,
8
]
]
},
{
"name": "C7",
"n": 7,
"tight": true,
"pisa": true,
"delta": 0,
"outdegrees": [
1,
1,
1,
1,
1,
1,
1
],
"missing_deg": [
4,
4,
4,
4,
4,
4,
4
],
"underlying_deg": [
2,
2,
2,
2,
2,
2,
2
],
"matching_missing": false,
"strong": true,
"margins": [
0,
0,
0,
0,
0,
0,
0
],
"missing": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
5
],
[
3,
6
],
[
4,
6
]
]
},
{
"name": "RT7",
"n": 7,
"tight": true,
"pisa": true,
"delta": 0,
"outdegrees": [
3,
3,
3,
3,
3,
3,
3
],
"missing_deg": [
0,
0,
0,
0,
0,
0,
0
],
"underlying_deg": [
6,
6,
6,
6,
6,
6,
6
],
"matching_missing": true,
"strong": true,
"margins": [
0,
0,
0,
0,
0,
0,
0
],
"missing": []
},
{
"name": "C3[E2]",
"n": 6,
"tight": true,
"pisa": true,
"delta": 0,
"outdegrees": [
2,
2,
2,
2,
2,
2
],
"missing_deg": [
1,
1,
1,
1,
1,
1
],
"underlying_deg": [
4,
4,
4,
4,
4,
4
],
"matching_missing": true,
"strong": true,
"margins": [
0,
0,
0,
0,
0,
0
],
"missing": [
[
0,
1
],
[
2,
3
],
[
4,
5
]
]
},
{
"name": "C4[E2]",
"n": 8,
"tight": true,
"pisa": true,
"delta": 0,
"outdegrees": [
2,
2,
2,
2,
2,
2,
2,
2
],
"missing_deg": [
3,
3,
3,
3,
3,
3,
3,
3
],
"underlying_deg": [
4,
4,
4,
4,
4,
4,
4,
4
],
"matching_missing": false,
"strong": true,
"margins": [
0,
0,
0,
0,
0,
0,
0,
0
],
"missing": [
[
0,
1
],
[
0,
4
],
[
0,
5
],
[
1,
4
],
[
1,
5
],
[
2,
3
],
[
2,
6
],
[
2,
7
],
[
3,
6
],
[
3,
7
],
[
4,
5
],
[
6,
7
]
]
},
{
"name": "C3[E3]",
"n": 9,
"tight": true,
"pisa": true,
"delta": 0,
"outdegrees": [
3,
3,
3,
3,
3,
3,
3,
3,
3
],
"missing_deg": [
2,
2,
2,
2,
2,
2,
2,
2,
2
],
"underlying_deg": [
6,
6,
6,
6,
6,
6,
6,
6,
6
],
"matching_missing": false,
"strong": true,
"margins": [
0,
0,
0,
0,
0,
0,
0,
0,
0
],
"missing": [
[
0,
1
],
[
0,
2
],
[
1,
2
],
[
3,
4
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
]
},
{
"claim": "Halkiewicz Conjecture 5.1 (Pisa => Cn or Kn-matching) fails at n=7",
"witness": "directed C7^2",
"missing_deg": [
2,
2,
2,
2,
2,
2,
2
],
"margins": [
0,
0,
0,
0,
0,
0,
0
]
}
]