1
ปรับปรุงการลดทั่วไปของ Cook สำหรับ Clique เป็น SAT หรือไม่
ฉันสนใจที่จะลด -Clique เป็น SAT โดยไม่ทำให้มีขนาดใหญ่ขึ้นkkk Clique อยู่ใน NP ดังนั้นจึงสามารถลดลงเป็น SAT โดยใช้พื้นที่ลอการิทึม การลดลงของตำราเรียนของ Garey / Johnson ตรงไปตรงมาจะทำให้อินสแตนซ์นั้นมีขนาดเป็นลูกบาศก์ อย่างไรก็ตาม -Clique อยู่ในทุก P คงที่kจึงมี "ควร" จะต้องมีการลดลงอย่างมีประสิทธิภาพอย่างน้อยคงที่kkkkkkkkkk วิธีหนึ่งในการสร้างการลดคือการใช้ตัวแปร SAT เป็นเวกเตอร์คุณลักษณะโดยมีตัวแปรที่ตั้งค่าเป็นจริงซึ่งบ่งชี้ว่าจุดสุดยอดที่เกี่ยวข้องอยู่ในกลุ่ม การลดลงนี้เป็นไปตามธรรมชาติ แต่จะสร้างอินสแตนซ์ SAT ของขนาดกำลังสองหากกราฟเบาบาง สำหรับกราฟที่กระจัดกระจายจำเป็นต้องใช้คำสั่งสองส่วนในการบังคับใช้ว่าในทุกคู่ของจุดยอดที่ไม่ติดกันที่จุดสุดยอดหนึ่งจุดอาจอยู่ในกลุ่ม ลองทำดีกว่า )O(n2)O(n2)O(n^2) การลดลงของCook / Schnorr / Pippenger / Fischer ทั่วไปโดยการใช้ NDTM แบบ จำกัด เวลาแบบ polynomially ซึ่งเป็นตัวตัดสินภาษาโดยการจำลอง NDTM ด้วย DTM …