Ilmu Komputer Teoritis

Saya menjadi bingung oleh perbedaan halus antara proposisi dan penilaian ketika terkena teori tipe intuitionistic. Bisakah seseorang menjelaskan kepada saya apa gunanya membedakan mereka dan apa yang membedakan mereka? Terutama mengingat Curry-Howard Isomorphsim.

27 lo.logic  pl.programming-languages  type-theory 

Saya menemukan makalah ini sangat menarik. Untuk meringkas: ini membahas mengapa dalam praktiknya Anda jarang menemukan contoh kasus terburuk dari masalah NP-lengkap. Gagasan dalam artikel ini adalah bahwa instance biasanya sangat di bawah atau sangat dibatasi, keduanya relatif mudah untuk diselesaikan. Itu kemudian mengusulkan untuk beberapa masalah ukuran 'kendala'. Masalah-masalah …

27 np-hardness  worst-case 

Masalah klasik -queens bertanya, diberi bilangan bulat positif , apakah ada larik bilangan bulat yang memenuhi kondisi berikut:n Q [ 1 .. n ]nnnnnnQ [ 1 .. n ]Q[1..n]Q[1..n] 1 ≤ Q [ i ] ≤ n1≤Q[i]≤n1\le Q[i] \le n untuk semuasayaii Q [ i ] ≠ Q [ j …

27 cc.complexity-theory  board-games 

Dalam pendidikan ilmu komputer saya, saya semakin memperhatikan bahwa sebagian besar masalah diskrit adalah NP-lengkap (setidaknya), sedangkan mengoptimalkan masalah terus menerus hampir selalu mudah dicapai, biasanya melalui teknik gradien. Apakah ada pengecualian untuk ini?

27 cc.complexity-theory  co.combinatorics  optimization 

Masalah apa yang diketahui milik tetapi tidak diketahui milik ?PBPPBPP\mathsf{BPP}PP\mathsf P Lebih tepatnya, saya tertarik pada masalah independen , yaitu derandomisasi yang tidak diketahui setara. Misalnya, diketahui bahwa deritimasi PIT dan faktorisasi polinomial multivariat adalah sama dan saya akan menghitungnya hanya sebagai satu masalah. Motivasi dari pertanyaan saya adalah bahwa …

27 derandomization 

Baru-baru ini saya membaca The Two Dualities of Computation: Negative and Fractional Types . Makalah ini memperluas jenis-jenis dan jenis-produk, memberikan semantik untuk jenis a - bdan a/b. Tidak seperti penambahan dan perkalian, tidak ada satu tetapi dua invers dari eksponensial, logaritma, dan rooting. Jika tipe fungsi (a → b) …

27 lo.logic  pl.programming-languages  type-theory  algebra 

Grothendieck telah meninggal dunia . Dia memiliki dampak besar pada matematika abad ke-20 yang berlanjut ke abad ke-21. Pertanyaan ini ditanyakan dalam gaya / semangat, misalnya, dari Kontribusi Alan Turing untuk Ilmu Komputer . Apa pengaruh utama Grothendieck pada ilmu komputer teoretis?

27 big-picture  ct.category-theory  ho.history-overview 

Pertanyaan ini dimigrasikan dari Computer Science Stack Exchange karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 6 tahun yang lalu . Tampaknya banyak orang percaya bahwa , sebagian karena mereka percaya bahwa anjak piutang tidak dapat dipecahkan. (Shiva Kintali telah mendaftarkan beberapa masalah kandidat lainnya di sini ).P≠NP∩coNPP≠NP∩coNPP …

27 cc.complexity-theory  np  conditional-results 

Apakah ada contoh bahasa yang ada dalam , tetapi di mana kita tidak dapat membuktikan fakta ini secara langsung dengan menunjukkan bahwa ada saksi polinomial untuk keanggotaan dalam bahasa ini?NPNPNP Sebaliknya, fakta bahwa bahasa dalam akan dibuktikan dengan mereduksinya ke bahasa lain di , di mana hubungan antara keduanya tidak …

27 reductions  np 

Studi ekologi dan evolusi menjadi semakin matematis, tetapi sebagian besar alat teoretis tampaknya berasal dari fisika. Namun, dalam banyak kasus masalah memiliki sifat yang sangat berbeda (lihat misalnya SLBS00 ) dan dapat mengambil manfaat dari perspektif ilmu komputer . Namun, saya menyadari hanya beberapa hasil serius dari TCS yang mencoba …

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

Misalkan adalah grafik dengan angka pewarnaan . Pertimbangkan permainan berikut antara Alice dan Bob. Pada setiap putaran, Alice memilih sebuah titik, dan Bob menjawab dengan warna di untuk titik ini. Permainan berakhir ketika tepi monokromatik ditemukan. Biarkan menjadi panjang maksimal permainan di bawah permainan optimal oleh kedua pemain (Alice ingin …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

Saya ingin bertanya tentang kasus khusus dari pertanyaan " Memutuskan apakah sirkuit NC 0 yang diberikan menghitung permutasi " oleh QiCheng yang telah dibiarkan tidak terjawab. Sirkuit Boolean disebut sirkuit NC 0 k jika setiap gerbang keluaran secara sintaksis bergantung pada paling banyak gerbang input k . (Kami mengatakan bahwa …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

Mengapa bahasa reguler (dan dari ekspresi reguler itu) disebut "reguler"? Ada banyak keteraturan juga dalam bahasa bebas konteks dari jenis bahasa lainnya. Saya menduga bahwa, pada awalnya, kata sifat "biasa" telah digunakan untuk membedakan jenis bahasa itu dari bahasa "non-reguler" atau entah bagaimana abnormal lainnya. Jika demikian, di mana jenis-jenis …

27 regular-expressions  regular-language  ho.history-overview 

Sunting: Saya memilih jawaban dengan skor tertinggi pada 06 Desember 2012. Ini pertanyaan lembut. Konsep algoritma (deterministik) kembali ke SM. Bagaimana dengan algoritma probabilistik? Dalam entri wiki ini , algoritma Rabin untuk masalah pasangan terdekat dalam geometri komputasi diberikan sebagai algoritma acak pertama (tahun ???). Lipton memperkenalkan algoritma Rabin sebagai …

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

Saat membaca artikel "Apakah Saatnya Menyatakan Kemenangan dalam Menghitung Kompleksitas?" di blog "Surat Hilang Godel dan P = NP" , mereka menyebutkan dikotomi untuk CSP. Setelah beberapa link berikut, googling dan wikipeding, saya menemukan Teorema Ladner : Teorema Ladner: Jika , maka ada masalah dalam yang bukan -lengkap.P≠NPP≠NP{\bf P} \ne …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp