Setelah membaca Efek sebagai Sesi, Sesi sebagai Efek , saya bertanya-tanya bagaimana bukti kesetaraan antara keduanya terjadi, atau bahkan, bukti jenis Sesi menjadi Jenis dan Sistem Efek. Dengan cara yang lebih umum, bagaimana seseorang dapat membuktikan hubungan (misalnya kesetaraan) antara...
Apa publikasi pertama dari konsep optimalisasi penggabungan berdasarkan mengidentifikasi urutan posisi berturut-turut dalam meningkatkan pesanan (alias berjalan) dalam waktu linier; kemudian berulang kali menggabungkan dua sekuens terpendek seperti itu dan menambahkan hasil penggabungan ini ke...
Mari menjadi parameter grafik (ex. Diameter, jumlah dominasi, dll)sss Keluarga dari grafik memiliki properti s -treewidth jika ada fungsi f sehingga untuk setiap grafik G ∈ F , treewidth G paling banyak adalah f ( s ) .FF\mathcal{F}sssfffG∈FG∈FG\in \mathcal{F}GGGf(s)f(s)f(s) Sebagai contoh,...
Diberikan grafik G yang tidak terarah, kita dapat mengatakan bahwa G hampir bipartit jika menghapus tepi k (atau simpul) akan membuatnya menjadi bipartit. Apakah ada algoritma waktu poli untuk menentukan apakah grafik tepat atau kira-kira hampir
(Ini adalah "upper end" dari pertanyaan saya dari lebih dari 10 bulan yang lalu di cs.stackexchange. Itu pertanyaan dan "ujung bawah" saya bertanya di sini selama 8 bulan yang lalu , yang saya juga memiliki karunia di, keduanya belum terjawab. Ini adalah tangkapan layar dari tampilan tulisan...
Dibandingkan dengan spektrum grafik tidak berarah, yang sesuai dengan matriks simetris, spektrum grafik berarah tidak terlalu dikenal: Diketahui bahwa graf berarah G=(V,E)G=(V,E)G = (V,E) memiliki matriks adjacency A(G)A(G)A(G) yang nilai eigennya adalah biner {0,1}{0,1}\{0,1\} jika GGG adalah...
Saya bingung tentang contoh yang diberikan dalam artikel Wikipedia tentang tata bahasa konteks-sensitif: https://en.wikipedia.org/wiki/Context-sensitive_grammar Disclamer : Saya sudah mengubah bagian yang dibahas di artikel wikipedia, jadi keadaan artikel saat ini akan berbeda dari yang saya...
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 ) ? Di sini ( i , j ) tidak dipesan, yaitu, saya bisa berada di kedua...
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...
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...
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...
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⊢...
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 yang dapat bervariasi...
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...
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 } m dengan m ≤ n / δ...
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)...
Apakah #P pertama kali diperkenalkan di [1] ? [1] Valiant, Leslie G. "Kompleksitas komputasi yang permanen." Ilmu komputer teoretis 8.2 (1979):
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
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...
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,...