SweepDist (not necessarily monotone)
SweepDist monotonize via refinement
Level 000001 of SweepDist (splitting edges)
Level 000002 of SweepDist (splitting edges)
Original SweepDist
| 1 |
2.6222742622615068e-5 |
3.0354976981882186e-5 |
2.6657550786326137e-5 |
1068 |
1071 |
| 2 |
2.7985292032507426e-5 |
3.0253933820026554e-5 |
2.0098655115330978e-5 |
2135 |
2141 |
| Sweep dist (orig): |
|
|
2.6658059265534237e-5 |
1068 |
1071 |
| Sweep dist r_mono: |
|
|
2.6657550786326137e-5 |
1068 |
1071 |
| Sweep dist r_mono_2: |
|
|
2.635081557849211e-5 |
2138 |
2138 |
2025-03-08 20:58:08