Ilmu Komputer Teoritis

Saya mencari catatan Kuliah yang tersedia online atau sumber daya lain yang memberikan pengenalan yang baik ke pemrograman paralel, seperti analog paralel dari kelas dasar dalam ilmu komputer. Fokus saya adalah sebagai berikut: sementara saya dapat berbicara tentang divide & conquer, algoritma serakah, pemrograman dinamis dan sejenisnya, yaitu pola dasar …

10 reference-request  soft-question  dc.parallel-comp  survey 

Konteks: Kami hanya mempertimbangkan digraf. Biarkan CYCLE menjadi bahasa grafik dengan siklus; itu adalah masalah NL-lengkap. Biarkan HASEDGE menjadi bahasa grafik dengan setidaknya satu sisi. Kemudian sepele, tidak lagi NL-hard, sementara tetap seperti itu.CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} Masalah aktual: Saya ingin tahu apakah bahasa masih NL-hard.CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} \cup \{(V, E):(\exists …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Saya sering mendengar dikatakan bahwa Anda tidak dapat menulis sebuah program untuk menangkap bug di browser web, atau pengolah kata, atau sistem operasi, karena Teorema Rice: properti semantik apa pun untuk bahasa lengkap Turing tidak dapat diputuskan. Namun, saya tidak yakin sejauh mana ini berlaku untuk program dunia nyata suka …

10 computability 

Saya mencari teks lengkap hasil klik Bulan dan Moser 1965 Pada Klik di Grafik (ada grafik dengan jumlah klik maksimum yang eksponensial di ). Paywall universitas saya tidak memiliki akses ke jurnal tertentu. (Sebenarnya, pratinjau memberikan beberapa kalimat pertama dari buktinya, tetapi kemudian membiarkan saya tanpa sisanya!)nnn Saya tertarik pada …

10 reference-request  graph-theory  co.combinatorics  clique 

Ketika mempertimbangkan interaksi pada jaringan, biasanya sangat sulit untuk menghitung dinamika secara analitis , dan perkiraan digunakan. Perkiraan bidang-rata biasanya berakhir dengan mengabaikan struktur jaringan sepenuhnya, dan karenanya jarang merupakan perkiraan yang baik. Suatu pendekatan yang populer adalah aproksimasi pasangan, yang mempertimbangkan korelasi yang melekat di antara simpul-simpul yang berdekatan …

10 graph-theory  gt.game-theory  evolutionary-game-theory 

Katz dan Lindell menyebutkan dalam buku mereka bahwa LFSR telah mengerikan sebagai dasar untuk generator pseudorandom, dan menganjurkan bahwa mereka tidak digunakan lagi (well, mereka juga merekomendasikan agar orang menggunakan cipher blok dan bukan stream cipher). Tapi saya melihat misalnya bahwa salah satu cipher dalam portofolio estream ( Grain , …

10 soft-question  cr.crypto-security  pseudorandom-generators 

Bahasa L.LL ada di kelas D PDPDP jika ada dua bahasa L 1 ∈ NPL1∈NPL1 \in NP dan L 2 ∈ c o NPL2∈coNPL2 \in coNP sehingga L=L1∩L2L=L1∩L2L = L1 \cap L2 Sebuah kanonik DPDPDP masalah -Lengkap adalah SAT-UNSAT: diberikan dua ekspresi 3-CNF, FFF dan GGG , apakah benar bahwa …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Misalkan adalah bahasa Boolean, dengan string hingga . Biarkan menjadi jumlah string dalam dengan panjang . Untuk fungsi dari bilangan bulat positif ke bilangan real positif, memiliki kepadatan atas jika untuk semua cukup besar .L.LL{ 0 , 1 }{0,1}\{0,1\}L.nLnL_nL.LLnnnd( n )d(n)d(n)L.LL d( n )d(n)d(n)L.n≤ 2nd( n )Ln≤2nd(n)L_n \le 2^n d(n)nnn …

10 cc.complexity-theory  reference-request  p-hardness 

Saya dihadapkan pada dilema yang agak sulit: - Saya telah menyelesaikan M. Tech di CS 2 tahun yang lalu, menyelesaikan disertasi saya di bidang Pengujian VLSI. Walaupun saya menyukai pekerjaan saya, saya tidak ingin kembali untuk mengejar gelar PhD saya dalam hal itu - saya sangat ingin mengejar kursus teoretis …

10 soft-question  advice-request  career 

Katakanlah kita memiliki polyhedron dalam bentuk standar: A x = bx ≥ 0SEBUAHx=bx≥0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} Adakah metode yang diketahui untuk menemukan hyperplane yang membagi polyhedron sedemikian rupa sehingga jumlah simpul di setiap sisi hyperplane kira-kira sama? (Yaitu algoritma yang meminimalkan perbedaan absolut …

10 ds.algorithms  linear-programming  linear-algebra 

Diberikan grafik campuran G=(V,E,A)G=(V,E,A)G=(V,E,A) dengan tepi EEE dan busur AAA , cari kecocokan dalam EEE yang meminimalkan jumlah busur dalam G/MG/MG/M , di mana G/MG/MG/M diperoleh dari GGG dengan mengontrak simpul yang cocok dan menghapus busur paralel. Apakah (versi keputusan) masalah ini NP-complete? Apakah sudah dipelajari dalam literatur?

10 cc.complexity-theory  reference-request  graph-theory 

Dapatkah seseorang mengarahkan saya ke referensi untuk non-definisi dari modulus kontinuitas fungsional dalam PCF? \ newcommand {\ bool} {\ mathsf {bool}}\newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Andrej Bauer telah menulis posting blog yang sangat bagus mengeksplorasi beberapa masalah secara lebih rinci, tetapi saya akan meringkas hanya sedikit postingnya untuk meminjamkan beberapa konteks untuk pertanyaan …

10 pl.programming-languages  lambda-calculus  denotational-semantics  computing-over-reals 

Saya ingin mulai belajar tentang Pengodean Jaringan: http://en.wikipedia.org/wiki/Network_coding Apakah Anda tahu survei yang baik (misalnya dari Survei dan Tutorial IEEE) pada mata pelajaran di atas. Saya menemukan beberapa program universitas di google tetapi saya ingin beberapa rekomendasi dari orang-orang yang sudah membaca dan tahu sumber yang bagus. Terima kasih Vasilis

10 it.information-theory  coding-theory  survey  ni.networking-internet 

Pertanyaan saya adalah tentang kesetaraan keamanan berbagai fungsi kandidat satu arah yang dapat dibangun berdasarkan kekerasan anjak piutang. Dengan asumsi masalah FAKTOR: [Diberikan untuk bilangan prima acak P , Q &lt; 2 n , temukan P , Q. ]N= PQN=PQN = PQP, Q &lt; 2nP,Q&lt;2nP, Q < 2^nPPPQQQ tidak dapat …

10 reference-request  cr.crypto-security  nt.number-theory  average-case-complexity  one-way-function 

Saya membaca makalah survei Watrous yang sangat bagus di atas kertas tentang teori kompleksitas kuantum. Di dalamnya ia menyatakan bahwa akan mengejutkan jika masalah lengkap QMA ditemukan memiliki janji yang kosong (Ie Be a language). Kenapa begitu? Apakah itu ada hubungannya dengan fakta bahwa masalah Hamiltonian k-local adalah masalah yang …

10 cc.complexity-theory  quantum-computing