Saya baru saja membaca pertanyaan " Apakah faktorisasi bilangan bulat merupakan masalah NP-complete? " ... jadi saya memutuskan untuk menghabiskan sebagian dari reputasi saya :-) mengajukan pertanyaan lain memiliki :
Jika adalah oracle yang memecahkan faktorisasi bilangan bulat, apa kekuatan ? P A
Saya pikir itu membuat kriptografi kunci publik berbasis RSA tidak aman ... tetapi selain itu, apakah ada hasil luar biasa lainnya?
cc.complexity-theory
oracles
factoring
Marzio De Biasi
sumber
sumber
P(Q is trivial)=1
adalah lelucon, bukan?Jawaban:
Saya tidak punya jawaban untuk pertanyaan Anda, tetapi saya tahu bahwa gagasan serupa baru-baru ini dipelajari, dengan nama "keamanan berbasis malaikat."
Makalah pertama yang mempelajari konsep ini adalah Prabhakaran & Sahai (STOC '04) . Secara khusus, mereka menulis dalam abstrak:
Makalah penting lain yang membahas gagasan ini adalah bahwa Canetti, Lin, & Pass (FOCS 2010) . Saya menyaksikan beberapa bagian dari presentasi konferensi mereka (di techtalks ), dan jika saya ingat dengan benar, mereka mulai dengan contoh yang mirip dengan apa yang Anda sebutkan dalam pertanyaan.
sumber
Jelas setiap masalah keputusan yang dapat direduksi menjadi anjak piutang dapat diselesaikan dengan anjak anjak piutang. Tetapi karena kita diberi kemampuan untuk membuat beberapa kueri, saya mencoba memikirkan masalah non-sepele yang ingin dibuatkan beberapa kueri.
Masalah komputasi fungsi totient Euler tampaknya seperti masalah seperti itu. Saya tidak tahu bagaimana menyelesaikan versi keputusan dari masalah ini dengan pengurangan Karp ke versi keputusan anjak piutang. Tetapi dengan pengurangan Turing, mudah untuk mengurangi ini menjadi anjak piutang.
sumber
Mengelaborasi pada jawaban Joe sebelumnya: catatan yang . Yang terakhir adalah terendah kedua kelas dalam hirarki "rendah" : yang mengatakan bahwa N P N P ∩ c o N P = N P . Ini berarti khususnya yang P FACTORING ⊆ N P FACTORING ⊆ N P . Kami dapat membuat pernyataan serupa untuk c o N P dan B Q PFAKTOR ∈ N P ∩ c o N P N PN P ∩ c o N P= N P
sumber
sumber
sumber