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	NaN	3.597046330165391	3.57906743803936	82	1024
2	3.1660691940004995	3.532158250227868	3.5261622529688696	163	1540
3	3.3037051271494895	3.512023307290188	3.5097366854598437	325	3076
Sweep dist (orig):			3.62430396624373	82	1024
Sweep dist r_mono:			3.57906743803936	82	1024
Sweep dist r_mono_2:			3.4971322619662444	1105	1105

---

---

2025-03-08 21:34:57