SweepDist (not necessarily monotone)
SweepDist monotonize via refinement
Level 000001 of SweepDist (splitting edges)
Level 000002 of SweepDist (splitting edges)
Original SweepDist
| 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