files / problems / seymour-second-neighborhood / compute / certs / n8_miss1regular.json

1.4 KB · on GitHub

{
  "claim": "Pisa on 8 vertices, missing-degree 1^8 (K8 minus perfect matching); directed C8^3",
  "source_search": "cycle_power(8,3)",
  "n": 8,
  "arcs": [
    [
      0,
      1
    ],
    [
      0,
      2
    ],
    [
      0,
      3
    ],
    [
      1,
      2
    ],
    [
      1,
      3
    ],
    [
      1,
      4
    ],
    [
      2,
      3
    ],
    [
      2,
      4
    ],
    [
      2,
      5
    ],
    [
      3,
      4
    ],
    [
      3,
      5
    ],
    [
      3,
      6
    ],
    [
      4,
      5
    ],
    [
      4,
      6
    ],
    [
      4,
      7
    ],
    [
      5,
      0
    ],
    [
      5,
      6
    ],
    [
      5,
      7
    ],
    [
      6,
      0
    ],
    [
      6,
      1
    ],
    [
      6,
      7
    ],
    [
      7,
      0
    ],
    [
      7,
      1
    ],
    [
      7,
      2
    ]
  ],
  "missing": [
    [
      0,
      4
    ],
    [
      1,
      5
    ],
    [
      2,
      6
    ],
    [
      3,
      7
    ]
  ],
  "outdegrees": [
    3,
    3,
    3,
    3,
    3,
    3,
    3,
    3
  ],
  "margins": [
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
  ],
  "delta": 0,
  "strong": true,
  "pisa": true,
  "tight": true,
  "missing_deg": [
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1
  ],
  "underlying_deg": [
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6
  ],
  "matching_missing": true,
  "code": 21136767804
}