- Published on
Definitions and first properties
All Posts
All Posts
- english (27)
- graph-theory (17)
- optimization (10)
- operations-research (9)
- or (9)
- deutsch (9)
- network-flows (7)
- latex (4)
- integer-programming (3)
- linear-programming (3)
- tsp (3)
- paper-talk (2)
- branch-and-bound (1)
- cutting-planes (1)
- simplex (1)
- duality (1)
- heuristics (1)
- metaheuristics (1)
- tool (1)
- tools (1)
- markdown (1)
- graphs (1)
- openstreetmap (1)
- chrome-extension (1)
- networkx (1)
- tikz (1)
- scheduling (1)
- astronomie (1)
- machine-learning (1)
- elliptic-curve (1)
- data-science (1)
- regex (1)
- snomed (1)
- snowstorm (1)
- docker (1)
- Published on
- Published on
- Published on
We computationally verify Gallai's Path Decomposition Conjecture for all connected graphs with up to 11 vertices, processing over one billion graphs using preprocessing, greedy heuristics, and an ILP solver.- Published on