Ilmu Komputer Teoritis

Saya pikir saya akan membagikan pertanyaan ini karena mungkin menarik bagi pengguna lain di sini. Asumsikan bahwa fungsi yang berada dalam kelas yang seragam (seperti ) juga berada dalam kelas kecil yang tidak seragam (seperti A C 0 / p o l y , yaitu tidak seragam A C 0 …

31 cc.complexity-theory  circuit-complexity  uniformity 

Saya (dan masih) sangat tertarik pada jawaban untuk pertanyaan ini, karena ini adalah variasi yang menarik pada kompleksitas permainan yang belum terselesaikan, jadi saya menawarkan hadiah. Saya pikir pertanyaan aslinya kemungkinan besar terlalu sulit, jadi saya memposting tiga pertanyaan terkait yang juga layak untuk hadiah itu. Tidak ada yang memposting …

31 cc.complexity-theory  gt.game-theory  interactive-proofs 

Saya telah membaca " Semantik dengan Aplikasi " dari Nielson & Nielson , dan saya sangat menyukai subjeknya. Saya ingin memiliki satu buku lagi tentang semantik bahasa pemrograman - tetapi saya hanya bisa mendapatkan satu buku. Saya melihat-lihat buku Turbak / Gifford , tetapi terlalu panjang lebar; Saya pikir Winskel …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Perkiraan jumlah pewarnaan tampaknya mudah pada grafik dengan pengecualian kecil menggunakan algoritma oleh Jung / Shah. Apa contoh lain dari masalah yang sulit pada grafik umum tetapi mudah pada grafik kecil-dikecualikan? Pembaruan 10/24 Tampaknya mengikuti hasil Grohe bahwa rumus yang FPT untuk menguji pada grafik terikat-treewidth adalah FPT untuk menguji …

31 ds.algorithms  graph-theory  graph-minor 

Apakah ada contoh menarik dari algoritma acak untuk masalah pencarian yang selalu menampilkan jawaban yang sama (benar), terlepas dari keacakan internal, tetapi yang mengeksploitasi keacakan sehingga waktu berjalan yang diharapkan lebih baik daripada waktu berjalan yang paling cepat diketahui algoritma deterministik untuk masalah ini? Secara khusus, saya bertanya-tanya apakah ada …

31 ds.algorithms  randomized-algorithms 

Ada banyak masalah NP-selesai di sekitar dan sumber mengumpulkan mereka, misalnya lihat buku oleh Garey dan Johnson. Saya akan tertarik untuk melihat daftar masalah lengkap NEXP juga. Apakah ada satu tersedia? Karena saya anggap tidak ada, saya membuka pertanyaan ini (apakah ini seharusnya merupakan komunitas wiki? Saya tidak tahu tentang …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

Dalam posting tamu ini oleh Josh Grochow di weblog kompleksitas dia melaporkan pada lokakarya baru-baru ini yang didedikasikan untuk GCT yang diadakan di Princeton pada bulan Juli. Beberapa peserta berpendapat bahwa kita harus menggunakan GCT untuk menyerang masalah yang lebih mudah daripada vs. NPP\mathsf{P} untuk membangun intuisi dan melihat apakah …

31 cc.complexity-theory  gct 

Memutuskan apakah formula boolean yang dikuantifikasi seperti ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), selalu mengevaluasi benar adalah masalah PSPACE-lengkap klasik. Ini dapat dilihat sebagai permainan antara dua pemain, dengan gerakan bergantian. Pemain pertama menentukan nilai kebenaran dari variabel bernomor ganjil dan pemain kedua memutuskan …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

Tetapkan i oioio - S U B E X PSUBEXPSUBEXP untuk menjadi kelas bahasa LLL sedemikian rupa sehingga ada bahasa dan untuk tak terhingga banyaknya , dan menyetujui semua contoh panjang . (Yaitu, ini adalah kelas bahasa yang dapat "dipecahkan secara tak terhingga, dalam waktu subeksponensial".)L ′ ∈ ∩ ε …

30 cc.complexity-theory  sat  oracles 

Apakah seseorang berani mencoba untuk menjelaskan apa hubungan bidang studi ini atau bahkan mungkin memberikan jawaban yang lebih konkret di tingkat masalah? Seperti yang termasuk yang mengasumsikan beberapa formulasi diterima secara luas. Jika saya mendapatkan ini dengan benar, ketika Anda beralih dari SAT ke SMT pada dasarnya Anda memasuki bidang …

30 soft-question  sat  terminology 

Nondeterminism dibatasi mengaitkan fungsi dengan kelas C bahasa diterima oleh mesin Turing deterministik sumber daya dibatasi, untuk membentuk kelas baru g - C . Kelas ini terdiri dari bahasa-bahasa yang diterima oleh beberapa mesin Turing nondeterministic M mematuhi batas sumber daya yang sama seperti yang digunakan untuk mendefinisikan C , …

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism 

Richard J. Lipton telah terpilih sebagai pemenang Hadiah Knuth 2014 "untuk Pengenalan Gagasan dan Teknik Baru". Menurut Anda, apa ide dan teknik baru utama yang dikembangkan Lipton? Catatan. Pertanyaan ini akan menjadi wiki komunitas, harap cantumkan satu ide, teknik, atau hasil per jawaban.

30 big-list 

Saya ingin mencari algoritma waktu polinomial yang menentukan apakah rentang set matriks yang diberikan berisi matriks permutasi. Jika ada yang tahu jika masalah ini dari kelas kompleksitas yang berbeda, itu akan sangat membantu. EDIT: Saya telah menandai pertanyaan ini dengan Linear Programming, karena saya memiliki kecurigaan yang kuat bahwa jika …

30 cc.complexity-theory  linear-algebra  linear-programming  semidefinite-programming  polynomial-time 

Apa konsekuensi buruk NP = PSPACE? Saya terkejut saya tidak menemukan apa-apa tentang ini, mengingat bahwa kelas-kelas ini adalah yang paling terkenal. Secara khusus, apakah akan ada konsekuensi pada kelas bawah?

30 cc.complexity-theory  complexity-classes  conditional-results 

Untuk masalah aliran maksimum , tampaknya ada sejumlah algoritma yang sangat canggih, dengan setidaknya satu dikembangkan baru-baru ini tahun lalu. Max Orlin mengalir dalam waktu O (mn) atau lebih baik memberikan algoritma yang berjalan dalam O (VE). Di sisi lain, algoritma yang paling sering saya lihat diimplementasikan adalah (Saya tidak …

30 ds.algorithms  graph-algorithms  application-of-theory  max-flow