Pertanyaan yang diberi tag «lattice»

Masalah Kepuasan , tentu saja, masalah mendasar dalam CS teoritis. Saya bermain dengan satu versi masalah dengan banyak sekali variabel. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Pengaturan Dasar. Biarkan XXX menjadi seperangkat variabel bebas dan mungkin tak terbatas . Literal adalah variabel x∈Xx∈Xx \in X atau negasi ¬x¬x\neg x . Klausa ccc adalah disjungsi …

18 reference-request  lo.logic  sat  topology  lattice 

Karena istilah ini kelebihan beban, definisi singkat terlebih dahulu. Poset adalah himpunan dianugerahi perintah parsial . Dengan dua elemen , kita dapat mendefinisikan (gabung) sebagai batas atas paling rendah mereka di , dan dengan cara yang sama mendefinisikan (bertemu) (gabung) sebagai batas bawah terbesar.XXX≤≤\lea,b∈Xa,b∈Xa,b \in Xx∨yx∨yx \vee yXXXx∧yx∧yx \wedge y …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

Saya memiliki dua partisi [1…n][1…n][1 \ldots n] dan saya mencari jarak sunting di antara mereka. Dengan ini, saya ingin menemukan jumlah minimal satu transisi dari sebuah node ke grup yang berbeda yang perlu beralih dari partisi A ke partisi B. Misalnya jarak dari {0 1} {2 3} {4}ke {0} {1} …

17 ds.algorithms  edit-distance  lattice 

EDIT (Oleh Tara B): Saya masih tertarik pada referensi ke bukti ini, karena saya harus membuktikannya sendiri untuk makalah saya sendiri. Saya mencari bukti Teorema 4 yang muncul di makalah ini: Hierarki Infinite dari titik-temu Bahasa Bebas Konteks oleh Liu dan Weiner. Teorema 4: Sebuah berjenis affine berdimensi tidak dinyatakan …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Teorema fixpoint Tarski menyatakan, bahwa fixpoint operator monoton pada kisi lengkap adalah kisi lengkap. Sebagai akibatnya, kami memiliki fixpoint terbesar yang unik dan fixpoint paling unik untuk operator monoton pada kisi lengkap. Fixpoint bisa unik tetapi secara umum bisa banyak. Pertanyaan saya adalah, di bawah kondisi apa fungsi monoton dapat …

8 algebra  lattice  order-theory