ปัญหาความสอดคล้องแบบบูล หรือ SAT (อังกฤษ: Boolean satisfiability) เป็นปัญหาการตัดสินใจอย่างหนึ่งที่ถูกกล่าวถึงบ่อย ๆ ในศาสตร์ทางด้านทฤษฎีความซับซ้อนในการคำนวณ ตัวอย่างของปัญหา (instance) สำหรับปัญหานี้ก็คือ นิพจน์บูลีน (boolean expression) ที่ประกอบด้วยตัวแปร ตัวเชื่อมต่าง ๆ และวงเล็บ ปัญหานี้ถามคำถามที่ว่า สำหรับนิพจน์บูลีนที่กำหนด เราสามารถทำให้นิพจน์เป็นจริงโดยการกำหนดค่าให้กับตัวแปรได้หรือไม่
ในกรณีที่เราสามารถกำหนดค่าความจริงให้กับตัวแปรแล้วทำให้นิพจน์เป็นจริงได้ เราจะกล่าวว่านิพจน์นั้น สามารถทำให้เป็นจริงได้ (satisfiable) ปัญหา SAT จัดอยู่ในกลุ่มของปัญหาเอ็นพีบริบูรณ์ (NP-complete)
ในบางครั้งเราอาจจะสนใจศึกษาความซับซ้อนของรูปแบบที่ต่างกันออกไปของปัญหา SAT ยกตัวอย่างเช่นปัญหา SAT แบบที่นิพจน์บูลีนอยู่ในรูปมาตรฐานแบบเชื่อม (หรือ Conjunctive Normal Form---CNF) ในกรณีนี้ถ้าแต่ละประพจน์เลือก (disjunct) ประกอบด้วยตัวแปรไม่เกิน 3 ตัวแปรเราจะเรียกปัญหาว่า 3-SAT ซึ่งเป็นปัญหาเอ็นพีบริบูรณ์เช่นเดียวกัน อย่างไรก็ตาม ในกรณีที่ตัวแปรในแต่ละประพจน์เลือกมีไม่เกิน 2 ตัวแปร (เรียกว่าปัญหา 2-SAT) นั้น เรามีอัลกอริธึมที่มีประสิทธิภาพในการแก้ปัญหาได้ นั่นก็คือ หรือหากจะพูดให้ชัดเจนกว่านั้น (ทั้งนี้เนื่องจากขั้นตอนวิธีที่ใช้แก้ปัญหา 2-SAT เป็นขั้นตอนวิธีที่ทำงานโดยใช้เนื้อที่เป็นลอการิธึมบนเครื่องจักรทัวริงเชิงไม่กำหนดเท่านั้น)
ความยากของปัญหา ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มข้อมูลส่วนนี้ได้ |
ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มข้อมูลส่วนนี้ได้ |
ญหาความสอดคล, องแบบบ, บทความน, ไม, การอ, างอ, งจากแหล, งท, มาใดกร, ณาช, วยปร, บปร, งบทความน, โดยเพ, มการอ, างอ, งแหล, งท, มาท, าเช, อถ, เน, อความท, ไม, แหล, งท, มาอาจถ, กค, ดค, านหร, อลบออก, เร, ยนร, าจะนำสารแม, แบบน, ออกได, อย, างไรและเม, อไร, งก, ามภาษา, ในบ. bthkhwamniimmikarxangxingcakaehlngthimaidkrunachwyprbprungbthkhwamni odyephimkarxangxingaehlngthimathinaechuxthux enuxkhwamthiimmiaehlngthimaxacthukkhdkhanhruxlbxxk eriynruwacanasaraemaebbnixxkidxyangiraelaemuxir lingkkhamphasa inbthkhwamni miiwihphuxanaelaphurwmaekikhbthkhwamsuksaephimetimodysadwk enuxngcakwikiphiediyphasaithyyngimmibthkhwamdngklaw krann khwrribsrangepnbthkhwamodyerwthisudpyhakhwamsxdkhlxngaebbbul hrux SAT xngkvs Boolean satisfiability epnpyhakartdsinicxyanghnungthithukklawthungbxy insastrthangdanthvsdikhwamsbsxninkarkhanwn twxyangkhxngpyha instance sahrbpyhanikkhux niphcnbulin boolean expression thiprakxbdwytwaepr twechuxmtang aelawngelb pyhanithamkhathamthiwa sahrbniphcnbulinthikahnd erasamarththaihniphcnepncringodykarkahndkhaihkbtwaepridhruximinkrnithierasamarthkahndkhakhwamcringihkbtwaepraelwthaihniphcnepncringid eracaklawwaniphcnnn samarththaihepncringid satisfiable pyha SAT cdxyuinklumkhxngpyhaexnphibriburn NP complete inbangkhrngeraxaccasnicsuksakhwamsbsxnkhxngrupaebbthitangknxxkipkhxngpyha SAT yktwxyangechnpyha SAT aebbthiniphcnbulinxyuinrupmatrthanaebbechuxm hrux Conjunctive Normal Form CNF inkrninithaaetlapraphcneluxk disjunct prakxbdwytwaeprimekin 3 twaepreracaeriykpyhawa 3 SAT sungepnpyhaexnphibriburnechnediywkn xyangirktam inkrnithitwaeprinaetlapraphcneluxkmiimekin 2 twaepr eriykwapyha 2 SAT nn eramixlkxrithumthimiprasiththiphaphinkaraekpyhaid nnkkhux 2 S A T P displaystyle 2SAT in P hruxhakcaphudihchdecnkwann 2 S A T N L P displaystyle 2SAT in NL subseteq P thngnienuxngcakkhntxnwithithiichaekpyha 2 SAT epnkhntxnwithithithanganodyichenuxthiepnlxkarithumbnekhruxngckrthwringechingimkahndethann khwamyakkhxngpyha aekikhswnnirxephimetimkhxmul khunsamarthchwyephimkhxmulswnniidkhntxnwithithiichsahrbpyha aekikhswnnirxephimetimkhxmul khunsamarthchwyephimkhxmulswnniid bthkhwamekiywkbkhxmphiwetxr xupkrntang hruxekhruxkhayniyngepnokhrng khunsamarthchwywikiphiediyidodyephimkhxmul duephimthi sthaniyxy ethkhonolyisarsnethsekhathungcak https th wikipedia org w index php title pyhakhwamsxdkhlxngaebbbul amp oldid 4700014, wikipedia, วิกิ หนังสือ, หนังสือ, ห้องสมุด,
บทความ
, อ่าน, ดาวน์โหลด, ฟรี, ดาวน์โหลดฟรี, mp3, วิดีโอ, mp4, 3gp, jpg, jpeg, gif, png, รูปภาพ, เพลง, เพลง, หนัง, หนังสือ, เกม, เกม
