files / problems / kissing-5d / compute / q4 / n1_complete_k12.json

2.1 KB · on GitHub

{
  "d": 4,
  "n": 1480,
  "n_d5": 40,
  "n_extras": 1440,
  "n_groups": 240,
  "n_extra_edges": 884720,
  "n_intra_group_edges": 0,
  "groups_edgeless": true,
  "maxk": 12,
  "n_unions_visited": 2771762,
  "slices": {
    "4": {"k": 4, "n1": 36, "n_unions": 160, "n_promising": 0, "tried": 0, "max_seeds": 1, "best_extras": 0, "best_total": 36, "found": false, "complete": true, "empty_by_part_count": true},
    "5": {"k": 5, "n1": 35, "n_unions": 320, "n_promising": 0, "tried": 0, "max_seeds": 2, "best_extras": 0, "best_total": 35, "found": false, "complete": true, "empty_by_part_count": true},
    "6": {"k": 6, "n1": 34, "n_unions": 320, "n_promising": 0, "tried": 0, "max_seeds": 4, "best_extras": 0, "best_total": 34, "found": false, "complete": true, "empty_by_part_count": true},
    "7": {"k": 7, "n1": 33, "n_unions": 3280, "n_promising": 80, "tried": 80, "max_seeds": 8, "best_extras": 7, "best_total": 40, "found": false, "complete": true, "empty_by_part_count": false},
    "8": {"k": 8, "n1": 32, "n_unions": 20810, "n_promising": 10, "tried": 10, "max_seeds": 16, "best_extras": 8, "best_total": 40, "found": false, "complete": true, "empty_by_part_count": false},
    "9": {"k": 9, "n1": 31, "n_unions": 61920, "n_promising": 0, "tried": 0, "max_seeds": 5, "best_extras": 0, "best_total": 31, "found": false, "complete": true, "empty_by_part_count": true},
    "10": {"k": 10, "n1": 30, "n_unions": 164672, "n_promising": 0, "tried": 0, "max_seeds": 10, "best_extras": 0, "best_total": 30, "found": false, "complete": true, "empty_by_part_count": true},
    "11": {"k": 11, "n1": 29, "n_unions": 577520, "n_promising": 960, "tried": 960, "max_seeds": 17, "best_extras": 11, "best_total": 40, "found": false, "complete": true, "empty_by_part_count": false},
    "12": {"k": 12, "n1": 28, "n_unions": 1942760, "n_promising": 4640, "tried": 4640, "max_seeds": 18, "best_extras": 12, "best_total": 40, "found": false, "complete": true, "empty_by_part_count": false}
  },
  "found_41": false,
  "complete": true,
  "comment": "every seed-union with |U|<=maxk; a 41-set needs |E|>=|U|+1 extras whose missed sets sit in U"
}