Ilmu Komputer Teoritis

Konteks: Seperti yang saya pahami, dalam teori kompleksitas geometris, keberadaan penghalang berfungsi sebagai sertifikat bukti, sehingga dapat dikatakan, untuk tidak adanya sirkuit komputasi yang efisien untuk fungsi keras eksplisit dalam masalah batas bawah yang sedang dipertimbangkan. Sekarang ada beberapa asumsi lain untuk penghalang bahwa mereka harus pendek, mudah diverifikasi dan …

8 application-of-theory  proof-complexity  gct 

Struktur data apa yang akan Anda rekomendasikan yang mewakili koleksi subset dan mendukung operasi berikut?{1,…,n}{1,…,n}\{1, \dots, n\} : menyisipkan S dalam koleksi.insert(S)insert(S)insert(S)SSS : mengembalikan true jika ada S ′ dalam koleksi sehingga S ′ ⊂ S , false jika tidak.query(S)query(S)query(S)S′S′S'S′⊂SS′⊂SS' \subset S Kriteria utama saya adalah efisiensi waktu praktis.

8 ds.data-structures 

Saya memiliki vektor bit, yang masing-masing terdiri oleh bit. Masing menunjukkan Mari dengan yang bit -th dari th vektor, . Setiap bit vektor tunduk pada batasan 2 berikut:m v i [ j ] j i i , j ∈ [ 1 , m ] v immmmmmvi[j]vi[j]v_i[j]jjjisayaii,j∈[1,m]saya,j∈[1,m]i,j \in [1, m]vivsayav_i vi[j]=0 …

8 co.combinatorics 

Apakah ada perangkap-pintu-seperti fungsi yang kompleksitas encoding adalah waktu polinomial nk1nk1n^{k_{1}} dan pembalik kompleksitas (tanpa kunci rahasia) juga merupakan fungsi polinom panjang masukan nk2nk2n^{k_{2}} dengan k1&lt; &lt; K2k1&lt;&lt;k2k_{1} << k_{2} (mengatakan k1= 2k1=2k_{1} = 2 dan k2k2k_{2} terbukti tanpa syarat dapat dibatasi di bawah 100010001000 )? Apa implikasi dari fungsi-fungsi …

8 cc.complexity-theory  complexity-classes  cr.crypto-security  one-way-function 

Saya pindah entah bagaimana dari biofisika ke tim campuran tempat kami biasanya menerbitkan dalam jurnal / konferensi TCS. Untuk mendapatkan dana, di negara Eropa tempat saya tinggal, disarankan untuk menunjukkan di CV Anda bahwa saya telah menulis makalah atau konferensi di bidang ini. Saya memiliki lebih dari 30 publikasi tetapi …

8 paper-review  conferences 

Pertimbangkan bahasa regex dengan quantifier greedy , quantifier nongreedy, pergantian kelas, dan kelas karakter. (Ini pada dasarnya adalah sebuah subbahasa dari PCRE tanpa referensi balik, pernyataan sekilas, atau beberapa bit lain yang lebih menarik.)∗∗*∗ ?∗?{*}? Sebuah pertandingan untuk untuk regex pada tali adalah interval setengah terbuka lebih sehingga diterima oleh …

8 fl.formal-languages  regular-expressions 

Saya sedang mempertimbangkan masalah mengenali bahasa (lebih dari alfabet 0-9 dan spasi) yang mengandung string seperti "1 2 3 4 5 6" dan "14 15 16 17" tetapi tidak "1 3". Ini muncul saat mengerjakan tugas parsing umum di mana elemen harus ada dalam daftar yang diurutkan. Saya tersadar bahwa …

8 fl.formal-languages 

[Sunting 21 Juli 2011: Saya mengedit pertanyaan untuk meminta lebih banyak contoh] Pertanyaan ini meminta diskusi terdokumentasi atau lebih banyak contoh pengamatan heuristik. Beberapa masalah matematika yang mengakui algoritma yang efisien tampaknya cembung di alam. Saya sedang memikirkan program linier dan semi-pasti dan berbagai masalah kombinatorial yang mengurangi ini. Pertama, …

8 ds.algorithms  convex-optimization  philosophy 

Saya memiliki DAG dependensi yang berisi banyak tepi yang berlebihan (lihat contoh di bawah). Saya ingin algoritma "cepat" (mis. Dapat menangani grafik dengan beberapa ribu node / tepi) yang menemukan sub grafik minimal. Sebagai contoh: A -&gt; B -&gt; C A -&gt; C dalam kata-kata A adalah prasyarat untuk B, …

8 ds.algorithms  graph-algorithms  transitive-reduction 

Saya berencana menjalankan "percobaan" ketika mengajar kelas algoritme saya musim gugur ini, dengan satu komputer yang sangat tua dan terbatas (faktor pembatas utama mungkin memori — mungkin serendah 16KB) dan satu modern / standar. Idenya adalah untuk memecahkan masalah dengan polinomial, berjalan pada komputer yang lambat, dan yang eksponensial pada …

8 ds.algorithms  teaching 

Pada langkah reduksi derajat dari bukti Dinur, grafik input ditransformasikan menjadi grafik G ′ dengan mengganti setiap simpul v ∈ V ( G ) dengan seperangkat simpul, c l o u d ( v ) , sedemikian rupa sehingga | c l o u d ( v ) | = …

8 cc.complexity-theory  pcp 

Sebuah -net untuk ruang rentang adalah bagian dari sehingga tidak kosong untuk semua sehingga.( X , R ) N X N ∩ R R ∈ R | X ∩ R | ≥ ε | X |εε\varepsilon(X,R)(X,R)(X,\mathcal{R})NNNXXXN∩RN∩RN\cap RR∈RR∈RR\in \mathcal{R}|X∩R|≥ε|X||X∩R|≥ε|X||X\cap R| \ge \varepsilon |X| Diberi jarak ruang dari dimensi VC , sebuah …

8 ds.algorithms  cg.comp-geom  vc-dimension  epsilon-nets 

Saya sedang menulis modelchecker mainan , dan saya pada titik di mana saatnya untuk mengimplementasikan terjemahan LTL ke Buchi automata. Untuk berbagai alasan yang jelas, saya ingin algoritme menjadi sederhana :) misalnya saya ingin kode tetap sangat jelas dan singkat selama mungkin. Saya telah melihat pendekatan "automata lokal + kemungkinan …

8 lo.logic  automata-theory  model-checking  program-verification  linear-temporal-logic 

Ide dasar induksi mundur adalah memulai dengan semua posisi akhir yang mungkin dari sebuah permainan di mana pemain X menang. Jadi untuk catur, lihat semua cara Putih dapat skakmat Hitam. Sekarang bekerjalah mundur ke semua kemungkinan pergerakan / posisi yang memungkinkan Putih pindah ke salah satu posisi itu. Jika White …

8 cc.complexity-theory  graph-algorithms  board-games 

tolong dapatkah Anda memberikan referensi, atau memberikan contoh-contoh khusus dari masalah PSPACE-lengkap yang dapat dipecahkan dalam waktu semu-polinomial? Catatan tambahan: Definisi waktu polinom pseudo: http://en.wikipedia.org/wiki/Pseudo-polynomial_time Sebagai balasan atas beberapa komentar yang disebutkan sebelumnya. Saya telah bertanya sebelumnya apakah ada masalah yang menyelesaikan PSPACE yang memiliki FPTAS. Jawaban yang mengejutkan adalah …

8 cc.complexity-theory  complexity-classes