with xi a 0/1 variable of sub-activ

with xi a 0/1 variable of sub-activity i to denote whether the mode has been assigned (1, true) or not (0, false). All mode assignment constraints can be easily translated into the CNF where the 0/1 xi variables are now boolean variables (literals). The non-renewable resource constraint is known as a pseudo boolean constraint. These type of constraints can be solved by a pseudo boolean solver ( Chai and Kuehlmann, 2005 and Markov et al., 2002) or can be translated into the CNF ( Bailleux et al., 2006). However, the non-renewable resource constraint also contains activity information (e.g. x1 and x2 are variables from the same activity and hence, only one variable can be set to true), but none of the previous methods takes this additional information into account. The enumeration scheme of Section 3.1.1 translates the pseudo boolean non-renewable resource constraints into CNF using this extra activity information. The mode assignment constraints can be translated into CNF as follows.

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

มีสิตัวแปร 0/1 กิจกรรมย่อยเป็นแสดงว่า โหมดได้ (1, true) หรือไม่ (0, false) ข้อจำกัดการกำหนดโหมดทั้งหมดสามารถถูกแปลเป็น CNF ที่ตัวแปร xi 0/1 อยู่ตอนนี้ตัวแปรบูลีน (ตัวอักษร) ได้ง่าย ข้อจำกัดของทรัพยากรที่ไม่หมุนเวียนเรียกว่าหลอกบูจำกัด ชนิดของข้อจำกัดเหล่านี้สามารถแก้ไขได้ โดยการหลอกบู solver (ชัย และ Kuehlmann, 2005 และ Markov และ al., 2002) หรือสามารถแปลเป็น CNF (Bailleux และ al., 2006) อย่างไรก็ตาม ข้อจำกัดทรัพยากรไม่หมุนเวียนยังประกอบด้วยข้อมูลกิจกรรม (เช่น x 1 และ x 2 มีตัวแปรจากกิจกรรมเดียวกัน และสามารถกำหนดตัวแปรเดียวดังนั้น ให้เป็น true), แต่ไม่มีวิธีก่อนหน้านี้ใช้ข้อมูลนี้เพิ่มเติมเข้าบัญชี ระบุโครงร่างของส่วน 3.1.1 แปลข้อจำกัดทรัพยากรไม่หมุนเวียนบูหลอกใน CNF ใช้ข้อมูลกิจกรรมพิเศษนี้ ข้อจำกัดการกำหนดโหมดสามารถถูกแปลใน CNF ดัง

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

กับจิน 0/1 ตัวแปรของกิจกรรมย่อยฉันเพื่อแสดงว่าโหมดได้รับมอบหมาย (1, จริง) หรือไม่ (0, เท็จ) ข้อ จำกัด ที่ได้รับมอบหมายโหมดทั้งหมดสามารถแปลได้อย่างง่ายดายใน CNF ที่ 0/1 ตัวแปรจินอยู่ในขณะนี้ตัวแปรบูลีน (ตัวอักษร) ข้อ จำกัด ทรัพยากรสิ้นเปลืองเป็นที่รู้จักกันบูล จำกัด หลอก ประเภทของข้อ จำกัด เหล่านี้สามารถแก้ไขได้โดยการแก้บูลหลอก (ชัยและ Kuehlmann 2005 และมาร์คอฟ et al., 2002) หรือสามารถแปลเป็​​น CNF (Bailleux et al., 2006) อย่างไรก็ตามข้อ จำกัด ทรัพยากรสิ้นเปลืองยังมีข้อมูลกิจกรรม (เช่น x1 และ x2 เป็นตัวแปรจากกิจกรรมเดียวกันและด้วยเหตุนี้เพียงหนึ่งตัวแปรสามารถกำหนดให้เป็นความจริง) แต่ไม่มีวิธีการก่อนหน้านี้ใช้เวลาข้อมูลเพิ่มเติมนี้ในบัญชี โครงการนับมาตรา 3.1.1 แปลข้อ จำกัด ของทรัพยากรหลอกบูลไม่หมุนเวียนเข้า CNF ใช้ข้อมูลนี้กิจกรรมพิเศษ ข้อ จำกัด ที่ได้รับมอบหมายโหมดสามารถแปลเป็​​น CNF ดังต่อไปนี้

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

กับซีเป็น 0 / 1 ตัวแปรของกิจกรรมย่อยผมเพื่อแสดงว่าโหมดที่ได้รับมอบหมาย ( 1 , true ) หรือ ไม่ใช่ ( 0 , เท็จ ) ทั้งหมดข้อจำกัดงานโหมดสามารถแปลเป็น CNF ที่ 0 / 1 11 ตัวแปร ตัวแปรบูลีน ( ตอนนี้ literals ) ที่ไม่หมุนเวียนทรัพยากรจำกัด เรียกว่าข้อจำกัดบูลีนหลอกเหล่านี้ประเภทของปัญหาจะสามารถแก้ไขได้โดยแก้บูลีนเทียม ( ไชย kuehlmann 2005 และมาร์คอฟ et al . , 2002 ) หรือสามารถแปลเป็น CNF ( bailleux et al . , 2006 ) อย่างไรก็ตาม ไม่หมุนเวียนทรัพยากรจำกัดยังประกอบด้วยข้อมูลกิจกรรม ( เช่น X1 และ X2 ตัวแปรจากกิจกรรมเดียวกันและด้วยเหตุนี้เพียงตัวแปรเดียวที่สามารถตั้งค่าให้จริง )แต่ไม่มีวิธีการที่ก่อนหน้านี้ใช้ข้อมูลเพิ่มเติมนี้ลงในบัญชี การแจงนับของโครงการส่วน 3.1.1 แปลหลอกไม่หมุนเวียนทรัพยากรจำกัดในตรรกะ CNF โดยใช้ข้อมูลกิจกรรมพิเศษนี้ โหมดภารกิจเงื่อนไข CNF สามารถแปลเป็นดังนี้