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.8139932837266293 3.6804147074326146 3.6464664067470856 730 731
2 3.1430727238835714 3.614612550111994 3.601679699931948 1459 1461
Sweep dist (orig): 3.6353943588302453 730 731
Sweep dist r_mono: 3.6464664067470856 730 731
Sweep dist r_mono_2: 3.6073498301148548 1460 1460


2025-03-08 21:31:40