Satisfiabilityปัญหาเป็นของหลักสูตรเป็นปัญหาพื้นฐานในทางทฤษฎี CS ฉันกำลังเล่นกับปัญหาหนึ่งเวอร์ชันที่มีตัวแปรมากมายอย่างไม่ จำกัด
การตั้งค่าพื้นฐาน ให้เป็นว่างและชุดอาจจะไม่มีที่สิ้นสุดของตัวแปร ตัวอักษรเป็นทั้งตัวแปรหรือปฏิเสธมันx ประโยคเป็นความร้าวฉานของจำกัดจำนวนตัวอักษร สุดท้ายเรากำหนดสูตรเป็นชุดของคำสั่ง¬ x c
การโอนเป็นฟังก์ชั่น\} ฉันจะไม่กำหนดเงื่อนไขอย่างชัดเจนสำหรับเมื่อการมอบหมายเป็นไปตามข้อ; มันยุ่งยากเล็กน้อยและเหมือนกับใน SAT มาตรฐาน ในที่สุดการมอบหมายให้เป็นไปตามสูตรถ้าเป็นไปตามข้อที่เป็นส่วนประกอบทั้งหมด Letเป็นชุดของความพึงพอใจที่ได้รับมอบหมายสำหรับและให้เป็นส่วนประกอบของ(F)σ : X → { 0 , 1 } σ s a t ( F ) F u n s a t ( F ) s a t ( F )
พื้นที่ทอพอโลยี
เป้าหมายของเราคือการยกพื้นที่ที่ได้รับมอบหมายทั้งหมดของโทรนี้กับโครงสร้างทอพอโลยี ชุดปิดของเรามีรูปแบบโดยที่เป็นสูตร เราสามารถตรวจสอบได้ว่านี่เป็นโทโพโลยีอย่างแน่นอน:ΣF
- สูตรว่างเปล่าที่ไม่มีส่วนคำสั่งใดเป็นที่พอใจโดยการมอบหมายทั้งหมด; ดังนั้นถูกปิดΣ
- สูตรสำหรับใด ๆนั้นขัดแย้งกัน ดังนั้นถูกปิดx ∈ X ∅
- ปิดภายใต้ทางแยกโดยพลการ สมมติว่าเป็นสูตรสำหรับแต่ละตัว แล้ว(F_i)ฉัน∈ ฉันs T ( ⋃ ฉัน∈ ฉัน F ฉัน) = ⋂ ฉัน∈ ฉัน s T ( F ฉัน )
- ปิดภายใต้สหภาพที่แน่นอน สมมติว่าและเป็นสองสูตรและกำหนด
จากนั้นนี้ต้องการการโต้แย้ง แต่ฉันจะข้ามสิ่งนี้G F ∨ G : = { c ∨ ds a t ( F ∨ G ) = s a t ( F ) ∪ s a t ( G )
เรียกสิ่งนี้ว่าโครงสร้างที่ "satisfiability โทโพโลยี" (!) บน\ Sigma ของหลักสูตรที่เปิดชุดของ topology นี้ในรูปแบบ\ unsat (F) นอกจากนี้ผมสังเกตเห็นว่าคอลเลกชันเปิดชุด \ {\ unsat (c) \: \ ค \ {ข้อความเป็นประโยค} \} รูปแบบพื้นฐานสำหรับ\ mathcal T (ออกกำลังกาย) Σ u n s a t ( F ) { u n s a t ( c )T
ขนาดกะทัดรัด? ฉันรู้สึกว่านี่เป็นวิธีที่น่าสนใจหากไม่ได้มีประโยชน์มากนักในการมองสิ่งต่างๆ ฉันต้องการที่จะเข้าใจว่าพื้นที่ทอพอโลยีนี้มีคุณสมบัติที่น่าสนใจแบบดั้งเดิมเช่นความเป็นปึกแผ่น, การเชื่อมต่อ ฯลฯ ในโพสต์นี้เราจะ จำกัด ตัวเองให้แน่น:
ให้เป็นชุดของตัวแปรที่นับไม่ถ้วน 1Σ Tคือขนาดกะทัดรัดภายใต้ ?
หนึ่งสามารถพิสูจน์ได้ดังต่อไปนี้
เรื่อง มีขนาดกะทัดรัดหากเฉพาะสำหรับสูตรที่ไม่น่าพอใจทั้งหมดมีอยู่ subformula จำกัด unsatisfiableF
(ออกกำลังกายไม่ยากเลย!) หลังจากคิดมาหลายวันแล้วฉันไม่มีความก้าวหน้าในการตอบคำถามนี้มากนัก ฉันยังไม่มีหลักฐานที่ชัดเจนสำหรับหรือต่อต้านความเป็นปึกแผ่น คุณช่วยแนะนำวิธีการได้ไหม?
สุดท้ายเป็นคำถามโบนัส:
เคยมีการศึกษาโครงสร้างเช่นนี้มาก่อนหรือไม่?
1ข้อ จำกัด ในการนับเป็นเพียงความเรียบง่าย นอกจากนี้ยังให้ความรู้สึกเหมือนเป็นก้าวต่อไปตามธรรมชาติจากตัวแปรจำนวน จำกัด