Ilmu Komputer Teoritis

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

2
Kondisi untuk universalitas NFA
Pertimbangkan automata terbatas nondeterministic , dan fungsi . Selain itu kami mendefinisikan .A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i Sekarang mari kita menganalisis pernyataan berikut: Jika , maka .Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* Sangat mudah untuk menunjukkan, bahwa untuk f(n)=2n+1f(n)=2n+1f(n) = 2^n+1 itu …
1
Apakah ada teknik non-relativizing kanonik?
Dalam banyak domain, ada teknik kanonik yang harus dikuasai semua orang di bidang ini. Misalnya, untuk pengurangan logspace, "trik bit" untuk komposisi yang terdiri dari tidak membangun output penuh dari fungsi yang dikomposisikan, tetapi selalu meminta untuk menghitung ulang hasil untuk setiap bit output, yang memungkinkan untuk menjaga batasan logspace. …
5
Reduksi cepat dari RSA ke SAT
Posting blog Scott Aaronson hari ini memberikan daftar masalah / tugas terbuka yang menarik dalam kompleksitas. Seseorang khususnya menarik perhatian saya: Bangun perpustakaan umum dengan instance 3SAT, dengan sesedikit mungkin variabel dan klausa, yang akan memiliki konsekuensi penting jika diselesaikan. (Misalnya, contoh yang mengkode tantangan anjak piutang RSA.) Selidiki kinerja …
2
Batas bawah yang ketat pada teorema Savitch
Pertama-tama, saya minta maaf sebelumnya atas kebodohan. Saya sama sekali bukan ahli teori kompleksitas (jauh dari itu! Saya seorang sarjana mengambil kelas pertama saya dalam teori kompleksitas) Inilah pertanyaan saya. Sekarang Teorema Savitch menyatakan bahwa Sekarang saya ingin tahu apakah jika batas bawah ini ketat, yaitu itu adalah sesuatu di …
4
Apa jenis parser yang paling kuat?
Sebagai proyek sampingan, saya menulis bahasa menggunakan Python. Saya mulai dengan menggunakan klon flex / bison yang disebut Ply, tetapi saya muncul di tepi dalam kekuatan apa yang dapat saya ungkapkan dengan gaya tata bahasa itu, dan saya tidak tertarik untuk meretas bahasa saya karena ketidakcocokan impedansi dengan alat. Karena …
4
Kelas maksimal yang set independen terbesarnya dapat ditemukan dalam waktu polinomial?
The ISGCI daftar lebih dari 1100 kelas graf. Untuk banyak dari ini kita tahu apakah SET INDEPENDEN dapat diputuskan dalam waktu polinomial; ini kadang-kadang disebut kelas IS-easy . Saya ingin mengkompilasi daftar kelas IS-easy maksimal . Kelas-kelas ini bersama-sama membentuk batas traktabilitas (dikenal) untuk masalah ini. Karena seseorang hanya dapat …
2
Bijections input-terbatas dari sekuens tak terbatas
Ini adalah teka-teki yang belum berhasil saya pecahkan. Saya ingin tahu apakah masalah ini sudah diketahui, atau memiliki solusi yang mudah. Dimungkinkan untuk mendefinisikan sebuah bijection menggunakan properti dari kategori tertutup bicartesian. Andrej Bauer memposting penjelasan tentang apa artinya ini di blognya sebagai " Permata konstruktif: juggling eksponensial ".3N≅5N3N≅5N 3^\mathbb{N} …
3
Masalah keputusan yang tidak diketahui dalam PH tetapi akan di P jika P = NP
Sunting : Seperti yang ditunjukkan Ravi Boppana dengan benar dalam jawabannya dan Scott Aaronson juga menambahkan contoh lain dalam jawabannya , jawaban untuk pertanyaan ini ternyata "ya" dengan cara yang tidak saya harapkan sama sekali. Pertama saya berpikir bahwa mereka tidak menjawab pertanyaan yang ingin saya tanyakan, tetapi setelah beberapa …
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.