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
| 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