Ilmu Komputer Teoritis

12
Kapan menggunakan lemma Johnson-Lindenstrauss di atas SVD?

Lemma Johnson-Lindenstrauss memungkinkan seseorang untuk mewakili titik-titik dalam ruang dimensi tinggi menjadi titik-titik dalam dimensi lebih rendah. Ketika menemukan ruang dimensi rendah yang paling cocok, teknik standar adalah menemukan dekomposisi nilai singular dan kemudian mengambil...

12
sebagai oracle

Apakah NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}hold? Jelas NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , tetapi bagi saya sepertinya NP∩coNPNP∩coNP\mathsf{NP\cap coNP} adalah "deterministik" yang membuat saya percaya ini benar. Apakah ada bukti sederhana (atau mungkin hanya berdasarkan...

12
Kekerasan APX tidak menyiratkan QPTAS?

Jadi, pencarian cepat di web membuat saya percaya bahwa "APXHardness menyiratkan bahwa tidak ada QPTAS untuk suatu masalah kecuali [beberapa kelas kompleksitas] termasuk dalam beberapa [kelas kompleksitas lain]" dan ini juga dikenal! Sepertinya semua orang tahu ini kecuali aku. Sayangnya, tidak ada...

12
Bisakah kita mengurutkan tanpa permutasi?

Sudah diketahui bahwa mengurutkan permutasi dengan transposisi ada di , karena jumlah minimum transposisi yang diperlukan untuk mengurutkan adalah . Gagasan "angka inversi" ini juga memiliki aplikasi dalam kombinatorik aljabar, misalnya memungkinkan untuk memberikan dengan struktur kisi, yang...

12
?

Apakah mungkin bahwa ? Adakah konsekuensi menarik dari penahanan seperti itu? Apakah itu bertentangan dengan Hipotesis Waktu Eksponensial?SA T¯¯¯¯¯¯¯¯¯¯∈ NTsayaM.E( exp( n0,9) )SSEBUAHT¯∈NTsayaM.E(exp⁡(n0,9))\overline{SAT} \in

12
Apakah game ini berakhir?

Pertimbangkan permainan kartu berikut (dikenal di Italia sebagai "Cavacamicia," yang dapat diterjemahkan sebagai "stripshirt"): Dua pemain secara acak membagi dua deck kartu standar. Setiap pemain mendapat satu dek. Para pemain bergantian menempatkan tumpukan kartu berikutnya dari tumpukan...

12
Apakah

Bisakah kita membuktikan bahwa untuk setiap bahasa yang bukan N P -hard (ini mengasumsikan P ≠ N P ), P L ≠ P SAT ? Bergantian, dapatkah ini dibuktikan dengan asumsi yang masuk akal?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne...

12
Tempat untuk artikel penelitian pendek

Saya baru saja menyelesaikan makalah pendek (5 halaman) untuk membuktikan game kombinatorial NP-Complete tertentu. Ini sama sekali bukan hasil dari signifikansi yang sangat besar, namun itu salah satu yang saya percaya dapat dipublikasikan. Tempat apa yang cocok untuk kertas seperti ini?...

12
Penyortiran perbandingan acak optimal

Jadi kita semua tahu perbandingan-pohon batas bawah pada jumlah perbandingan terburuk yang dibuat oleh algoritma sortir perbandingan (deterministik). Itu tidak berlaku untuk penyortiran perbandingan acak (jika kita mengukur perbandingan yang diharapkan untuk input kasus terburuk). Misalnya, untuk n...

12
Apakah ada rumusan teori simpul masalah NP lengkap?

Apakah ada masalah NP lengkap (atau bahkan NP-keras, atau NP) yang memiliki sifat topologi yang baik untuk dipelajari. Apakah masalah NP memiliki formulasi teori simpul? Kita tahu tentang hasil # tentang polinomial Jones. Masalah grafik (embeddings?), Khususnya pewarnaan grafik dapat dilihat...