Фактичний доказ стійкості обчислювальної постійної Чегера (або розширення краю) був наданий Кайбелом у технічному звіті шляхом зменшення від задачі MAX Cut (Див. Теорему 2). Доказ - це розширення доказу -стійкості задачі на еквівалент, заданий Гарі, Джонсоном та Стокмейєром у деяких спрощених задачах NP-повного графіка .N PNПNП
В. Кайбель: Про розширення графіків 0/1-політопів. Технічний звіт arXiv: математика.CO/0112146, 2001
EDIT : Нижче наведений аргумент є невірним , як вказував Чекурі, і залишається для навчальних цілей.
Це не посилання, як ви просили, але це пояснює фольклорний статус результату твердості.
Ось доказове уявлення про повноту CoNP для вирішення того, чи пов'язаний кубічний графік є крайовим розширювачем, і тому визначення константи Шегера є CoNP-жорстким.год ( Г )
Проблема мінімальної бісекції - незавершенаNП для з'єднаних кубічних графіків. Тут ми хочемо вирішити, чи можна графік з цілим числом розділити на дві частини однакового розміру, так що кількість відрізаних ребер менше .k kГkk
Зауважте, що доповнення цієї проблеми еквівалентне вирішенню, граф є розширювачем чи ні (кожен збалансований розділ має відрізані ребра більше ).V кGVk
PS Arora на цьому семінарі зазначає, що -важко розпізнати графік-розширювач (краю-розширення). http://www.cs.princeton.edu/~zdvir/apx11slides/arora-slides.pptxαCoNPα