Доказательство того, что разреженный срез NP-жесткий

Везде, где я читаю о проблеме разреженного разреза, это говорит только о том, что проблема, как известно, является NP- трудной. Где я могу найти подтверждение этому? Какая известная NP- трудная проблема сводится к проблеме разреженного разреза?

Я не смог найти никаких доказательств в книге Вазирани «Алгоритмы аппроксимации», в которой представлен алгоритм Лейтона Рао, или в книге «Компьютеры и неразрешимость», в которой обобщены многие NP- полные проблемы. Я не смог найти его с помощью поиска (с очевидными поисковыми строками) в Google. Есть одна статья Чавлы и др., Которая предполагает гипотезу Хота по UGC и доказывает твердость аппроксимации самого разреженного разреза. Я надеялся увидеть доказательства, которые не предполагают никаких предположений.

Доказательство должно просто уменьшить известную NP- трудную проблему до разреженного разреза.

Спасибо,

Арпита Корвар.

cc.complexity-theory reference-request np-hardness

— Арпита Корвар
источник

В статье Дэвида В. Матула «Редкие разрезы и узкие места на графиках» Фархад Шахрохи дает решение проблемы максимального сокращения. Максимальное доказательство твердости можно найти в Garey Johnson. sciencedirect.com/science/article/pii/0166218X9090133W

— Джагадиш,

@ Джагадский ответ?

— Тайсон Уильямс

[Перемещено из комментария]

В статье Дэвида В. Матула « Редкие разрезы и узкие места на графиках » Фархад Шахрохи дает решение проблемы максимального сокращения. Доказательство твердости Max-cut можно найти в Garey Johnson.

— Jagadish
источник

Спасибо за ссылку. Хочу отметить, что это унифицированная версия разреженного разреза (в основном, расширение графа), и несколько лет назад мне было трудно найти подходящую ссылку, содержащую доказательство. Пришлось отработать это у Макса.

— Чандра Чекури