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)
Level 000004 of SweepDist (splitting edges)
Level 000005 of SweepDist (splitting edges)
Level 000006 of SweepDist (splitting edges)
Level 000007 of SweepDist (splitting edges)
Level 000008 of SweepDist (splitting edges)
Original SweepDist
| 1 |
9.273333398966818 |
11.945812668692513 |
11.28363326613154 |
14 |
13 |
| 2 |
9.401847450049056 |
10.809909550594188 |
10.597293482913878 |
27 |
25 |
| 3 |
9.544510043011496 |
10.36965969495452 |
10.303941573509524 |
53 |
49 |
| 4 |
9.795118834079396 |
10.252120543469676 |
10.234355440881442 |
105 |
97 |
| 5 |
9.981484277098195 |
10.223339967213315 |
10.218779901840719 |
209 |
193 |
| 6 |
10.090777849390053 |
10.216556986557823 |
10.215379247782392 |
417 |
385 |
| 7 |
10.151066334326163 |
10.214993054075416 |
10.214694325999282 |
833 |
769 |
| 8 |
10.182615739855155 |
10.214555744412396 |
10.214476881235592 |
1665 |
1537 |
| Sweep dist (orig): |
|
|
14.82820863931542 |
9 |
9 |
| Sweep dist r_mono: |
|
|
11.28363326613154 |
14 |
13 |
| Sweep dist r_mono_2: |
|
|
10.299504027073775 |
26 |
26 |
2025-03-08 20:27:04