SweepDist (not necessarily monotone)

SweepDist monotonize via refinement

Level 000001 of SweepDist (splitting edges)

Level 000002 of SweepDist (splitting edges)

Level 000003 of SweepDist (splitting edges)


Original SweepDist
Iteration Lower\n bound Upper bound Better UB #P #Q
1 3.186757091858061e-6 3.925513711154616e-6 1.6078035623167953e-6 269 278
2 3.5019366982390257e-6 3.8989010811548445e-6 2.811999324533884e-8 537 555
3 3.672109988744776e-6 3.885202714987074e-6 0.0 1073 1109
Sweep dist (orig): 1.6078035623167953e-6 269 278
Sweep dist r_mono: 1.6078035623167953e-6 269 278
Sweep dist r_mono_2: 1.4428564280786139e-6 546 546


2025-03-08 20:35:24