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 0.0007637671031965539 0.0007882230666306325 0.0007833062421045429 864 1168
2 0.0007749906278138339 0.0007870968453024691 0.0006484419289238371 1727 2335
Sweep dist (orig): 0.0007825599533186659 864 1168
Sweep dist r_mono: 0.0007833062421045429 864 1168
Sweep dist r_mono_2: 0.0007804902607189274 2031 2031


2025-03-08 21:00:41