Вопрос возник у меня, когда я получил ответ Даны Мошковиц на другую тему .
Пусть будет языком NP , и пусть будет соответствующим отношением NP . Мы знаем, что существует некоторый полином такой, что:
Вышеприведенное утверждение требует только наличия такого , но не требует его явного определения . Напротив, для каждого языка NP, который я знаю, уже известен:
- Для SAT размер свидетеля равен числу атомов, фигурирующих в формуле.
- Для гамильтоничности размер свидетеля равен , где - множество вершин.
- Для графа 3-раскраски размер свидетеля равен , где - множество вершин.
Существует ли язык NP (даже искусственный), для которого мы знаем, что существует некоторый полином ограничивающий размер свидетеля, но мы не можем явно определить ?
cc.complexity-theory
np
М.С. Дусти
источник
источник
Ответы:
Если вы не возражаете против искусственных языков, мы можем построить такие проблемы, используя практически любое число k, значение которого неизвестно математикам. Например, нам неизвестно значение R (5,5) (пятое число Рамсея ) или размер наибольшего исключенного минора из семейства безузловых графов (это число конечно из -за теоремы Робертсона-Сеймура ) или значение BB (10), где BB () обозначает функцию Busy Beaver . Пусть k равно любому из этих чисел. Мы знаем, что k конечно, но мы не знаем значение k.
Теперь построим некоторую задачу в NP, где свидетель имеет размер . Сверху головы я не могу придумать хороший способ сделать это, но вот один из способов. Пусть вход будет кратким описанием графа. Поскольку размер описания равен n, граф имеет экспоненциально много вершин. (Например, возможно, вход является схемой, которая принимает два входа x и y и сообщает вам, является ли (x, y) ребром в графе.) Вопрос состоит в том, чтобы определить, содержит ли граф путь длины n k . Эта проблема в NP, потому что проверяющий может отправить список вершин на пути в порядке, который может проверить верификатор. Размер свидетеля n k .O ( nК) NК NК
источник