Ilmu Komputer Teoritis

Pertimbangkan poset terbatas di atas item, dan predikat monoton yang tidak diketahui atas (yaitu, untuk , , jika dan maka ) . Saya dapat mengevaluasi dengan memberikan satu simpul dan mencari tahu apakah tahan atau tidak. Tujuan saya adalah untuk menentukan set node sedemikian rupa sehingga digunakan, menggunakan beberapa evaluasi(X,≤)(X,≤)(X, …

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

Untuk sistem tanpa tipe dependen, seperti sistem tipe Hindley-Milner, tipe tersebut sesuai dengan rumus logika intuitionistic. Di sana kita tahu bahwa modelnya adalah aljabar Heyting, dan khususnya, untuk menyangkal rumus, kita dapat membatasi pada satu aljabar Heyting di mana setiap rumus diwakili oleh subset terbuka dari .RR\mathbb{R} Misalnya, jika kami …

15 lo.logic  dependent-type  model-theory  calculus-of-constructions 

Saya umumnya tertarik pada metode pemaksaan yang digunakan oleh Baker-Gill-Solovay dan Cohen. Saya mencari banyak sumber yang bisa saya dapatkan mengenai teknik itu sendiri atau penggunaannya. Adakah yang punya saran?

15 cc.complexity-theory  set-theory 

Sunting: Karena saya belum menerima tanggapan / komentar dalam seminggu, saya ingin menambahkan bahwa saya senang mendengar apa pun tentang masalah tersebut. Saya tidak bekerja di daerah itu, jadi meskipun itu pengamatan sederhana, saya mungkin tidak mengetahuinya. Bahkan komentar seperti "Saya bekerja di area ini, tetapi saya belum melihat karakterisasi …

15 reference-request  machine-learning  lg.learning 

Sistem bukti probabilistik umumnya disebut sebagai pembatasan , di mana Arthur hanya dapat menggunakan bit acak dan hanya dapat memeriksa bit sertifikat bukti yang dikirim oleh Merlin (lihat, http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).M A f ( n ) g ( n )PCP[ f( n ) , g( n ) ]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]M AM.SEBUAH\mathcal{MA}f( n )f(n)f(n)g( …

15 cc.complexity-theory  pcp  interactive-proofs 

Apakah ada algoritma waktu riffle shuffle linear waktu? Ini adalah algoritma yang mampu dilakukan oleh beberapa tangan yang sangat tangkas: membagi array input berukuran rata, dan kemudian menyatukan elemen dari dua bagian. Mathworld memiliki halaman singkat tentang riffle shuffle . Secara khusus, saya tertarik pada variasi out-shuffle yang mengubah array …

15 ds.algorithms  time-complexity 

Ini adalah pertanyaan lanjutan untuk ini tentang grafik tak terbatas. Jawaban dan komentar untuk objek daftar pertanyaan dan situasi yang secara alami dimodelkan oleh grafik tak terbatas. Tetapi ada juga banyak teorema tentang grafik tak terbatas (lihat bab 8 dalam buku Diestel) yang, misalnya, lemma tak terhingga Koenig adalah yang …

15 graph-theory  co.combinatorics  lo.logic 

Latar Belakang Rumus baca-sekali atas satu set gerbang (juga disebut basis) adalah rumus di mana setiap variabel input muncul satu kali. Rumus baca-sekali biasanya dipelajari atas dasar De Morgan (yang memiliki gerbang 2-bit AND dan OR, dan gerbang 1-bit TIDAK) dan basis biner penuh (yang memiliki semua gerbang 2-bit). Jadi …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

Apa kompleksitas komputasi dari masalah berikut: diberikan dua kompleks matriks A dan B cek jika ada permutasi matriks P sehingga: B = P A P T .n × nn×nn\times nSEBUAHSEBUAHABBBPPPB = PA PT.B=PSEBUAHPT.B = P A P^T. Jika itu membantu, orang dapat berasumsi bahwa dan B adalah hermitian (atau bahkan …

15 cc.complexity-theory  np-hardness  cg.comp-geom  linear-algebra  permutations 

Kita tahu bahwa pemecah SAT berbasis DPLL gagal menjawab dengan benar pada contoh tidak memuaskan (prinsip hole pigeon), misalnya pada "ada pemetaan injeksi dari n + 1 ke n ":PHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i ∈ [ n + 1 ] ⋁j ∈ [ n ] halsaya , j⎞⎠∧⎛⎝⋀saya ≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j)⎞⎠PHPnn+1:=(⋀i∈[n+1] ⋁j∈[n] pi,j)∧(⋀i≠i′∈[n+1] …

15 cc.complexity-theory  lo.logic  proof-complexity 

Pertimbangkan kumpulan set F = { F 1 , F 2 , ... , F n } diF={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} atas set dasar U = { e 1 , e 2 , ... , e n } diU={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\} mana | F i | |Fi||F_i| ≪ ≪\ll nnn dan e i ∈ F …

15 cc.complexity-theory  np-hardness  set-cover  packing 

Saya belajar sendiri metode formal. Saya mendengar bahwa metode formal digunakan (dan biasanya hanya digunakan) untuk membuat perangkat lunak misi kritis (seperti pengontrol reaktor nuklir, pengontrol penerbangan pesawat, pengontrol penyelidikan luar angkasa). Itu sebabnya saya tertarik untuk mempelajarinya: hlm Namun, setelah mempelajari metode formal (terutama LTL, CTL dan saudara kandung …

15 program-verification  formal-methods  se.software-engineering 

Pertimbangkan masalah berikut: Diberikan grafik kueri G=(V,E)G=(V,E)G = (V, E) dan grafik referensi , kami ingin menemukan pemetaan injeksi yang meminimalkan jumlah ujung-ujungnya ( v 1 , v 2 ) ∈ E sedemikian sehingga ( f ( v 1 ) , f ( v 2 ) ) ∉ E ′ …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

Diberikan himpunan dan B , hubungan difungsional ( ∼ ) ⊆ A × B di antara mereka didefinisikan sebagai hubungan yang memuaskan properti berikut:SEBUAHSEBUAHABBB ( ∼ ) ⊆ A × B(∼)⊆SEBUAH×B(\sim) \subseteq A \times B Jika dan a ′ ∼ b ′ dan a ∼ b ′ , maka a …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Larry Wasserman memiliki posting baru-baru ini di mana ia berbicara tentang "polisi p-value". Dia membuat poin yang menarik (semua penekanan pada saya) (premis miring yang saya tambahkan, dan jawabannya di bawah): Keluhan yang paling umum adalah bahwa fisikawan dan jurnalis menjelaskan arti nilai-p secara tidak benar. Misalnya, jika nilai-p adalah …

15 ds.algorithms  soft-question  big-list