Apakah ada masalah alami dalam yang tidak (diketahui / dianggap) di U P ∩ c o U P ?
Jelas besar satu semua orang tahu tentang di adalah versi keputusan anjak piutang (tidak n memiliki faktor ukuran paling k), tapi itu sebenarnya di U P ∩ c o U P .
Apakah ada masalah alami dalam yang tidak (diketahui / dianggap) di U P ∩ c o U P ?
Jelas besar satu semua orang tahu tentang di adalah versi keputusan anjak piutang (tidak n memiliki faktor ukuran paling k), tapi itu sebenarnya di U P ∩ c o U P .
Jawaban:
Sementara game paritas diketahui berada di keduanya, diklaim bahwa game paritas stokastik tidak dikenal berada di UP intersect coUP.
Masalah kisi adalah sumber kandidat yang baik. Diberi dasar untuk kisi dalam R n , orang dapat mencari vektor kisi bukan nol yang ( ℓ 2 ) normanya paling kecil kemungkinannya; ini adalah 'Masalah Vektor Terpendek' (SVP). Juga, diberikan dasar untuk L dan titik t ∈ R n , orang dapat meminta vektor kisi sedekat mungkin ke t ; ini adalah 'Masalah Vektor Paling Dekat' (CVP).
Kedua masalah ini sulit untuk dipecahkan. Aharonov dan Regev menunjukkan bahwa dalam (NP coNP), seseorang dapat menyelesaikannya dalam O ( √faktor:
http://portal.acm.org/citation.cfm?id=1089025
Saya sudah membaca makalah, dan saya pikir tidak ada petunjuk dari pekerjaan mereka bahwa seseorang dapat melakukan ini di UP coUP, apalagi UP ∩ coUP.
Teknisnya: seperti yang disebutkan, ini adalah masalah pencarian, jadi sebenarnya kita harus berhati-hati tentang apa yang kita maksudkan ketika kita mengatakan bahwa mereka berada dalam kelas kompleksitas. Menggunakan varian decisional dari masalah aproksimasi, masalah keputusan kandidat yang kita dapatkan adalah masalah janji : diberi kisi , bedakan antara dua kasus berikut:
Kasus I: memiliki vektor bukan nol pada norma ≤ 1 ;
Kasus II: tidak memiliki vektor non-nol dari norma ≤ C √