Masalah apa yang diketahui milik tetapi tidak diketahui milik ?P
Lebih tepatnya, saya tertarik pada masalah independen , yaitu derandomisasi yang tidak diketahui setara. Misalnya, diketahui bahwa deritimasi PIT dan faktorisasi polinomial multivariat adalah sama dan saya akan menghitungnya hanya sebagai satu masalah.
Motivasi dari pertanyaan saya adalah bahwa adalah umum untuk mengatakan bahwa "ada beberapa masalah dalam tidak diketahui berada di "P , tetapi saya tidak dapat menemukan daftar mereka. Secara khusus, jika saya harus mengutip masalah dalam kategori ini, saya biasanya mengutip faktorisasi polinomial univariat atas bidang terbatas, atau faktorisasi polinomial multivariat. Saya kira ada contoh yang tidak terkait dengan faktorisasi polinomial, misalnya di domain lain seperti teori grafik atau teori bahasa formal.
PS: Saya merasa ingin tahu bahwa pertanyaan serupa belum ada di situs web ini. Saya minta maaf jika saya tidak menemukannya (atau mereka)!
sumber
Jawaban:
Jika Anda meminta masalah independen, bagaimana:
Sangat mungkin bahwa jika Anda benar-benar memiliki algoritma polinomial untuk menyelesaikan yang pertama, Anda akan memiliki algoritma polinomial untuk semuanya. Tapi saya tidak melihat bagaimana secara formal mengurangi semua ini ke yang lain. Tentu saja masalahnya
menyelesaikan semua ini.
sumber
Ada penggunaan tertentu dari keacakan yang cukup umum dalam kompleksitas parameter, yang melibatkan lemma isolasi , atau lemma Schwartz-Zippel . Secara kasar, ini melibatkan pendataan sejumlah besar solusi potensial, dan berdebat bahwa semua non-solusi "berpasangan" (mis., Dihitung dua kali) sedangkan solusi yang diinginkan hanya dihitung satu kali. Kemudian seseorang menggunakan lemma isolasi untuk menghasilkan situasi dengan hanya satu solusi terkecil, atau mendefinisikan polinomial formal bersesuaian besar atas GF dan menggunakan Schwartz-Zippel untuk menguji apakah ada istilah yang tidak berpasangan. (Saya yakin ada ikhtisar atau survei yang bagus di luar sana, tetapi saat ini itu menyelinap di pikiran saya.)(2ℓ)
Yang mengatakan, saya hanya bisa memikirkan dua kasus di mana penggunaan ini akan menyebabkan perbedaan antara BPP dan P.
Yang pertama adalah algoritma terbaru untuk dua jalur terputus terpendek ( PDF penulis ), Björklund dan Husfeldt, ICALP 2014.
Yang kedua adalah masalah parameter - menemukan siklus sederhana melalui set K dari elemen yang ditentukan dalam grafik, yaitu, seperti masalah siklus Steiner. Ketika , masalah ini ada di BPP oleh Björklund, Husfeldt, Taslaman, SODA 2012 ( tautan ). (Ada algoritma deterministik sebelumnya, tetapi ketergantungannya pada secara eksponensial lebih buruk.) Jadi, seseorang dapat mendefinisikan masalah "log-Steiner Cycle" (atau apa pun yang Anda ingin menyebutnya), dan itu akan cocok dengan pertanyaan Anda.| K ||K|=O(logn) |K|
sumber
Saya bukan ahli, tetapi mungkin beberapa contoh (tidak-jadi-alami?) Dapat diturunkan secara langsung menggunakan teknik mengurangi masalah pencarian BPP menjadi masalah keputusan BPP , disajikan dalam:
Oded Goldreich, Dalam Dunia P = BPP. Studi dalam Kompleksitas dan Kriptografi 2011: 191-232
Teorema dapat diperluas ke masalah konstruksi umum, misalnya (lihat wajar 3.9 ) mempertimbangkan masalah menemukan prima dalam interval yang cukup besar:
Algoritma acak berjalan dalam waktu polinomial yang diharapkan; tidak ada algoritma waktu polinomial deterministik yang diketahui; tetapi jika BPP = P algoritma waktu polinomial deterministik semacam itu harus ada (karena dapat dikurangi menjadi masalah keputusan BPP).
sumber