5
Доказательства того, что PPAD сложно?
Существует часто цитируемое философское обоснование полагать, что P! = NP даже без доказательств. Другие классы сложности имеют доказательства того, что они различны, потому что если нет, то будут «удивительные» последствия (например, крах полиномиальной иерархии). Мой вопрос: на чем основано убеждение, что класс PPAD неразрешим? Если бы существовал алгоритм полиномиального времени …