Ruang topologi terkait dengan SAT: apakah kompak?


18

Masalah Kepuasan , tentu saja, masalah mendasar dalam CS teoritis. Saya bermain dengan satu versi masalah dengan banyak sekali variabel.

Pengaturan Dasar. Biarkan X menjadi seperangkat variabel bebas dan mungkin tak terbatas . Literal adalah variabel xX atau negasi ¬x . Klausa c adalah disjungsi dari jumlah literal yang terbatas . Akhirnya, kami mendefinisikan rumus F sebagai satu set klausa .

Tugas X adalah fungsi σ:X{0,1} . Saya tidak akan secara eksplisit menentukan kondisi saat suatu penugasan σ memenuhi klausa; itu sedikit rumit, dan sama seperti pada SAT standar. Akhirnya, sebuah tugas memenuhi formula jika memenuhi setiap klausa konstituen. Biarkan sSebuaht(F) menjadi himpunan tugas yang memuaskan untuk F , dan biarkan kamunsSebuaht(F) menjadi pelengkap sSebuaht(F) .

Ruang topologi.

Tujuan kami adalah untuk memberikan ruang pada semua penugasan X , sebut ini Σ , dengan struktur topologi . Set tertutup kami adalah dari bentuk sSebuaht(F) mana F adalah rumus. Kami dapat memverifikasi bahwa ini memang topologi:

  • Formula kosong yang tidak mengandung klausa dipenuhi oleh semua tugas; jadi Σ ditutup.
  • Rumus {x,¬x} untuk setiap xX adalah sebuah kontradiksi. Jadi ditutup.
  • Penutupan di bawah persimpangan sewenang-wenang. Misalkan Fsaya adalah formula untuk setiap sayasaya . Kemudian sSebuaht(sayasayaFsaya)=sayasayasSebuaht(Fsaya) .
  • Penutupan di bawah serikat terbatas. Misalkan F dan G adalah dua rumus, dan tentukan
    FG: ={cd:cF,dG}.
    Kemudian sSebuaht(FG)=sSebuaht(F)sSebuaht(G) . Ini membutuhkan argumen, tapi saya akan melewatkan ini.

Sebutkan topologi ini T , "topologi kepuasan" (!) Di Σ . Tentu saja, set terbuka topologi ini adalah dalam bentuk kamunsSebuaht(F) . Selain itu, saya mengamati bahwa koleksi set terbuka

{kamunsSebuaht(c):c adalah klausa}
membentuk dasar untuk T . (Olahraga!)

Kompak? Saya merasa ini cara yang menarik, jika tidak terlalu berguna, untuk melihat sesuatu. Saya ingin memahami apakah ruang topologi ini memiliki sifat menarik tradisional seperti kekompakan, keterhubungan dll. Dalam posting ini, kita akan membatasi diri kita pada kekompakan:

Biarkan menjadi kumpulan variabel yang tak terhingga jumlahnya. 1 Apakah ringkas di bawah ?Σ TXΣT

Seseorang dapat membuktikan hal berikut

Dalil. kompak jika dan hanya untuk semua formula unsatisfiable , terdapat subformula terbatas unsatisfiable . F { c 1 , c 2 , , c m } FTF{c1,c2,...,cm}F

(Latihan yang tidak terlalu sulit!) Setelah beberapa hari berpikir, saya tidak memiliki banyak kemajuan dalam menjawab pertanyaan ini. Saya juga tidak memiliki bukti kuat untuk atau menentang kekompakan. Bisakah Anda menyarankan beberapa pendekatan?

Akhirnya, sebagai pertanyaan bonus:

Apakah struktur seperti itu telah dipelajari sebelumnya?

1 Pembatasan untuk menghitung hanya untuk kesederhanaan; itu juga terasa seperti langkah alami berikutnya dari jumlah variabel terbatas.X


(1.) Berdasarkan ringkasan wiki dari tag topologi , tag ini tidak relevan di sini. Namun demikian saya memasukkannya karena pertanyaan secara eksplisit menghubungkan ke topologi set-point. (2.) Saya tidak yakin apakah pertanyaan ini lebih cocok untuk Math.SE atau di sini; Saya memutuskan untuk mempostingnya di sini. (3.) Maaf tentang panjangnya pertanyaan. Karena saya kira tidak semua orang akan terbiasa dengan ruang topologi, saya menjelaskan hal itu sedikit lebih rumit.
Srivatsan Narayanan

2
Saya mengirimkan permintaan perbaikan tag untuk memperluas definisi tag topologi.
Joshua Herman

1
Komentar kecil: diberi rumus F (yang dalam bentuk CNF), seseorang dapat mengonversinya menjadi bentuk DNF, meniadakannya dan menggunakan De Morgan untuk membuat rumus F 'dalam bentuk CNF sehingga sat (F) = unsat (F') dan unsat (F) = sat (F '). Dengan demikian, set apa pun ditutup jika terbuka dalam topologi Anda.
Alex ten Brink

Bukankah proposisi Anda hanya kasus khusus dari teorema kekompakan ( en.wikipedia.org/wiki/Compactness_theorem ) untuk logika proposisional?
Layanan Travis

@ Travis Bisa jadi, saya tidak yakin. Latar belakang saya dalam logika cukup kurang, jadi saya tidak bisa melihat hal-hal ini dengan sangat jelas. :)
Srivatsan Narayanan

Jawaban:


22

Apa yang Anda lakukan adalah mendapatkan representasi topologi dari aljabar Boolean. Studi tentang representasi aljabar Boolean kembali setidaknya ke Lindenbaum dan Tarski yang membuktikan (pada tahun 1925, saya pikir) bahwa aljabar Boolean atom yang lengkap adalah isomorfik untuk kisi-kisi penyetelan.

Namun ada, aljabar Boolean yang tidak lengkap dan atom. Sebagai contoh, urutan , adalah rantai menurun yang tidak memiliki batas dalam aljabar Boolean yang didefinisikan di atas rumus. Pertanyaan apakah aljabar Boolean yang sewenang-wenang, seperti yang Anda sebutkan, juga memiliki representasi berbasis set diselesaikan oleh Marshall Stone , yang mengemukakan pepatah "selalu melakukan topologi" (Marshall H. Stone. Representasi aljabar Boolean , 1938) .x1,x1x2,...

Teorema Representasi Batu untuk Aljabar Boolean Setiap aljabar Boolean bersifat isomorfik terhadap kisi himpunan bagian himpunan bagian dari ruang topologis.

Gagasan utamanya adalah mempertimbangkan apa yang dalam kasus Anda merupakan penugasan yang memuaskan untuk suatu formula. Dalam kasus umum, Anda mempertimbangkan homomorfisme dari aljabar Boolean ke dalam dua elemen Aljabar Boolean (nilai kebenaran). Kebalikan dari memberi Anda set tugas yang memuaskan, atau apa yang disebut ultrafilters dari aljabar Boolean. Dari ini, seseorang dapat memperoleh topologi yang disebut spektrum atau ruang Batu dari aljabar Boolean. Stone juga memberikan jawaban untuk pertanyaan Anda.trkamue

Ruang Stone dari aljabar Boolean adalah ruang Hausdorff yang kompak dan benar-benar terputus.

Ada beberapa hasil yang memperluas dan menggeneralisasi representasi Stone ke berbagai arah. Pertanyaan yang wajar adalah menanyakan apakah keluarga kisi lain memiliki representasi seperti itu. Hasil Stone juga berlaku untuk kisi distributif. Representasi topologis untuk kisi-kisi sewenang-wenang diberikan oleh Alasdair Urquhart pada tahun 1978. Kisi distributif menikmati keragaman yang lebih besar dalam struktur, dibandingkan dengan aljabar Boolean dan sangat menarik. Representasi yang berbeda untuk kasus distributif diberikan oleh Hilary Priestley pada tahun 1970, menggunakan ide ruang topologi yang teratur . Alih-alih representasi berbasis set, kita dapat menemukan representasi dan topologi berbasis poset.

Konstruksi dalam makalah ini memiliki satu properti yang luar biasa. Konstruksi batu memetakan tidak hanya aljabar Boolean ke ruang topologi: hubungan struktural yang terkait Aljabar Boolean diterjemahkan ke dalam sifat struktural antara topologi yang dihasilkan. Ini adalah dualitas antar kategori. Keseluruhan hasil tersebut disebut Dualitas Batu . Secara informal, dualitas memberi kita terjemahan yang tepat antara alam semesta matematika: dunia kombinatorial, dunia kisi aljabar, dunia topologi spasial dan dunia deduktif logika. Berikut adalah beberapa poin awal yang dapat membantu.

  1. Bab 11 Pengantar Kisi dan Ketertiban , oleh Davey dan Priestley membahas teorema Stone.
  2. Slide Matthew Gwynne menutupi teorema dan memberikan bukti kekompakan. Matius (dalam komentar) juga menyarankan Pengantar Boolean Algebras oleh Paul Halmos.
  3. Dalam bergerak dari logika proposisional ke logika modal, aljabar Boolean diperluas dengan operator pengawet gabungan dan topologi dengan interior. Karya Jónsson dan Tarski tahun 1952, Boolean Algebras with Operators sangat mudah dibaca dan konsisten dengan notasi modern.
  4. Bab 5 Modal Logic oleh Blackburn, de Rijke dan Venema mencakup teorema Stone dan perluasannya ke aljabar Boolean dengan operator.
  5. Stone Spaces oleh Peter Johnstone ulasan hasil tersebut untuk berbagai jenis aljabar lainnya.

4
Batu Dualitas lebih umum. Buku-buku Johnstone dan Vicker (lihat bagian referensi dari artikel Wikipedia) keduanya cukup bagus, meskipun yang pertama cukup maju.
Kaveh

1
Ya, tapi saya tidak yakin apakah OP ingin tahu tentang Batu Dualitas dalam kejayaan penuhnya. Telah menambahkan beberapa tautan per komentar Anda. Jika seseorang hanya menginginkan teorema representasi, presentasi Davey dan Priestley sudah cukup.
Vijay D

2
@Kaveh: Dihormati. Saya masih terbiasa mengidentifikasi tingkat detail jawaban yang diinginkan, dan membaca nada komentar. Bukannya kedengarannya seperti orang tua pemarah yang membantu. (wajah tersenyum)
Vijay D

5
Ini akan menjadi titik loncatan besar untuk posting blog tentang Batu Dualitas dan koneksi ke CS.
Suresh Venkat

3
"Pengantar Boolean Algebras" karya Paul Halmos juga mencakup teorema representasi, serta teorema dualitas lainnya.
MGwynne
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.