Ilmu Komputer Teoritis

Apakah #P pertama kali diperkenalkan di [1] ? [1] Valiant, Leslie G. "Kompleksitas komputasi yang permanen." Ilmu komputer teoretis 8.2 (1979): 189-201.

8 cc.complexity-theory  reference-request  counting-complexity  ho.history-overview 

Saya kurang memiliki latar belakang dalam ilmu komputer teoretis tetapi saya ingin memahami seperti apa objek teoritis yang sesuai dengan konsep C ++ . Pada dasarnya, konsep C ++ memungkinkan untuk mendefinisikan sekumpulan tipe yang memenuhi daftar kendala. Jadi, dari sudut pandang teoretis, sesuai dengan konsep C ++, atau kira-kira …

8 pl.programming-languages  type-theory  algebra  ct.category-theory 

Mengingat NFA NNN dan yang setara DFA DDD yang dihasilkan dari keseluruhan determinization dari NNN (menggunakan konstruksi Powerset, misalnya), sifat-sifat berikut tahan selama NNN , DDD dan untuk setiap kata www : NNN membacawww dalam menjalankan waktu paling banyakO(|w|.|N|2)O(|w|.|N|2)O(|w|.|N|^2) . DDD membacawww dalam menjalankan waktu paling banyakO(|w|)O(|w|)O(|w|) dan ukurannya mungkinO(2|N|)O(2|N|)O(2^{|N|}) …

8 automata-theory  regular-language  nondeterminism  dfa  nfa 

Bahasa Critical SAT didefinisikan sebagai himpunan rumus boolean sedemikian rupa sehingga tetapi menghapus klausa apa pun dari membuatnya memuaskan. Diketahui bahwa SAT kritis adalah lengkap. Saya bertanya-tanya tentang varian berikut: diberi rumus , apakah ini kasus bahwa ada di dan bahwa ada beberapa klausa sehingga (alih-alih untuk semua klausa, ada …

8 cc.complexity-theory  complexity-classes  boolean-functions 

Saya mencari konsep dalam teori tipe yang saya yakin mungkin telah dieksplorasi, tetapi tidak tahu nama di baliknya. Mari kita pertimbangkan bahasa seperti ML dengan tipe produk dan jumlah dan sistem tipe seperti Hindley-Milner. Saya akan menggunakan sintaks OCaml. Saya bertanya-tanya tentang cara dua nilai yang berbeda dapat berbeda. Menggunakan …

8 type-theory  functional-programming 

Latar Belakang Kita tahu bahwa .P# P⊆ P.SPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Selain itu, kami tahu dari teorema Toda bahwa .PH⊆ P.# PPH⊆P#PPH \subseteq P^{\#P} Untuk latar belakang lebih lanjut tentang , lihat di sini: https://en.wikipedia.org/wiki/Sharp-P#P#P\#P Pertanyaan Apakah ada oracle sehingga ?( P # P ) A ≠ P S P …

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace 

The vertex jumlah isoperimetric dari grafik adalah . Beberapa makalah akademis menyatakan bahwa masalah penghitungan angka verteks isoperimetrik dari grafik adalah NP-hard, tanpa bukti atau referensi.G=(V,E)G=(V,E)G=(V,E) iV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}iV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}i_V(G) = \min\{\frac{|N(S)|}{|S|} : S \subseteq V, 1\le |S|\le \frac{|V|}{2}\} Bisakah Anda memberikan referensi di mana masalah berikut ini ditunjukkan NP-lengkap: diberi grafik GGG …

8 reference-request  graph-theory  np-hardness 

Saya sudah lama bertanya-tanya tentang asal-usul nama "kebal" dan "sederhana". Saya juga mengajukan pertanyaan yang sama kepada Andrea Sorbi, yang pada gilirannya melibatkan beberapa rekan kerja lagi dalam diskusi. Tentang "sederhana" kami memiliki beberapa dugaan. Martin Davis mengemukakan bahwa namanya berasal dari analogi dengan kelompok-kelompok sederhana. Grup sederhana tidak memiliki …

8 reference-request  lo.logic  computability  philosophy 

Pertama, minta maaf jika pertanyaan ini sesuai atau sepele untuk situs ini. Saya seorang fisikawan yang mencari bantuan di luar zona nyamannya. Dalam PRL 87 167902 (2001) diklaim bahwa " ... untuk sewenang-wenang kecil terdapat kode error-correcting E : { 0 , 1 } n → { 0 , 1 …

8 reference-request  lower-bounds  quantum-information 

Biarkan Alice dan Bob menghitung fungsi boolean .f(x1,…,x2n)f(x1,…,x2n)f(x_1,\dots,x_{2n}) Pilih subset acak dari kardinalitas n dan membiarkan J = { 1 , ... , 2 n } ∖ saya .I⊆{1,…,2n}I⊆{1,…,2n}\mathcal I\subseteq\{1,\dots,2n\}nnnJ={1,…,2n}∖IJ={1,…,2n}∖I\mathcal J=\{1,\dots,2n\}\backslash\mathcal I Mari Alice mendapatkan variabel mana saya ∈ I dan Bob mendapatkan x j di mana j ∈ J …

8 reference-request  communication-complexity 

Versi P, NP dan coNP yang tidak seragam adalah P / poly, NP / poly dan coNP / poly. Demikian pula, kita dapat mendefinisikan versi yang tidak seragam untuk setiap level di PH. Sebagai contoh: / poly terdiri dari masalah bentuk , di mana C adalah sirkuit dari ukuran polinomial …

8 cc.complexity-theory  complexity-classes  polynomial-hierarchy 

Dalam survei Melliès ' Categorical Semantics of Linear Logic , prosedur penghilangan potongan untuk logika linear intuitionistic diberikan yang mencakup kasus berikut: 3.9.3 Promosi vs. kontraksi Buktinya ditransformasikan menjadi bukti π 1π1⋮! Γ ⊢ A! Γ ⊢ ! SEBUAH Promosiπ2⋮Υ1, ! A , ! A , Υ2⊢ BΥ1, ! A …

8 linear-logic 

Dalam tulisan ini , Hajnal menyatakan lemma berikut: Misalkan Gn,mGn,m\mathscr{G}_{n, m} adalah himpunan semua grafik bipartit dengan simpul di bagian kiri dan simpul di bagian kanan. Misalkan adalah nontrivial, monoton, dan invarian terkait dengan isomorfisme grafik bipartit. Pesan rangkaian grafik minimal dengan properti leksikografis sesuai dengan daftar derajat sudut kiri …

8 graph-theory  query-complexity 

Salah satu hasil mendasar dalam kompleksitas parameter dari masalah grafik adalah bahwa COVER VERTEX di-parameterisasi oleh ukuran solusi adalah fixed-parameter-trable (FPT). Di sisi lain, ketika diparameterisasi oleh "parameter ganda" , itu menjadi setara dengan SET INDEPENDEN diparameterisasi oleh ukuran solusi (karena setiap penutup simpul adalah pelengkap set independen), dan karenanya …

8 reference-request  graph-algorithms  fixed-parameter-tractable 

Diberikan grafik bipartit tanpa bobot . Apakah benar bahwa selalu ada pencocokan non -tyty M ⊆ E (belum tentu maksimal), sehingga untuk setiap ( i , j ) ∈ E dengan saya cocok dan j tidak cocok , ia memegang deg ( i ) > deg ( j ) ? …

8 graph-theory  matching