files / problems / affine-013 / compute / q1 / certs / q1.json

3.9 KB · on GitHub

{
  "claim": "no new constant; gamma still <= 1/2, conjecture 1/3 open",
  "ok": true,
  "hook_identity_sets": 136,
  "almost_interval": {
    "formula": "n=3m => T({0..n-2,n}) = n^2/3 + 1",
    "checked_m_max": 40,
    "unique_hole_pair": "(n-3, n)",
    "ok": true
  },
  "two_thirds_budget_fails": [
    {
      "S": [
        0,
        2,
        3,
        4,
        6
      ],
      "n": 5,
      "end_L": 3,
      "end_R": 3,
      "min_end": 3,
      "two_thirds_budget": 2.6666666666666665,
      "over": true,
      "T": 9,
      "T_interval": 9,
      "ratio": 0.36
    },
    {
      "S": [
        0,
        2,
        3,
        6,
        7,
        9
      ],
      "n": 6,
      "end_L": 4,
      "end_R": 4,
      "min_end": 4,
      "two_thirds_budget": 3.3333333333333335,
      "over": true,
      "T": 12,
      "T_interval": 12,
      "ratio": 0.3333333333333333
    },
    {
      "S": [
        0,
        3,
        4,
        6,
        8,
        9,
        12
      ],
      "n": 7,
      "end_L": 5,
      "end_R": 5,
      "min_end": 5,
      "two_thirds_budget": 4.0,
      "over": true,
      "T": 17,
      "T_interval": 17,
      "ratio": 0.3469387755102041
    },
    {
      "S": [
        0,
        2,
        3,
        4,
        6,
        8,
        9,
        10,
        12
      ],
      "n": 9,
      "end_L": 7,
      "end_R": 7,
      "min_end": 7,
      "two_thirds_budget": 5.333333333333333,
      "over": true,
      "T": 27,
      "T_interval": 27,
      "ratio": 0.3333333333333333
    }
  ],
  "high_end_ratio": [
    {
      "name": "n9_7/8",
      "S": [
        0,
        2,
        3,
        4,
        6,
        8,
        9,
        10,
        12
      ],
      "n": 9,
      "end_L": 7,
      "end_R": 7,
      "min_end_ratio": 0.875,
      "T": 27,
      "T_interval": 27,
      "ratio": 0.3333333333333333
    },
    {
      "name": "n10_8/9",
      "S": [
        0,
        6,
        9,
        12,
        18,
        20,
        24,
        27,
        30,
        36
      ],
      "n": 10,
      "end_L": 8,
      "end_R": 8,
      "min_end_ratio": 0.8888888888888888,
      "T": 33,
      "T_interval": 34,
      "ratio": 0.33
    },
    {
      "name": "n11_9/10",
      "S": [
        0,
        18,
        27,
        36,
        48,
        54,
        60,
        72,
        81,
        90,
        108
      ],
      "n": 11,
      "end_L": 9,
      "end_R": 9,
      "min_end_ratio": 0.9,
      "T": 39,
      "T_interval": 41,
      "ratio": 0.32231404958677684
    }
  ],
  "families": [
    {
      "fam": "almost",
      "n": 15,
      "T": 76,
      "I": 75,
      "ratio": 0.3377777777777778
    },
    {
      "fam": "almost",
      "n": 30,
      "T": 301,
      "I": 300,
      "ratio": 0.33444444444444443
    },
    {
      "fam": "almost",
      "n": 60,
      "T": 1201,
      "I": 1200,
      "ratio": 0.33361111111111114
    },
    {
      "fam": "almost",
      "n": 120,
      "T": 4801,
      "I": 4800,
      "ratio": 0.33340277777777777
    },
    {
      "fam": "period12_k1",
      "n": 9,
      "T": 27,
      "I": 27,
      "ratio": 0.3333333333333333
    },
    {
      "fam": "period12_k3",
      "n": 25,
      "T": 189,
      "I": 209,
      "ratio": 0.3024
    },
    {
      "fam": "period12_k5",
      "n": 41,
      "T": 501,
      "I": 561,
      "ratio": 0.29803688280785245
    },
    {
      "fam": "period12_k7",
      "n": 57,
      "T": 963,
      "I": 1083,
      "ratio": 0.296398891966759
    }
  ],
  "exhaustive_over_budget": [
    {
      "n": 5,
      "dmax": 12,
      "n_over_two_thirds": 2,
      "T_max": 9,
      "T_interval": 9,
      "half": 13
    },
    {
      "n": 6,
      "dmax": 14,
      "n_over_two_thirds": 1,
      "T_max": 13,
      "T_interval": 12,
      "half": 18
    },
    {
      "n": 7,
      "dmax": 16,
      "n_over_two_thirds": 1,
      "T_max": 17,
      "T_interval": 17,
      "half": 25
    }
  ],
  "constant_moved": false
}