Ilmu Komputer Teoritis

T&J untuk ilmuwan dan peneliti komputer teoretis di bidang terkait

1
Apa halangan untuk memperpanjang
Bukti Omer Reingold yang memberikan algoritma untuk USTCON (Dalam U ndirected grafik dengan simpul khusus dan , mereka ConL=SLL=SLL=SLtsssttt nected?) Hanya menggunakan logspace. Ide dasarnya adalah untuk membangun grafik expander dari grafik asli, dan kemudian berjalan di grafik expander. Grafik expander dibuat dengan mengkuadratkan grafik asli secara logaritma berkali-kali. Dalam …
2
Waktu quasipolynomial Apakah Babai ini
Saya punya (mudah-mudahan sederhana, mungkin bodoh) pertanyaan di kertas tengara Babai yang menunjukkan bahwa quasipolynomial.G IGsaya\mathsf{GI} Babai menunjukkan cara menghasilkan sertifikat yang dua grafik untuk isomorfik, dalam waktu kuasipolinomial dalam.Gsaya=(Vi,Ei)Gi=(Vi,Ei)G_i=(V_i,E_i)i∈{1,2}i∈{1,2}i\in\{1,2\}v=|Vi|v=|Vi|v=|V_i| Apakah Babai benar-benar menunjukkan cara menemukan elemen yang memungkinkan simpul ke , atau apakah sertifikat itu hanya pernyataan keberadaan?π∈Svπ∈Sv\pi\in S_vG1G1G_1G2G2G_2 …
1
Apakah ada kelas grafik yang menarik di mana treewidth sulit (mudah) untuk dihitung?
Treewith adalah parameter grafik penting yang menunjukkan seberapa dekat grafik dari menjadi pohon (walaupun tidak dalam arti topologi yang ketat). Sudah diketahui bahwa menghitung treewidth adalah NP-hard. Adakah kelas alami grafik di mana treewidth sulit untuk dihitung? Demikian pula: Apakah ada kelas grafik yang menarik di mana perhitungan treewidth mudah? …
2
Sepasang siklus titik terpisah di grafik yang diarahkan
Apa algoritma deterministik tercepat yang diketahui yang dapat mengenali grafik berarah dengan sepasang siklus disintegrasi titik? Saya tahu grafik dengan min outdegree three selalu memiliki pasangan seperti itu ( Thomassen'83 ), tetapi meskipun demikian saya tidak dapat menemukan algoritma yang efisien dalam kasus umum. Adakah yang tahu referensi untuk ini?
1
Gap antara
HT( n )HT(n)HT(n)nnnB B ( n ) = maks HT( n )BB(n)=maksHT(n)BB(n) = \max HT(n) Apa yang bisa kita katakan tentang angka terbesar kedua di ? Sebut ini .B B 2 ( n )HT( n )HT(n)HT(n)BB2(n)BB2(n)BB_2(n) B B ( n ) B B ( n ) - B B 2 …
1
Teorema Adleman atas semir tak terbatas?
Adleman telah menunjukkan pada tahun 1978 bahwa : jika fungsi boolean dari variabel dapat dihitung dengan rangkaian boolean probabilistik ukuran , maka dapat juga dihitung dengan deterministik sirkuit boolean polinomial ukuran dalam dan ; sebenarnya, dari ukuran . B P P ⊆ P / p o l yBPP⊆P/halHaily\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnM.M.MfffM.M.MnnnO ( …
1
Game Paralel Kerikil di Garis
Dalam permainan kerikil pada garis ada N + 1 node berlabel 0 hingga N. Permainan dimulai dengan kerikil pada simpul 0. Jika ada kerikil pada simpul i, Anda dapat menambah atau menghapus kerikil dari simpul i +1. Tujuannya adalah untuk menempatkan kerikil pada simpul N, tanpa menempatkan banyak kerikil pada …
1
Untuk grafik mana pohon DFS selalu berupa path?
Untuk grafik tanpa arahan mana semua pohon pencarian pertama-dalam (untuk semua simpul awal yang memungkinkan dan untuk semua pilihan tetangga mana yang dicari terlebih dahulu) jalur yang diarahkan? Artinya, setiap pohon DFS harus hanya memiliki satu daun, dan setiap simpul lainnya harus memiliki satu anak. Misalnya, itu berlaku untuk siklus, …
2
Runtuh dengan asumsi bahwa
Diketahui bahwa jika NP⊆P/PolyNP⊆P/PolyNP\subseteq P/Poly maka hierarki polinomial runtuh menjadi dan .ΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM Apa keruntuhan terkuat yang diketahui terjadi jika ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly
1
"Tingkat kesulitan Rabin dalam menghitung suatu fungsi, dan urutan parsial set rekursif"
Saya mencari: Michael O. Rabin, "Tingkat kesulitan menghitung fungsi, dan urutan parsial set rekursif", Universitas Ibrani, Yerusalem, 1960 Ringkasan: “Kami berupaya mengukur jumlah pekerjaan yang melekat dalam tugas menghitung fungsi komputasi (rekursif) yang diberikan. Konsep tingkat kesulitan komputasi diperkenalkan dan dipelajari. Gagasan ini invarian dalam arti bahwa itu tidak tergantung …
2
Bisakah Anda menjelaskan intuisi di balik Ruang Koheren?
Linear Logic diinterpretasikan menggunakan spasi yang koheren , dan fitur-fitur tersebut menonjol dalam makalah Girard. Saya tahu semua tiga cara utama untuk mendefinisikan mereka secara formal, dan mereka tidak benar-benar menimbulkan masalah untuk digunakan dan membuktikan hal-hal tentang, tetapi saya tidak bisa mengerti apa artinya . Rasanya benar-benar ada semacam …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.