มันเป็นเกมที่ความพึงพอใจของเรียงลำดับข้อ จำกัดและมันก็เป็น PSPACE สมบูรณ์และได้รับการพิสูจน์แล้วว่าเป็น PSPACE สมบูรณ์เมื่อเร็ว ๆ นี้ ; หลักฐานสามารถพบได้ใน:
Lauri Ahlroth และ Pekka Orponen เกมความพึงพอใจของข้อ จำกัด ที่ไม่ได้สั่ง หมายเหตุการบรรยายในวิทยาการคอมพิวเตอร์ระดับ 7464, 2012, pp 64-75
นามธรรม:เราพิจารณาเกมความพึงพอใจข้อ จำกัด ของผู้เล่นสองคนในระบบของข้อ จำกัด บูลีนซึ่งผู้เล่นผลัดกันในการเลือกหนึ่งในตัวแปรที่มีอยู่และตั้งค่าเป็นจริงหรือเท็จโดยมีเป้าหมายในการเพิ่ม (สำหรับผู้เล่น I) หรือย่อเล็กสุด II) จำนวนข้อ จำกัด ที่น่าพอใจ แตกต่างจากเกมการกำหนดค่าตัวแปรประเภท QBF มาตรฐานเราไม่มีคำสั่งในการเล่นตัวแปร สิ่งนี้ทำให้การตั้งค่าเกมเป็นธรรมชาติมากขึ้น แต่ยังควบคุมได้ยากขึ้น เราจัดทำกลยุทธ์พหุนามเวลาการประมาณปัจจัยคงที่สำหรับผู้เล่น I เมื่อข้อ จำกัด คือฟังก์ชันพาริตีหรือฟังก์ชันขีด จำกัด ด้วยขีด จำกัด ที่มีขนาดเล็กเมื่อเทียบกับ arity ของข้อ จำกัด นอกจากนี้เรายังพิสูจน์ว่าปัญหาในการพิจารณาว่าผู้เล่นที่ฉันสามารถตอบสนองข้อ จำกัด ทั้งหมดนั้นเป็น PSPACE หรือไม่แม้ว่าจะอยู่ในการตั้งค่าแบบไม่มีการเรียงลำดับ
จากเนื้อหา:
...
ตัวอย่างทั่วไปของเกมความพึงพอใจที่ไม่มีข้อ จำกัด คือGame on Boolean Formulas ( GBF ) ตัวอย่างของเกมนี้กำหนดโดยชุดบูลีน m แบบไม่คงที่C= { c1, . . . , คม.} บนชุดตัวแปร n ทั่วไป X= { x1, . . . , xn}. เราอ้างถึงสูตรในCตามคำสั่งแม้ว่าเราไม่ได้กำหนดให้พวกเขาต้องแยกกัน
...
เกมต่อCดำเนินการเพื่อให้ผู้เล่นที่จะย้ายเลือกหนึ่งในตัวแปรที่ไม่ได้เลือกไว้ก่อนหน้านี้และกำหนดค่าความจริงให้กับมัน ผู้เล่นที่ฉันเริ่มและเกมจะจบลงเมื่อตัวแปรทั้งหมดได้รับการกำหนดค่า ในรุ่นการตัดสินใจของGBFคำถามคือว่าผู้เล่นที่ฉันมีกลยุทธ์การชนะที่ครอบคลุมซึ่งเธอสามารถทำให้ข้อทั้งหมดพอใจไม่ว่าผู้เล่นที่สองจะทำอะไร ในกรณีที่เป็นบวกเราบอกว่าอินสแตนซ์นั้นเป็นที่พอใจ GBF ..
...
ทฤษฎีบทที่ 4 : ปัญหาในการตัดสินใจความพึงพอใจของGBFของสูตรบูลีนคือ PSPACE-complete
EDIT: Daniel Grier's has found out that the result was also settled by Schaefer in the '70s, see his answer on this page for the reference (and upvote it :-). Schaefer proved that the game is still PSPACE-complete even if restricted to positive CNF formulas (i.e. propositional formulas in conjunctive normal form in which no negated variables occur) with at most 11 variables in each conjunction.