The mode assignment step boils down

The mode assignment step boils down to the assignment of a single mode from the set of modes to each activity while not violating the limited non-renewable resource availability constraints, and can be easily modeled as a Boolean satisfiability problem instance. The boolean satisfiability problem (SAT) is a well-known decision problem where an expression of boolean variables (referred to as literals) linked by means of the logical operators and, or and not is questioned to be true or false. The problem has been studied extensively in literature (see e.g. the paper by Marques-Silva and Sakallah (1999), amongst others) and is known to be NP-complete.

ผลลัพธ์ (ไทย) 1:

ขั้นตอนการกำหนดโหมดเดือดลงไปการกำหนดโหมดเดียวจากชุดของวิธีการแต่ละกิจกรรมในขณะที่ไม่ละเมิดข้อจำกัดทรัพยากรจำกัดไม่หมุนเวียนพร้อมใช้งาน และสามารถเป็นแบบจำลองได้เป็นอินสแตนซ์ที่ปัญหาบูล ปัญหาบูล (SAT) เป็นปัญหารู้จักตัดสินใจที่ค่าของตัวแปรบูลีน (เรียกว่าเป็นตัวอักษร) เชื่อมโยงโดยใช้ตัวดำเนินการตรรกะ และ หรือ และไม่ไต่สวนจะจริง หรือเท็จ ปัญหามีการศึกษาอย่างกว้างขวางในวรรณคดี (ดูเช่นกระดาษ Marques Silva และ Sakallah (1999), หมู่คนอื่น ๆ) และเป็นที่รู้จักจะ ทำ NP

ผลลัพธ์ (ไทย) 2:

ขั้นตอนการกำหนดโหมดเดือดลงไปโอนโหมดเดียวจากชุดรูปแบบกิจกรรมในแต่ละขณะที่ไม่ละเมิด จำกัด ทรัพยากรสิ้นเปลือง จำกัด พร้อมและสามารถจำลองได้อย่างง่ายดายเป็นเช่นปัญหา satisfiability บูลีน ปัญหา satisfiability บูล (SAT) เป็นปัญหาที่การตัดสินใจที่รู้จักกันดีที่การแสดงออกของตัวแปรบูลีน (เรียกว่าอักษร) ที่เชื่อมโยงโดยวิธีการของผู้ประกอบการเชิงตรรกะและหรือไม่ถามที่จะเป็นจริงหรือเท็จ ปัญหาที่เกิดขึ้นได้รับการศึกษาอย่างกว้างขวางในวรรณคดี (ดูเช่นกระดาษโดย Marques-ซิลวาและ Sakallah (1999), หมู่คนอื่น ๆ ) และเป็นที่รู้จักกัน NP-สมบูรณ์

ผลลัพธ์ (ไทย) 3:

โหมดภารกิจขั้นตอน boils ลงเพื่อการกำหนดโหมดเดียวจากชุดของโหมดแต่ละกิจกรรมในขณะที่ไม่ละเมิดไม่หมุนเวียนทรัพยากร จำกัด มีข้อจำกัด และสามารถได้อย่างง่ายดายปัญหาความสอดคล้องแบบบูลีน เป็นต้นปัญหาความสอดคล้องแบบบูล ( กกท. ) การตัดสินใจปัญหาที่รู้จักกันดีนิพจน์ตัวแปรบูลีนที่ ( เรียกว่า literals ) เชื่อมโยงโดยวิธีการของผู้ประกอบการและตรรกะหรือไม่ก็ถามจะเป็นจริงหรือเท็จ ปัญหาที่ได้รับการศึกษาอย่างกว้างขวางในวรรณคดี ( เช่นกระดาษและ Marques ซิลวา sakallah ( 1999 ) , ท่ามกลางคนอื่น ๆ ) และเป็นที่รู้จักกันเป็นเอ็นพีสมบูรณ์