Masalah yang NP-lengkap di bawah pengurangan acak atau P / poli.


20

Dalam pertanyaan ini , kami tampaknya telah mengidentifikasi masalah alami yang NP-lengkap di bawah reduksi acak, tetapi mungkin tidak di bawah reduksi deterministik (meskipun ini tergantung pada asumsi yang tidak terbukti dalam teori bilangan yang benar). Apakah ada masalah lain yang diketahui? Apakah ada masalah alami yang NP-lengkap di bawah pengurangan P / poli, tetapi tidak diketahui berada di bawah pengurangan P?


7
SAT unik adalah dengan reduksi acak. NP
Mohammad Al-Turkistany

7
Saya tidak melihat mengapa SAT Unik tidak boleh dianggap sebagai jawaban (meskipun itu tidak cukup seperti yang saya cari). Saya pikir ini dianggap sebagai masalah alami.
Peter Shor

6
Saya hanya ingin menambahkan bahwa masalah vektor terpendek untuk LLL di bawah norma untuk pengurangan secara acak (kertas oleh Ajtai di sini ) adalah NP-Hard. Sejauh yang saya tahu itu tidak diketahui sebagai NP-Hard di bawah pengurangan non-acak, jadi itu tidak memenuhi kriteria Anda, tapi saya pikir itu harus disebutkan pula. L2
user834

4
@ Joshua: Dalam beberapa masalah NP-lengkap terkait dengan teka-teki (seperti Sudoku), keunikan solusi adalah asumsi alami. Saya kira ini membuat SAT dengan paling banyak satu solusi (saya lebih suka menyebutnya SAT ambigu) lebih alami daripada yang mungkin terlihat pertama kali.
Tsuyoshi Ito

10
Mengapa semua orang menulis jawaban dalam komentar? : P
Hsien-Chih Chang 張顯 之

Jawaban:


10

Di bawah reduksi acak dengan probabilitas (dikenal juga sebagaiγ-reducibility, pada pembahasan pengurangan acak melihat "Pada Unik satisfiability dan Acak Pengurangan") masalah12γ

  1. Dapat dibagi secara linier
  2. Persamaan diophantine kuadratik biner

NP-complete, tetapi hal yang sama tidak diketahui untuk reduksi deterministik (sejauh yang saya tahu, untuk diskusi sedikit ketinggalan zaman tentang situasi ini lihat di sini ). -reducibility diperkenalkan di koran " reducibility, keacakan, dan intractibility " oleh Leonard Adleman dan Kenneth Manders (bukti untuk masalah di atas diusulkan juga ada). γ

Ada contoh lain seperti itu di " Katalog Kelas Kompleksitas ", tapi saya belum memeriksa apa yang diketahui tentang kelengkapan NP mereka di bawah reduksi deterministik.


12

Seperti yang disarankan oleh Peter, saya mengubah komentar saya menjadi jawaban.

Valiant-Vazirani Teorema menyatakan bahwa jika Unik SAT kemudian N P = R P . Untuk membuktikan teorema mereka, mereka menunjukkan bahwa masalah janji SAT Unik adalah N P-keras dalam pengurangan acak.PNP=RPNP

[1] Valiant, Leslie; Vazirani, Vijay. "NP semudah mendeteksi solusi unik", Theoretical Computer Science, 47: 85-93


Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.