ผลต่างระหว่างรุ่นของ "204512/บรรยาย 10"
Nut t02 (คุย | มีส่วนร่วม) |
Nut t02 (คุย | มีส่วนร่วม) (→Primal) |
||
แถว 195: | แถว 195: | ||
---- | ---- | ||
=== Primal === | === Primal === | ||
+ | :minimize: | ||
+ | ::[[ภาพ:Image015.png]] | ||
+ | :subject to: | ||
+ | ::[[ภาพ:Image034.png]] ; i = 1,…,m | ||
+ | ::xi ≥ 0 ; j = 1,…,n |
รุ่นแก้ไขเมื่อ 10:09, 2 กันยายน 2550
บันทึกโดย : นายณัฐพล หล่อศิริ 50653781 , ...
เนื้อหา
Linear Programming
Note Problem ต่างจาก Instant ของ Problem กล่าวคือ Problem จะเท่ากับ เซตของ Instant ของ Problem
Note ตัวแปรทั้งหมดเป็นตัวแปรแบบเวกเตอร์ เพราะฉะนั้นจะขอละ ไม่ใส่เครื่องหมายเวกเตอร์
Optimization Problem
Instant ของปัญหา Optimization Problem จะประกอบด้วย
- set F (เซตของคำตอบที่เป็นไปได้)
- function cost F→R (จำนวนจริง)
ต้องการหา f∈F และ cost (f) ≤ cost (y) , สำหรับทุกๆ y∈F
Linear Programming Problem
Instant ของ linear programming คือ จำนวนเต็มบวก n, m, c ∈ R^n, b ∈ R^m และเมตริกซ์ A ของจำนวนจริงขนาด m x n จะได้ว่า
- F = { x ← R^n :Ax = b , x ≥0 }
- Cost : x → c^Tx
- ตัวอย่าง
กำหนดให้ n = 3, m = 1
เขียนเป็นเมตริกซ์ ได้เป็น
- ตัวอย่าง
- การเขียนในรูปแบบ สมการ
- - การระบุเซต F (เป็น constraint ของปัญหา)
- x1 + x2 = 5
- x3 + x4 – x2 = 1
- x1 - x2 + x3 = 8
- x5 – x3 = 7
- xi ≥ 0 ทุกๆ 1 ≤ i ≤5
- - การระบุ c (เป็น objective ของปัญหา)
- minimize: x1 + x2 – x3 + 2x4 – 2x5
- การเขียนในรูปแบบ เมตริกซ์
Form ของ Linear Programming
Standard form
- เมตริกซ์
- minimize: cx
- subject to: Ax = b ; x ≥ 0
Canonical form
- เมตริกซ์
- minimize: cx
- subject to: Ax ≥ b ; x ≥ 0
- ตัวอย่าง
- เตรียมสอบมีเวลาอ่านหนังสือ 12 ชม. มี 3 วิชา Architect, Algo, Soft Com. อ่านอย่างน้อยวิชาละ 1 ชม., อ่าน architect & algo รวมกันไม่น้อยกว่า 5 ชม., อ่าน Soft Com. ไม่เกิน 8 ชม.
ถ้าให้
- x1 = เวลาอ่าน Architect
- x2 = เวลาอ่าน Algo
- x3 = เวลาอ่าน Soft Com.
ให้ความเหนื่อยในการอ่านเป็น x1 + 5x2 + 2x3
เป้าหมายคือ ต้องการอ่านหนังสือให้ได้ตามเงื่อนไข + ความเหนื่อยน้อยสุด
วิธีทำ
- minimize: x1 + 5x2 + 2x3
- subject to:
- x1 + x2 + x3 ≤ 12
- x1 ≥ 1
- x2 ≥ 1
- x3 ≥ 1
- x1 + x2 ≥ 5
- x1 , x2 , x3 ≥ 0
แปลงให้อยู่ในรูป canonical form การทำให้สมการที่เป็น ≤ ให้เป็น ≥ ให้หมดจะได้ว่า
- minimize: x1 + 5x2 + 2x3
- subject to:
- -x1 - x2 - x3 ≥ -12
- x1 ≥ 1
- x2 ≥ 1
- x3 ≥ 1
- x1 + x2 ≥ 5
- x1 , x2 , x3 ≥ 0
เขียนเป็น matrix ได้
- ตัวอย่าง
- บริษัทเช่าเต๊นท์มหาสนุกจำกัด
- กำหนด
- di ; i = 1, … ,12 เป็นจำนวนเต๊นท์ที่ต้องการในเดือนที่ i
- t0 ; เป็นจำนวนเต๊นท์ที่เหลือจากปีที่แล้ว
- cb ; ราคาซื้อเต๊นท์ / เต๊นท์
- cs ; ราคาขายเต๊นท์ / เต๊นท์
- ck ; ราคาเก็บเต๊นท์ที่ไม่ได้ใช้ / เดือน
- ตัวแปร
- t1 , … , t12 จำนวนเต๊นท์ที่เราครอบครองในเดือนที่ i
- b1 , … , b12 จำนวนเต๊นท์ที่ซื้อในเดือนที่ i
- s1 , … , s12 จำนวนเต๊นท์ที่ขายในเดือนที่ i
- k1 , … , k12 จำนวนเต๊นท์ในโกดังในเดือนที่ i
- จะได้ว่า
Note maximize เป็นส่วนกลับของ minimize สามารถแปลงกลับไปมาได้โดยเอา -1 คูณ
Shortest path in linear programming
- ตัวอย่าง
สมมติ path ดังรูป d1 = 0, ตัวแปร d1, … , d5 แทนระยะสั้นสุดจาก node 1 ไปยัง node ต่างๆ
ให้กราฟแบบมีทิศทาง G = (V,E) ความยาว l บนเส้นเชื่อม, จุดเริ่มต้น s∈V
ให้ dv แทนระยะสั้นสุดจาก s ไป v สำหรับ v∈V
จะได้ว่า
Integer Programming
- คือการบอกว่า constraint (subject to) มีการกำหนดให้เป็นจำนวนเต็มค่าใดค่าหนึ่ง
Assignment Problem
- ตัวอย่าง
- มีคน n คน มีงาน n งาน
- คนที่ i ทำงาน j ใช้เวลา w_ij หน่วย
วิธีทำ
Duality
- ตัวอย่าง
- minimize: 7x1 + x2 + 5x3
- subject to:
- x1 – x2 + 3x3 ≥ 10 …(1)
- 5x1 + 2x2 – x3 ≥ 6 …(2)
- x1, x2, x3 ≥ 0
- ค่า objective ของคำตอบที่ดีที่สุด = Z*
- สมมติ แล้วบอกได้ว่า Z* ≤ 30
- (1)x 2 + (2); 7x1 + 5x3 ≥ 26
- สังเกตว่าคล้ายๆ minimize เพราะฉะนั้นบอกได้ว่า lower bound เป็น 26
- (1)x y1 → y1x1 – y1x2 + 3y1x3 ≥ 10y1
- (2)x y2 → 5y2x1 + 2y2x2 – y2x3 ≥ 6y2
- ต้องการ สัมประสิทธิ์ของ x1 = 7, สัมประสิทธิ์ของ x2 = 1, สัมประสิทธิ์ของ x3 = 5
- เพราะฉะนั้นจะสร้าง linear program ได้อีกอันว่า
- maximize: 10y1 + 6y2
- subject to:
- y1 + 5y2 ≤ 7 …(3)
- -y1 + 2y2 ≤ 1 …(4)
- 3y1 - y2 ≤ 5 …(5)
- y1, y2 ≥ 0
- ค่า objective ของคำตอบที่ดีที่สุด = A*
- เพราะฉะนั้น A* = Z* จะเรียกว่า strong duality
- โดย
- สมการที่ (1), (2) จะเรียกว่า Primal
- สมการที่ (3), (4), (5) จะเรียกว่า Dual