Varian anjak lengkap NP.

45

Buku Arora dan Barak menyajikan anjak piutang sebagai masalah berikut:

FACTORING={L,U,N|( a prime p{L,,U})[p|N]}

Mereka menambahkan, lebih lanjut dalam Bab 2, bahwa menghilangkan fakta bahwa adalah prima membuat masalah ini NP-lengkap, meskipun ini tidak terkait dengan kesulitan nomor anjak. Tampaknya ada pengurangan dari SUBSETSUM, tapi saya buntu menemukannya. Adakah keberuntungan yang lebih baik di sekitar sini?p

EDIT 1 Mar: karunia adalah untuk -completeness bukti menggunakan deterministik pengurangan Karp (atau Masak).NP

Michaël Cadilhac
sumber
5
@turkistany: FWIW, saya menganggap gaya buruk untuk meletakkan NP dalam huruf miring, dan sebagai gaya buruk dan buruk LaTeX untuk memasukkannya ke mode matematika (karena jarak antar huruf berbeda).
Michaël Cadilhac
@ Michaël, Maaf, kembali ke gaya aslinya. Saya senang dengan pertanyaan Anda :)
Mohammad Al-Turkistany
7
Deskripsi yang agak lebih lengkap: Pada halaman 63 buku ini, mereka menulis: Alon dan Kilian (dalam komunikasi pribadi) menunjukkan bahwa dalam definisi bahasa Anjak di Contoh 2.3, syarat bahwa faktor p adalah prima diperlukan untuk menangkap masalah anjak, karena tanpa kondisi ini bahasa ini adalah NP-lengkap (karena alasan tidak ada hubungannya dengan kekerasan bilangan anjak).
MS Dousti
2
Secara alami, saya mencari kertas karya Alon dan Kilian yang berisi "factoring" dan "NP-complete." Saya tidak menemukannya (saya kira ini juga wajar dalam beberapa hal). :(
Tsuyoshi Ito
5
@ Michael Aku benar-benar seperti render kelas sebagai daripada NP. Tidak ? NP
Suresh Venkat

Jawaban:

35

Ini bukan jawaban yang cukup, tetapi sudah dekat. Berikut ini adalah bukti bahwa masalahnya adalah NP-hard di bawah pengurangan acak.

Ada hubungan yang jelas dengan jumlah subset yaitu: seandainya Anda tahu faktor-faktor : p 1 , p 2 , ... , p k . Sekarang, Anda ingin mencari subset S dari p 1 ... p k sehinggaNp1p2pkSp1 pk

logLpiSlogpilogU.

Masalah dengan mencoba menggunakan ide ini untuk menunjukkan masalahnya adalah NP-hard adalah bahwa jika Anda memiliki masalah subset-sum dengan angka , t 2 , ... , t k , Anda tidak dapat selalu menemukan bilangan prima dalam waktu polinomial seperti bahwa log p i a t i (dimana dengan α , maksud saya kira-kira sebanding dengan). Ini adalah masalah nyata karena, karena subset-sum tidak sangat lengkap NP, Anda perlu menemukan log p i ini untuk bilangan bulat besar t i .t1t2tklogpitilogpiti

t1 tkxx(1+1/k)12itik/2tititi+110ksss+1104logkBlogpiB+4logk

TT+T5/8θ(T5/8/logT)

tiBTi3BpiTi9/8BTilogTiti9/8BpiTilogpiti9/8BN=ΠipiLU

Peter Shor
sumber
3
Saya tidak mengerti pengurangannya. Untuk masalah jumlah subset menjadi NP-complete, angka harus diberikan dalam biner. Jika kita menginginkan bilangan bulat yang logaritmanya dekat dengan angka dalam contoh masalah jumlah himpunan bagian, kita perlu banyak digit secara eksponensial. Bagaimana Anda mengatasi ini?
Tsuyoshi Ito
2
pn+1pn=O(log2n)pn
2
Tα=0.525c1=c2=1
2
Baru saja menemukan ini. Saya harus mencatat bahwa saya tidak tahu apa bukti asli Kilian-Alon itu. Satu-satunya pengetahuan saya tentang buktinya adalah dari komunikasi dengan Noga yang tidak ingat detail dari bukti asli, dan bukti yang ia rekontruksi persis seperti ini. Perhatikan bahwa ini juga dapat digambarkan sebagai reduksi deterministik di bawah beberapa asumsi teoritik bilangan kuat (misalnya, bahwa ada bilangan prima dalam setiap interval bentuk [x, x + polylog (x)]).
Boaz Barak
4
Saya baru saja berbicara dengan Joe Kilian. Dia mengatakan bahwa bukti bahwa dia dan Alon datang dengan melibatkan pengurangan acak tanpa kesalahan. Sejauh yang dia sadari, reduksi deterministik masih terbuka kecuali jika Anda membuat sejumlah asumsi teoretis, seperti yang telah dikatakan Boaz Barak.
Timothy Chow
8

NP=PCP[O(logn),O(1)]

Kutipan dari makalah Madhu :

AAN,L,ULUNANLUNLU

... jauh melampaui kemampuan teori kompleksitas saya :-)

Marzio De Biasi
sumber
2
Ini hanyalah rumusan lain bahwa masalah ini adalah NP-complete.
Marc Bury
{L,U,N|(p{L,,U})[p|N]}
2
Masalah BUKTI SINGKAT di koran hampir sama dengan masalah penghentian yang dibatasi. Pengurangan dari masalah BUKTI SINGKAT kemungkinan besar akan berantakan seperti bukti khas dari NP-kelengkapan SAT, dan oleh karena itu tidak mungkin bahwa bukti NP-kelengkapan dari faktor ini menemukan masalah oleh Kilian membangun pengurangan dari PROOFS PENDEK masalah langsung.
Tsuyoshi Ito
0

Ini adalah ide pengurangan deterministik informal yang efisien (dan mungkin tidak lengkap):

{L,U,M|( a positive integer p{L,,U})[p|M]}

MM=NjFi

Mohammad Al-Turkistany
sumber