Ilmu Komputer Teoritis

Apakah Anda tahu konsekuensi menarik dari dugaan (standar) dalam teori kompleksitas di bidang matematika lainnya (yaitu di luar ilmu komputer teoretis)? Saya lebih suka jawaban di mana: dugaan teori kompleksitas adalah sebagai umum dan standar mungkin; Saya baik-baik saja dengan konsekuensi dari kekerasan masalah khusus juga, tetapi alangkah baiknya jika …

25 cc.complexity-theory  conditional-results 

Apa yang diketahui tentang kompleksitas komputasi bilangan bulat anjak di bidang bilangan umum? Lebih spesifik: Melalui bilangan bulat, kami mewakili bilangan bulat melalui ekspansi binernya. Apa representasi analog dari bilangan bulat di bidang bilangan umum? Apakah diketahui bahwa keutamaan atas bidang angka ada dalam P atau BPP? Algoritma apa yang …

25 cc.complexity-theory  nt.number-theory  comp-number-theory 

Baru-baru ini, Ryan Willams membuktikan bahwa Konstruktivitas dalam Bukti Alami tidak dapat dihindari untuk memperoleh pemisahan kelas kompleksitas: dan T C 0 . NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} Constructivity di Bukti Alam adalah suatu kondisi bahwa semua bukti kombinatorial di memenuhi kompleksitas rangkaian dan bahwa kita dapat memutuskan apakah fungsi target di (atau yang …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

Saya harap ini bukan pertanyaan politis yang salah untuk ditanyakan, tetapi untuk mahasiswa PhD yang biasanya menerbitkan di CCC / ITCS / ICALP (dan kadang-kadang di FOCS / STOC), mungkinkah berbahaya (karena karier) untuk menerbitkan karya yang kurang signifikan di konferensi yang kurang bergengsi (mis. MFCS, FCT, STACS, IPL)? Mungkinkah …

25 soft-question  career 

Dalam banyak makalah yang melibatkan tata bahasa bebas konteks (CFG), contoh-contoh tata bahasa yang disajikan di sana sering mengakui karakterisasi yang mudah dari bahasa yang mereka hasilkan. Sebagai contoh: S→aaSbS→aaSbS \to a a S b S→S→S \to menghasilkan {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} , S→aSbS→aSbS \to a S …

25 fl.formal-languages  context-free  context-free-languages 

Jawaban ini untuk masalah utama yang belum terpecahkan dalam ilmu komputer teoritis? pertanyaan menyatakan bahwa itu terbuka jika masalah tertentu dalam NP membutuhkan waktu .Ω(n2)Ω(n2)\Omega(n^2) Melihat komentar di bawah jawaban membuat saya bertanya-tanya: Selain dari padding dan trik serupa, apa kompleksitas waktu paling dikenal yang terikat lebih rendah pada mesin …

25 cc.complexity-theory  np  p-vs-np 

Volume III dari Knuth The Art of Computer Programming (pasal 5 ayat 3,2) termasuk mengikuti tabel daftar tepat jumlah minimum perbandingan yang diperlukan untuk memilih elemen th terkecil dari set disortir ukuran , untuk semua . Tabel ini, bersama dengan ekspresi bentuk tertutup terkenal dan , mewakili sebagian besar keadaan …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

Szemeredi's Regularity Lemma mengatakan bahwa setiap grafik yang padat dapat diperkirakan sebagai penyatuan O ( 1)O(1)O(1) banyak grafik expander bipartit. Lebih tepatnya, ada partisi dari sebagian besar simpul ke dalam O ( 1 )O(1)O(1) set sehingga sebagian besar pasangan membentuk bipartit ekspander (jumlah set dalam partisi dan parameter ekspansi tergantung …

25 graph-theory  co.combinatorics  expanders 

Mengingat sebuah grafik diarahkan dan tertimbang dan integer bahkan , apa yang kompleksitas komputasi penghitungan set simpul sehingga dan subgraf dari terbatas himpunan titik mengakui pasangan yang cocok? Apakah kompleksitas # P-selesai? Apakah ada referensi untuk masalah ini?k S ⊆ V | S | = K G SG=(V,E)G=(V,E)G=(V,E)kkkS⊆VS⊆VS\subseteq V|S|=k|S|=k|S|=kGGGSSS Perhatikan …

25 cc.complexity-theory  co.combinatorics  counting-complexity 

Saya akan menghadiri konferensi ilmu komputer pertama saya dan setelah membaca saran tentang cara meningkatkan konferensi, saya perhatikan beberapa saran tentang mahasiswa pascasarjana yang menghadiri konferensi pertama mereka. Apa nasihat yang Anda miliki untuk seorang mahasiswa pascasarjana yang menghadiri konferensi pertamanya dan apa yang seharusnya menjadi fokusnya.

25 soft-question  big-list  conferences 

Hasil oleh Robertson dan Seymour menunjukkan sebuah algoritma untuk menguji apakah grafik tetap adalah minor dari . Saya punya dua setengah pertanyaan tentang topik ini:O(n3)O(n3)O(n^3)GGGHHH 1) Tampaknya telah ada peningkatan pada algoritma ini sejak. Apa algoritma paling terkenal saat ini? 2a) Apa yang orang duga sebagai ikatan optimal? Algoritma Mohar …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

Seperti yang disebutkan dalam judul, saya ingin tahu ada hubungan dan perbedaan antara CIC dan ITT. Bisakah seseorang menjelaskan atau menunjuk kepada saya beberapa literatur yang membandingkan kedua sistem ini? Terima kasih.

25 type-theory 

Pemecah SAT sangat penting dalam serangan aljabar , misalnya walksat dan minisat . Namun, ketika memecahkan masalah benchmark yang tersedia di sini ada perbedaan kinerja yang sangat besar antara keduanya - Walksat jauh lebih cepat daripada mini untuk masalah ini. Kenapa ini? Ini pelaksanaan walksat tampaknya memiliki beberapa perbaikan kinerja …

25 ds.algorithms  sat 

Pertanyaan ini muncul karena rasa ingin tahu yang murni (pertanyaan itu muncul sambil berpikir tentang melepaskan tali , tetapi saya tidak yakin apakah itu benar-benar terkait) jadi saya harap itu sesuai. Ada berbagai produk grafik, dan saya tertarik pada salah satu dari mereka di sini. Apa kompleksitas menentukan apakah grafik …

25 cc.complexity-theory  graph-algorithms 

Saya telah membaca di beberapa makalah bahwa keberadaan fungsi satu arah diyakini secara luas. Adakah yang bisa menjelaskan mengapa ini terjadi? Argumen apa yang kita miliki untuk mendukung keberadaan fungsi satu arah?

25 cc.complexity-theory  cr.crypto-security  big-picture  one-way-function