Редукция Карпа идентична редукции Левина


12

Определение: уменьшение Карпа

Язык является приводимым по Карпу к языку если существует вычислимая функция за полиномиальное время такая, что для каждого , тогда и только тогда , когда .B f : { 0 , 1 } { 0 , 1 } x x A f ( x ) BABf:{0,1}{0,1}xxAf(x)B

Определение: Левин Сокращение

Задача поиска сводится по Левину к задаче поиска если существует функция полиномиального времени, при которой Карп в и существуют вычислимые функции полиномиального времени и такие чтоV B f L ( V A ) L ( V B ) г чVAVBfL(VA)L(VB)gh

  1. x,yVAf(x),g(x,y)VB ,

  2. f(x),zVBx,h(x,z)VA

Эти сокращения эквивалентны?


Я думаю, что два определения эквивалентны. Для любых двух языках и , если является Карп сводится к , то является Левин сводится к . A B A B A BNPABABAB

Вот мое доказательство:

Пусть и произвольные экземпляры , а в том , что из . Пусть и являются испытатели и . Пусть и - произвольные сертификаты и соответствии с . Позвольте быть тем из согласно .¯ x A x B V A V B A B y ¯ y x ¯ x V A z x V Bxx¯AxBVAVBAByy¯xx¯VAzxVB

новые верификаторы и с новыми сертификатами и : V B y z VAVByz

VA(x,y):

  1. е ( х ) F ( ¯ х ) V ( ¯ х , ¯ г )y=0,x¯,y¯ : если , отклонить. В противном случае выведите .f(x)f(x¯)VA(x¯,y¯)
  2. В В ( е ( х ) , г )y=1,z : вывод .VB(f(x),z)

VB(x,z):

  1. В В ( х ' , г )z=0,z : вывод .VB(x,z)

  2. х 'F ( х ) У ( х , у )z=1,x,y : если , отклонить. В противном случае выведите .xf(x)VA(x,y)

Вычисляемые функции полиномиального времени и определены следующим образом:чgh

g(x,y)

  1. 1 , ¯ х , ¯ уy=0,x¯,y¯ : Выведите .1,x¯,y¯

  2. 0 , г y=1,z : Выведите .0,z

h(x,z)

  1. 1 , г z=0,z : Выведите .1,z

  2. 0 , х , у z=1,x,y : Выведите .0,x,y

Пусть будет набором всех сертификатов согласно а будет набором всех сертификатов согласно . Тогда набор всех сертификатов соответствии с равен такой, что , и набор всех сертификатов согласно равен , так что . х В Z х ' х ' В В х V ' 0 ¯ х Y ¯ х + 1 Z F ( х ) е ( х ) = F ( ¯ х ) х ' V ' B 0 Z х ' + 1 ¯ х У ¯ х х ' = F ( ¯YxxVAZxxVBxVA0x¯Yx¯+1Zf(x)f(x)=f(x¯)xVB0Zx+1x¯Yx¯x=f(x¯)

(Это получено из принимающего языка и .) V BVAVB

Теперь пусть , остальная часть легко проверяется.x=f(x)


Прежде чем доказывать свою претензию, вы должны определить, что это означает, когда язык Левина сводится к другому.
Tsuyoshi Ito

Ответы:


14

Нет. Сначала обратите внимание, что сокращение Левина имеет смысл только в отношении классов, сертификат которых имеет значение, например, то время как сокращение Карпа является общим. Слово «сертификат» для проблемы имеет смысл только тогда, когда верификатор исправлен. Сокращение Левина предполагает, что верификаторы исправлены. Вы не можете изменить верификаторы. (В дальнейшем я предполагаю, что верификаторы сертификатов исправлены в соответствии с требованиями определения Левина.)NP

Во-вторых, сокращение Левина означает, что можно найти сертификат для одного из сертификата для другого. Это правда, что общеизвестные редукции Карпа между естественными проблемами оказываются редукцией Левина, но в целом это не обязательно должно быть.

Если мы можем свести случаи проблемы к проблеме это не значит, что у нас есть способ вычислить сертификат для одного из сертификата для другого.BAB

Чтобы это было правдой, нам необходим тот факт, что задача поиска сертификата, соответствующая проблеме решения, сводится за полиномиальное время к проблеме решения. Это верно для задач но, как известно, в общем случае верно даже для задач .N РNP-completeNP


Я согласен с вашей первой точкой зрения, что сокращение Карпа является более общим, чем сокращение Карпа. В соответствии с этим, я думаю, что моя проблема должна быть изменена следующим образом: «Пусть и - два языка в . Если сводится к Карпу к , то сводится к Левину к ». Однако я не согласен с другими вашими комментариями. L 2 N P L 1 L 2 L 1 L 2L1L2NPL1L2L1L2
Копия

В моем доказательстве сначала пусть и - произвольные два таких языка. Так как они в , есть P TM и . Для каждого экземпляра набор всех сертификатов для . Точно так же мы определяем для . Поскольку сводится по Карпу к , существует такое как определено. L1L2NPM1M2xL1YxTM1ZxxL2L1L2f
Копия

Теперь мы построили новые и . Для каждого экземпляра новый набор всех сертификатов , в то время как для каждого экземпляра новый набор всех сертификатов . (Здесь мы используем регулярные выражения) Это допустимые и все сертификаты для и . Кстати, есть функции P и как определено, преобразовывающие все возможные сертификаты из одной проблемы в другую. M1M2xL10Yx+1Zf(x)f(x)L20Zf(x)+1xYxM1M2gh
Копия

ps: нам не нужно давать преобразование из где нет такого, что , так как сокращения Карпа и Левина оба являются многозначными отображениями. Я думаю, что это может ответить на второй последний абзац. xL2xL1x=f(x)
Копия

@cc, кажется, что вы все еще думаете, что вы можете изменить верификаторы, но вы не можете, определение редукции Левина предназначено для задач поиска, т.е. верификаторы исправлены.
Каве

5

Быстрый контрпример для вашего доказательства: предположим, что , , и является действительным сертификатом для но не дляx1,x2L1f(x1)=f(x2)L2wx1x2

M1(x1,0,w)=M1(x1,w)=1

M1(x2,0,w)=M1(x2,w)=0

По определениюg(x1,0,w)=1,x1,w

f(x1)=f(x2) так , так является действительный сертификат для ноM2(f(x2),1,x1,w))=M1(x1,w)=11,x1,wf(x2)

х 2h(f(x2),1,x1,w)=0,w который не является действительным сертификатом дляx2


Большое спасибо за указание на контрпример. Я изменил конструкцию, и я думаю, что она работает сейчас. Не могли бы вы взглянуть на это?
Копия
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.