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

1.4 KB · on GitHub

{
  "claim": "Pisa orientation on 8 vertices",
  "source_search": "pisa8_irregular2.json",
  "n": 8,
  "arcs": [
    [
      0,
      5
    ],
    [
      0,
      6
    ],
    [
      1,
      0
    ],
    [
      1,
      5
    ],
    [
      1,
      6
    ],
    [
      2,
      0
    ],
    [
      2,
      1
    ],
    [
      3,
      0
    ],
    [
      3,
      1
    ],
    [
      4,
      2
    ],
    [
      4,
      3
    ],
    [
      4,
      7
    ],
    [
      5,
      4
    ],
    [
      5,
      6
    ],
    [
      5,
      7
    ],
    [
      6,
      4
    ],
    [
      6,
      7
    ],
    [
      7,
      2
    ],
    [
      7,
      3
    ]
  ],
  "missing": [
    [
      0,
      4
    ],
    [
      0,
      7
    ],
    [
      1,
      4
    ],
    [
      1,
      7
    ],
    [
      2,
      3
    ],
    [
      2,
      5
    ],
    [
      2,
      6
    ],
    [
      3,
      5
    ],
    [
      3,
      6
    ]
  ],
  "outdegrees": [
    2,
    3,
    2,
    2,
    3,
    3,
    2,
    2
  ],
  "margins": [
    0,
    -1,
    0,
    0,
    -1,
    -1,
    0,
    0
  ],
  "delta": 0,
  "strong": true,
  "pisa": true,
  "tight": false,
  "missing_deg": [
    2,
    2,
    2,
    2,
    2,
    2,
    3,
    3
  ],
  "underlying_deg": [
    4,
    4,
    5,
    5,
    5,
    5,
    5,
    5
  ],
  "matching_missing": false,
  "code": 145923119419
}