SweepDist (not necessarily monotone)

SweepDist monotonize via refinement

Level 000001 of SweepDist (splitting edges)

Level 000002 of SweepDist (splitting edges)


Original SweepDist
Iteration Lower\n bound Upper bound Better UB #P #Q
1 2.6222742622615068e-5 3.0354976981882186e-5 2.6657550786326137e-5 1068 1071
2 2.7985292032507426e-5 3.0253933820026554e-5 2.0098655115330978e-5 2135 2141
Sweep dist (orig): 2.6658059265534237e-5 1068 1071
Sweep dist r_mono: 2.6657550786326137e-5 1068 1071
Sweep dist r_mono_2: 2.635081557849211e-5 2138 2138


2025-03-08 20:58:08