Ilmu Komputer Teoritis

Pernyataan penelitian JM Siskind menyatakan: Stalin adalah kompiler pengoptimalisasi untuk Skema yang melakukan analisis statis seluruh program dan menggunakan hasil analisis itu untuk menghasilkan kode yang sangat efisien. Stalin menggunakan banyak koleksi teknik analisis statis. Ini melakukan bentuk baru dari analisis aliran polivarian yang menggunakan analisis aliran monovarian berulang untuk …

14 compilers 

Saya telah melakukan beberapa pencarian tentang hal ini tetapi saya tidak dapat menemukan jawaban. Huck menjawabnya sepenuhnya. Terima kasih :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

Akhir-akhir ini saya telah berurusan dengan algoritma yang berhubungan dengan kompresi, dan saya bertanya-tanya mana yang merupakan rasio kompresi terbaik yang dapat dicapai dengan kompresi data lossless. Sejauh ini, satu-satunya sumber yang dapat saya temukan tentang topik ini adalah Wikipedia: Kompresi data digital yang tanpa kehilangan seperti video, film digital, …

14 it.information-theory  data-streams 

Misalkan menjadi rumus CNF dengan n variabel dan klausa m . Misalkan t ∈ { 0 , 1 } n mewakili penugasan variabel dan f φ ( t ) ∈ { 0 , ... , m } menghitung jumlah klausa yang dipenuhi oleh penugasan variabel ke φ . Kemudian definisikan …

14 cc.complexity-theory  sat  counting-complexity 

Itu adalah nama yang saya buat untuk masalah ini. Saya belum melihatnya dijelaskan di mana pun sebelumnya. Saya belum dapat menemukan bukti kelengkapan NP atau algoritma waktu polinomial untuk masalah ini. Ini bukan masalah pekerjaan rumah - ini terkait dengan masalah yang saya temui dalam pekerjaan saya. GIGI DISKRIMINASI TERTINGGI …

14 cc.complexity-theory  np-hardness 

Tujuan : Menyelesaikan dugaan bahwa tidak ada bidang proyeksi pesanan 12. Pada tahun 1989, menggunakan pencarian komputer pada sebuah Cray, Lam membuktikan bahwa tidak ada bidang proyektif pesanan 10 ada. Sekarang Angka Tuhan untuk Rubik's Cube telah ditentukan setelah hanya beberapa minggu pencarian brutal besar-besaran (ditambah matematika simetri yang cerdas), …

14 open-problem 

Banyak cryptosystem kunci publik memiliki beberapa jenis keamanan yang dapat dibuktikan. Sebagai contoh, cryptosystem Rabin terbukti sekeras pemfaktoran. Saya bertanya-tanya apakah jenis keamanan yang terbukti seperti itu ada untuk cryptosystem kunci-rahasia, seperti AES. Jika tidak, apa bukti bahwa memecahkan cryptosystems seperti itu sulit? (selain resistensi terhadap serangan coba-coba) Catatan: Saya …

14 cr.crypto-security  algebra  algebraic-complexity 

Saya mahasiswa ilmu komputer sarjana dan saat ini saya sedang merencanakan proyek kelulusan saya. Saya perlu beberapa ide di bidang komputasi kuantum. ada bantuan?

14 quantum-computing  soft-question 

Pertimbangkan , di mana lambda_i> 0 dan Y_i didistribusikan sebagai standar normal. Batasan konsentrasi seperti apa yang dapat dibuktikan pada X, sebagai fungsi dari koefisien (tetap) lambda_i?X= ∑sayaλsayaY2sayaX=∑sayaλsayaYsaya2X = \sum_i \lambda_i Y_i^2 Jika semua lambda_i sama maka ini adalah batas Chernoff. Satu-satunya hasil lainnya saya sadar adalah lemma dari kertas …

14 chernoff-bound 

Apakah akan ada konsekuensi besar jika SAT paling banyak memiliki bukti tidak aman subeksponensial atau bahkan lebih kuat, SAT memiliki algoritma waktu subeksponensial?

14 cc.complexity-theory  sat  proof-complexity 

Kita tahu bahwa algoritma mincut Krier dapat digunakan untuk membuktikan (dengan cara yang tidak konstruktif) bahwa jumlah maksimum dari mincuts yang mungkin dimiliki oleh sebuah grafik adalah .(n2)(n2)n \choose 2 Saya bertanya-tanya apakah kita bisa membuktikan identitas ini dengan memberikan bukti bijective (agak suntik) dari set mincuts ke set kardinalitas …

14 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  max-flow-min-cut 

Dalam rangka belajar automata Angluin ini , sebuah tujuan siswa untuk belajar bahasa reguler L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* dengan meminta dua jenis pertanyaan untuk gurunya: Kueri kata: diberikan w∈Σ∗w∈Σ∗w\in \Sigma^* , adalahw∈Lw∈Lw\in L ? Kueri kesetaraan: diberi bahasa K⊆Σ∗K⊆Σ∗K\subseteq \Sigma^* , apakah K=LK=LK=L ? Jika tidak, guru memberikan contoh yang menyangkal pernyataan, …

13 automata-theory  regular-language 

Ada trik lama untuk menuliskan algoritma yang, jika P = NP, memecahkan SAT dalam waktu polinomial. Pada dasarnya, satu daftar semua mesin waktu polinomial dan multi-tugas di atasnya. Apakah ada trik analog untuk fungsi satu arah (atau bahkan fungsi pintu jebakan satu arah)? Yaitu, dapatkah kita menuliskan fungsi yang, jika …

13 universal-computation  one-way-function 

Setelah membaca pertanyaan terakhir "Apakah komplemen bebas konteks?" {www∣...}{www∣...}\{ www \mid ...\}; Saya ingat masalah yang sama yang tidak bisa saya tolak: Apakah konteks gratis?L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} Di sini kita mensyaratkan bahwa dua string berbeda setidaknya dalam dua posisi (jarak …

13 fl.formal-languages  context-free 

Katakanlah kita memiliki properti grafik yang dapat diperiksa dalam waktu polinomial nondeterministik, dan bukti dalam sistem formal yang lemah (katakanlah RCA 0 ) bahwa properti tersebut tertutup kecil. Bisakah kita mengatakan sesuatu tentang kekuatan sistem formal, yang mampu membuktikan bahwa himpunan terbatas anak-anak yang dikecualikan mencirikan properti grafik yang diberikan? …

13 cc.complexity-theory  lo.logic