files / problems / union-closed / compute / lemma8_quant.json

6.1 KB · on GitHub

{
  "a_star": 0.07887729270592317,
  "b_star": 0.32945473850303697,
  "c_star": 0.38234553336670274,
  "rstar_ex4": 1.0073869530149453,
  "pi_ex4": 0.5,
  "a_of_b": 0.4774962460835251,
  "rstar_ex5": 1.0073798254737174,
  "pi_ex5": 0.4984340817493308,
  "gap_ex4": 0.007386953014945297,
  "gap_ex5": 0.007379825473717405,
  "rays": {
    "sawin": {
      "weights": [
        0.96439302,
        0.03560698,
        0.0,
        0.0
      ],
      "frontier_b1": {
        "b": 0.4,
        "a": 0.4875,
        "mean": 0.6925,
        "ratio": 0.481651111824441
      },
      "frontier_0x": {
        "x": 0.55,
        "p": 0.25,
        "mean": 0.8625,
        "ratio": 0.14302882310414675
      },
      "min_below_cstar_b1": {
        "b": 0.341125,
        "a": 0.0625,
        "mean": 0.3823046875,
        "ratio": 1.000112116129103
      },
      "min_below_cstar_0x": {
        "x": 0.677,
        "p": 0.9125,
        "mean": 0.38223749999999995,
        "ratio": 1.0001904654130251
      },
      "min_below_liu_b1": {
        "b": 0.3235,
        "a": 0.0875,
        "mean": 0.38269374999999994,
        "ratio": 0.9994441045830792
      },
      "min_below_liu_0x": {
        "x": 0.6765000000000001,
        "p": 0.9125,
        "mean": 0.38269374999999994,
        "ratio": 0.9994441045830795
      }
    },
    "liu_ex5": {
      "weights": [
        0.89994744,
        0.0,
        0.0,
        0.10005256
      ],
      "frontier_b1": {
        "b": 0.4,
        "a": 0.4875,
        "mean": 0.6925,
        "ratio": 0.49956712371283063
      },
      "frontier_0x": {
        "x": 0.55,
        "p": 0.25,
        "mean": 0.8625,
        "ratio": 0.22423820216194854
      },
      "min_below_cstar_b1": {
        "b": 0.304,
        "a": 0.1125,
        "mean": 0.3823,
        "ratio": 1.0006728531148288
      },
      "min_below_cstar_0x": {
        "x": 0.6960000000000001,
        "p": 0.8875,
        "mean": 0.3823,
        "ratio": 1.0006728531148288
      },
      "min_below_liu_b1": {
        "b": 0.3235,
        "a": 0.0875,
        "mean": 0.38269374999999994,
        "ratio": 1.0000996262043746
      },
      "min_below_liu_0x": {
        "x": 0.6765000000000001,
        "p": 0.9125,
        "mean": 0.38269374999999994,
        "ratio": 1.0000996262043749
      }
    },
    "lemma8_tiny_ex4": {
      "weights": [
        0.9547490898000001,
        0.035250910200000006,
        0.01,
        0.0
      ],
      "frontier_b1": {
        "b": 0.4,
        "a": 0.4875,
        "mean": 0.6925,
        "ratio": 0.4821129331252405
      },
      "frontier_0x": {
        "x": 0.55,
        "p": 0.25,
        "mean": 0.8625,
        "ratio": 0.14411673020937518
      },
      "min_below_cstar_b1": {
        "b": 0.341125,
        "a": 0.0625,
        "mean": 0.3823046875,
        "ratio": 1.0002363748587588
      },
      "min_below_cstar_0x": {
        "x": 0.677,
        "p": 0.9125,
        "mean": 0.38223749999999995,
        "ratio": 1.0002423935505949
      },
      "min_below_liu_b1": {
        "b": 0.3235,
        "a": 0.0875,
        "mean": 0.38269374999999994,
        "ratio": 0.9994975957913852
      },
      "min_below_liu_0x": {
        "x": 0.6765000000000001,
        "p": 0.9125,
        "mean": 0.38269374999999994,
        "ratio": 0.9994975957913855
      }
    },
    "lemma8_ex4_03": {
      "weights": [
        0.9354612294,
        0.034538770600000004,
        0.03,
        0.0
      ],
      "frontier_b1": {
        "b": 0.4,
        "a": 0.4875,
        "mean": 0.6925,
        "ratio": 0.48303657572683933
      },
      "frontier_0x": {
        "x": 0.55,
        "p": 0.25,
        "mean": 0.8625,
        "ratio": 0.14629254441983208
      },
      "min_below_cstar_b1": {
        "b": 0.304,
        "a": 0.1125,
        "mean": 0.3823,
        "ratio": 1.0003384835450342
      },
      "min_below_cstar_0x": {
        "x": 0.6960000000000001,
        "p": 0.8875,
        "mean": 0.3823,
        "ratio": 1.0003384835450342
      },
      "min_below_liu_b1": {
        "b": 0.3235,
        "a": 0.0875,
        "mean": 0.38269374999999994,
        "ratio": 0.9996045782079968
      },
      "min_below_liu_0x": {
        "x": 0.6765000000000001,
        "p": 0.9125,
        "mean": 0.38269374999999994,
        "ratio": 0.9996045782079971
      }
    },
    "ex4_only_mix": {
      "weights": [
        0.9,
        0.0,
        0.1,
        0.0
      ],
      "frontier_b1": {
        "b": 0.4,
        "a": 0.4875,
        "mean": 0.6925,
        "ratio": 0.5006048956765832
      },
      "frontier_0x": {
        "x": 0.55,
        "p": 0.25,
        "mean": 0.8625,
        "ratio": 0.22560333249657566
      },
      "min_below_cstar_b1": {
        "b": 0.304,
        "a": 0.1125,
        "mean": 0.3823,
        "ratio": 1.0009192135557594
      },
      "min_below_cstar_0x": {
        "x": 0.677,
        "p": 0.9125,
        "mean": 0.38223749999999995,
        "ratio": 1.0008443812335337
      },
      "min_below_liu_b1": {
        "b": 0.3235,
        "a": 0.0875,
        "mean": 0.38269374999999994,
        "ratio": 1.0001082768201524
      },
      "min_below_liu_0x": {
        "x": 0.6765000000000001,
        "p": 0.9125,
        "mean": 0.38269374999999994,
        "ratio": 1.0001082768201528
      }
    },
    "triple": {
      "weights": [
        0.87,
        0.03,
        0.1,
        0.0
      ],
      "frontier_b1": {
        "b": 0.4,
        "a": 0.4875,
        "mean": 0.6925,
        "ratio": 0.48718470779567935
      },
      "frontier_0x": {
        "x": 0.55,
        "p": 0.25,
        "mean": 0.8625,
        "ratio": 0.15848593178830203
      },
      "min_below_cstar_b1": {
        "b": 0.304,
        "a": 0.1125,
        "mean": 0.3823,
        "ratio": 1.0004574771850332
      },
      "min_below_cstar_0x": {
        "x": 0.6960000000000001,
        "p": 0.8875,
        "mean": 0.3823,
        "ratio": 1.0004574771850332
      },
      "min_below_liu_b1": {
        "b": 0.304375,
        "a": 0.1125,
        "mean": 0.3826328125,
        "ratio": 0.9999107511097745
      },
      "min_below_liu_0x": {
        "x": 0.686,
        "p": 0.9,
        "mean": 0.38259999999999994,
        "ratio": 0.9999724346036779
      }
    }
  }
}