The formal mathematically falsification of the Dinitz-Garg-Goemans cost conjecture
The Dinitz-Garg-Goemans theorem (1999) is a solution to the Single-Source Unsplittable Flow (SSUF) problem. Goemans formulated then a conjecture about the costs. 💡 The generally formulated Dinitz-Garg-Goemans conjecture has been falsified by a very specific, highly theoretical counterexample, which was even generated by an AI system after a few prompts. The conjecture is falsified by […]
Continue Reading