3
แสดงการดำเนินการเชิงตรรกะบูลีนในการโปรแกรมเชิงเส้นจำนวนเต็มศูนย์ (ILP)
ฉันมีโปรแกรม linear จำนวนเต็ม (ILP) ซึ่งมีตัวแปรบางตัวxixผมx_iที่มีวัตถุประสงค์เพื่อแสดงค่าบูลีน xixผมx_i 's มีข้อ จำกัด ที่จะเป็นจำนวนเต็มและจะถือ 0 หรือ 1 ( )0≤xi≤10≤xi≤10 \le x_i \le 1 ฉันต้องการแสดงการดำเนินการบูลีนกับตัวแปร 0/1 ที่มีค่าเหล่านี้โดยใช้ข้อ จำกัด เชิงเส้น ฉันจะทำสิ่งนี้ได้อย่างไร โดยเฉพาะอย่างยิ่งฉันต้องการตั้งค่า (บูลีน AND), (บูลีน OR) และ (บูลีน NOT) ฉันใช้การตีความที่ชัดเจนของ 0/1 เป็นค่าบูลีน: 0 = false, 1 = true ฉันจะเขียนข้อ จำกัด ของ ILP ได้อย่างไรเพื่อให้แน่ใจว่านั้นเกี่ยวข้องกับตามที่ต้องการ?y1=x1∧x2Y1=x1∧x2y_1 = x_1 \land …