Dijkstra Is NOT Greedy: A Global-to-Local Proof of Correctness Y607GYCXCA
| URI | m2://res/Y607GYCXCA |
|---|---|
| Kind | preprint |
| Creators | Shengbao Wang |
| Date | 2026-10-06 |
| Subjects | arxiv cs.DS, arxiv cs.DM, arxiv math.OC |
| Scope | border |
Expressions
e1: version, preprint
| Date | 2026-10-06 |
|---|---|
| Ids | arXiv 2610.10596 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| Correctness of one iteration | statement | theorem 1 | arxiv |
Catalogue records
- arxiv: 2610.10596 (work)