Berman-Xartmanis gumoni - Berman–Hartmanis conjecture

Savol, Veb Fundamentals.svgKompyuter fanida hal qilinmagan muammo:
NP bilan to'ldirilgan har ikki til o'rtasida polinom vaqt izomorfizmi bormi?
(kompyuter fanida hal qilinmagan muammolar)

Yilda tizimli murakkablik nazariyasi, Berman-Xartmanis gumoni hal qilinmagan taxmin Leonard C. Berman nomidagi va Yuris Xartmanis bu hamma aytadi To'liq emas tillar bir-biriga bog'liq bo'lishi mumkin degan ma'noda bir-biriga o'xshashdir polinom vaqti izomorfizmlar.[1][2][3][4]

Bayonot

Ularning orasidagi izomorfizm rasmiy tillar L1 va L2 a ikki tomonlama xarita f dan torlar alifbosida L1 alifbosidagi satrlarga L2, mag'lubiyatga ega bo'lgan xususiyat bilan x tegishli L1 agar va faqat agar f(x) tegishli L2. Bu ko'p polinomli vaqt izomorfizmi (yoki p-izomorfizm qisqacha) agar ikkalasi ham bo'lsa f va uning teskari funktsiya ularning argumentlari uzunligida ko'p polinom miqdorida hisoblash mumkin.

Berman va Xartmanis (1977) o'sha paytda barcha tillar to'liq bo'lganligi ma'lum bo'lgan p-izomorfik. Keyinchalik kuchliroq, ular o'sha paytda ma'lum bo'lgan barcha NP tillari mavjudligini kuzatdilar o'ralganva ular isbotladilar (shunga o'xshash tarzda Myhill izomorfizm teoremasi ) barcha paddable NP bilan to'ldirilgan tillarning juftliklari p-izomorfik. Til L ko'p polinomli vaqt funktsiyasi mavjud bo'lsa, paddable hisoblanadi f(x,y) polinom vaqtini teskari va hamma uchun xususiyat bilan x va y, x tegishli L agar va faqat agar f(x,y) tegishli L: ya'ni mumkin yostiq kirish x ahamiyatsiz ma'lumotlar bilan yBerman va Xartmanis ushbu natijalarga asoslanib, barcha NP tillari mavjud deb taxmin qilishdi. p-izomorfik.[5]

Beri p-izomorfizm paddabilityni saqlaydi va NP-to'liq tillar mavjud, Berman-Xartmanis gumonini aytishning ekvivalent usuli shundaki, barcha NP-to'liq tillar paddable. Polinomiy vaqt izomorfizmi bu ekvivalentlik munosabati va u rasmiy tillarni ajratish uchun ishlatilishi mumkin ekvivalentlik darslari Demak, Berman-Xartmanis gumonini aytishning yana bir usuli shundaki, NP bilan to'la tillar ushbu munosabat uchun yagona ekvivalentlik sinfini tashkil qiladi.

Ta'siri

Agar Berman-Xartmanis gumoni rost bo'lsa, darhol uning yo'qligi bo'ladi siyrak NP bilan to'ldirilgan tillar, ya'ni uzunlikdagi ha-misollar soni bo'lgan tillar n funktsiyasi sifatida faqat polinomal ravishda o'sadi n. To'liq ma'lum bo'lgan NP tillarida bir necha bor ha-misollar bor, ular jadal o'sib boradi va agar L bu juda ko'p miqdordagi ha-misoliga ega bo'lgan til, u holda bo'lishi mumkin emas p-isomorfik siyrak tilga, chunki uning ha-nusxalari xaritani birma-bir bo'lishi uchun polinomial uzunlikdagi satrlarga taqqoslanishi kerak edi.

NP bilan to'la bo'lmagan tillarning yo'qligi, o'z navbatida, shuni anglatadi P ≠ NP, chunki agar P = NP bo'lsa, unda Pdagi har bir noan'anaviy til (shu jumladan, ba'zi bittasi, masalan, ikkilik satrlar tili, ularning bitlari nolga teng) har bir NP to'liq bo'lmagan bo'ladi. 1982 yilda Stiv Mahaney siyrak NP-ga to'la tillarning yo'qligi (NP-to'liqligi bilan standart usulda aniqlangan holda) mavjudligini isbotladi. juda ko'p qisqartirish ) aslida P ≠ NP degan bayonotga teng; bu Mahaney teoremasi. NP-ni to'liq ishlatishning qulay ta'rifi uchun ham Turingning pasayishi, NP bilan to'la-to'kis bo'lmagan tilning mavjudligi kutilmagan tarzda qulab tushishini anglatadi polinomlar ierarxiyasi.[6]

Dalillar

Gumonga dalil sifatida, Agrawal va boshq. (1997) cheklangan qisqartirish turiga o'xshash o'xshash taxmin haqiqat ekanligini ko'rsatdi: har bir ikkita til ostida NP uchun to'liq AC0 ko'p sonli qisqartirishlar AC ga ega0 izomorfizm.[7]Agrawal va Vatanabe (2009) agar mavjud bo'lsa, buni ko'rsatdi bir tomonlama funktsiyalar buni barcha kirishlar bo'yicha polinom vaqtida teskari qaytarib bo'lmaydi, ammo agar har bir bunday funktsiya uni kiritishi mumkin bo'lgan kichik, ammo zich kirish qismiga ega bo'lsa. P / poly (ushbu turdagi ma'lum funktsiyalar uchun ham shunday), keyin har bir NP bilan to'ldirilgan har ikki tilda P / poly izomorfizmi mavjud.[8]Va Fenner, Fortnov va Kurtz (1992) topildi Oracle mashinasi izomorfizm gumonining analogi haqiqiy bo'lgan model.[9]

Gumonga qarshi dalillar keltirildi Jozef va Yang (1985) va Kurtz, Mahaney va Royer (1995). Jozef va Yang NP-ning to'liq muammolari sinfini taqdim etdilar k- ijodiy to'plamlar, buning uchun yo'q p- izomorfizm standart NP-ga to'liq javob beradigan muammolar ma'lum.[10]Kurtz va boshq. Oracle mashina modellarida a ga kirish huquqi berilganligini ko'rsatdi tasodifiy oracle, taxminning analogi to'g'ri emas: agar A bu tasodifiy oracle, shuning uchun barcha to'plamlar NP uchun to'liq emasA P.da izomorfizmlar mavjudA.[11]Kriptografiya nazariyasida tasodifiy oracle odatda modellashtirish uchun ishlatiladi kriptografik xash funktsiyalari hisoblash bilan tasodifiy farq qilmaydigan va Kurtz va boshqalarning qurilishi. oracle o'rniga bunday funktsiya bilan amalga oshirilishi mumkin. Shu sababli, boshqalar qatori, Berman-Xartmanis izomorfizm gumoni ko'plab murakkablik nazariyotchilari tomonidan yolg'on deb hisoblanadi.[12]

Adabiyotlar

  1. ^ Rothe, Jörg (2005), "3.6.2 Berman-Xartmanis izomorfizmi gumoni va bir tomonlama funktsiyalar", Murakkablik nazariyasi va kriptologiya: Kriptokomplekslikka kirish, Birkxauzer, 108–114-betlar, ISBN  978-3-540-22147-0.
  2. ^ Shening, Uve; Pruim, Randall J. (1998), "15. Berman-Xartmanis gumoni va siyrak to'plamlari", Nazariy informatika toshlari, Springer, 123-129 betlar, ISBN  978-3-540-64425-5.
  3. ^ Kurs, Styuart; Mahaney, Stiv; Royer, Jim (1990), "To'liq darajalarning tuzilishi", Murakkablik Retrospektiv, Springer, 108-146 betlar
  4. ^ Agrawal, Manindra (2011), "NP uchun izomorfizm gumoni", Kuperda, S. Barri; Sorbi, Andrea (tahr.), Kontekstda hisoblash: haqiqiy dunyoda hisoblash va mantiq (PDF), World Scientific, 19-48 betlar, ISBN  978-1-84816-245-7.
  5. ^ Berman, L .; Xartmanis, J. (1977), "NP izomorfizmlari va zichligi va boshqa to'liq to'plamlar to'g'risida" (PDF), Hisoblash bo'yicha SIAM jurnali, 6 (2): 305–322, doi:10.1137/0206023, hdl:1813/7101, JANOB  0455536.
  6. ^ Mahaney, Stiven R. (1982), "NP uchun siyrak komplektlar: Berman va Xartmanis gumonining echimi", Kompyuter va tizim fanlari jurnali, 25 (2): 130–143, doi:10.1016/0022-0000(82)90002-2, hdl:1813/6257, JANOB  0680515.
  7. ^ Agrawal, Manindra; Allender, Erik; Impagliazzo, Rassel; Pitassi, Toniann; Rudich, Stiven (1997), "Kamaytirishning murakkabligini kamaytirish", Hisoblash nazariyasi bo'yicha 29-ACM simpoziumi materiallari (STOC '97), 730–738 betlar, doi:10.1145/258533.258671, S2CID  14739803. Agrawal, Manindra; Allender, Erik; Rudich, Stiven (1998), "O'chirish murakkabligining pasayishi: izomorfizm teoremasi va bo'shliq teoremasi", Kompyuter va tizim fanlari jurnali, 57 (2): 127–143, doi:10.1006 / jcss.1998.1583.
  8. ^ Agrawal, M.; Vatanabe, O. (2009), "Bir tomonlama funktsiyalar va Berman-Xartmanis gumoni", Hisoblash murakkabligi bo'yicha IEEE 24 yillik konferentsiyasi (PDF), 194-202-betlar, doi:10.1109 / CCC.2009.17, S2CID  15244907.
  9. ^ Fenner, S .; Fortnow, L.; Kurtz, S.A. (1992), "Izomorfizm gumoni oraklga nisbatan", Kompyuter fanlari asoslari bo'yicha 33-yillik IEEE simpoziumi materiallari, 30-39 betlar, CiteSeerX  10.1.1.42.6130, doi:10.1109 / SFCS.1992.267821, S2CID  36512284.
  10. ^ Jozef, Debora; Yosh, Pol (1985), "NP-da polinomiyali va to'liq bo'lmagan to'plamlar uchun guvohlarning funktsiyalari to'g'risida ba'zi fikrlar", Nazariy kompyuter fanlari, 39 (2–3): 225–237, doi:10.1016/0304-3975(85)90140-9, JANOB  0821203.
  11. ^ Kurts, Styuart A.; Mahaney, Stiven R.; Royer, Jeyms S. (1995), "Izomorfizm gumoni tasodifiy orakelga nisbatan muvaffaqiyatsiz bo'ladi", ACM jurnali, 42 (2): 401–420, doi:10.1145/201019.201030, JANOB  1409741, S2CID  52152959.
  12. ^ Fortnov, Lans (2003 yil 28 mart), Berman-Xartmanis izomorfizm gumoni.