Saat ini saya mencoba untuk menemukan masalah EXPSPACE-lengkap (terutama untuk menemukan inspirasi untuk pengurangan), dan saya terkejut dengan sejumlah kecil hasil yang muncul. Sejauh ini, saya menemukan ini, dan saya kesulitan memperluas daftar: universalitas (atau sifat-sifat lainnya) dari...
Di mana saya dapat menemukan grafik yang relevan dengan masalah kehidupan nyata? Dua repositori yang saya tahu adalah: Koleksi Matriks Universitas Florida TreewidthLib dari
Seperti yang ada saat ini, pertanyaan ini tidak cocok untuk format tanya jawab kami. Kami berharap jawaban didukung oleh fakta, referensi, atau keahlian, tetapi pertanyaan ini kemungkinan akan mengumpulkan debat, argumen, polling, atau diskusi panjang. Jika Anda merasa bahwa
Ini sepanjang garis " Algoritma dari Kitab ". Meskipun reduksi adalah algoritme juga, saya pikir ragu bahwa orang akan memikirkan pengurangan respons terhadap pertanyaan tentang algoritme dari buku ini. Oleh karena itu permintaan yang terpisah! Pengurangan dari semua jenis dipersilahkan. Saya...
Ada banyak tempat di mana angka dan muncul. Saya ingin tahu tentang algoritma yang waktu berjalannya mengandung rasio emas atau dalam eksponen.( 1 +
Saya mencari bahasa yang "mungkin bukan Bebas Konteks" tetapi kami tidak dapat (buktikan) menggunakan teknik standar yang dikenal. Apakah ada survei terbaru pada subjek atau bagian masalah terbuka dari konferensi baru-baru ini? Mungkin tidak banyak bahasa yang tidak dikenal sebagai CF, jadi...
Saya menggunakan Jung ( http://jung.sourceforge.net/ ) untuk memvisualisasikan peringkat halaman dan merasa agak lambat dan sulit untuk menskalakannya melebihi 100 node. Saya ingin tahu alat apa yang digunakan orang untuk analisis dan visualisasi jaringan / jejaring
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?...
Terkunci . Pertanyaan ini dan jawabannya dikunci karena pertanyaannya di luar topik tetapi memiliki signifikansi historis. Saat ini tidak menerima jawaban atau interaksi baru. Algoritma mana yang paling sering digunakan? Harap tulis satu algoritme per jawaban,
Saya pikir itu akan menjadi ide yang baik untuk membuat daftar teorema yang menyatakan bahwa P tidak sama dengan NP jika dan hanya jika ini dan itu keluar, beberapa kelas kompleksitas terkandung dalam kelas kompleksitas lain dan seterusnya dan seterusnya.
Saya belum pernah melihat algoritma dengan log di penyebut sebelumnya, dan saya bertanya-tanya apakah ada algoritma yang benar-benar berguna dengan formulir ini? Saya mengerti banyak hal yang mungkin menyebabkan faktor log dikalikan dalam jangka waktu berjalan, misalnya algoritma pengurutan atau...
Saya ingin tahu apakah ada dugaan yang sudah lama tidak terbukti dalam TCS, yang kemudian dibuktikan dengan implikasi dari teorema lain, yang mungkin lebih mudah untuk dibuktikan.
Universitas mana yang memiliki kurikulum komputasi kuantum yang kuat, dan menawarkan beberapa jenis komputasi kuantum / program studi / penelitian? Tujuannya di sini adalah untuk mengumpulkan daftar yang berguna bagi seseorang yang mempertimbangkan studi pascasarjana di bidang ini, bukan untuk...
Saya seorang mahasiswa pascasarjana dalam matematika dengan latar belakang yang kuat dalam logika. Saya telah mengambil kursus pascasarjana selama setahun di bidang logika bersama-sama dengan program pascasarjana tentang teori model terbatas dan satu lagi tentang teori memaksa dan menetapkan....
Apa saja masalah kompleksitas komputasi utama dan terbuka yang muncul dari bahasa pemrograman, terutama analisis dan kompilasi program? Saya mencari masalah pada baris "kompleksitas waktu inferensi tipe Hindley-Milner" atau "kompleksitas waktu 0CFA" (meskipun keduanya merupakan masalah yang...
Apakah ada dugaan dalam ilmu komputer teoretis yang melibatkan beberapa parameter n dan terbukti untuk nilai kecil n DAN untuk bilangan prima tetapi kemudian ternyata salah? Dalam teori bilangan masalah semacam itu memang ada, misalnya. seperti yang ditunjukkan Aaron Meyerowitz tentang koefisien...
Apa saja contoh utama derandomisasi yang sukses atau setidaknya kemajuan dalam menunjukkan bukti konkret terhadap tujuan (bukan koneksi keacakan kekerasan)?P=BPPP=BPPP=BPP Satu-satunya contoh yang terlintas di pikiran saya adalah pengujian primitas waktu polinomial deterministik AKS (bahkan untuk...
Larry Wasserman memiliki posting baru-baru ini di mana ia berbicara tentang "polisi p-value". Dia membuat poin yang menarik (semua penekanan pada saya) (premis miring yang saya tambahkan, dan jawabannya di bawah): Keluhan yang paling umum adalah bahwa fisikawan dan jurnalis menjelaskan arti...
Ada sejumlah algoritma dan struktur data yang mengeksploitasi gagasan bahwa mendapatkan nilai minimumnya di k = \ sqrt n . Contoh umum termasukmax{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n algoritma langkah-langkah raksasa-langkah untuk menghitung logaritma diskrit di...
Apakah hasil diketahui yang mengesampingkan keberadaan struktur data "terlalu-baik-untuk-menjadi-benar"? Misalnya: dapatkah seseorang menambahkan fungsi dan J o i n ke dalam struktur data pemeliharaan pesanan (lihat Dietz dan Sleator STOC '87 ) dan masih mendapatkan operasi waktu O ( 1 ) ?Sp l i...