ผลต่างระหว่างรุ่นของ "204512/บรรยาย 10"
Nut t02 (คุย | มีส่วนร่วม) |
Nut t02 (คุย | มีส่วนร่วม) |
||
แถว 229: | แถว 229: | ||
:::[[ภาพ:Image043.png]] [[ภาพ:Image044.png]] | :::[[ภาพ:Image043.png]] [[ภาพ:Image044.png]] | ||
:::[[ภาพ:Image045.png]] d<sub>e</sub> ≥ 0 | :::[[ภาพ:Image045.png]] d<sub>e</sub> ≥ 0 | ||
+ | |||
+ | :ดังนั้นสรุปได้ว่า ''Min Cut'' เป็น '''Dual''' ของ ''Max Flow'' | ||
+ | |||
+ | |||
+ | ;<u>'''ตัวอย่าง'''</u>: | ||
+ | :''primal'' | ||
+ | ::minimize: 2x<sub>1</sub> + 5x<sub>2</sub> | ||
+ | ::subject to: | ||
+ | :::x<sub>1</sub> + x<sub>2</sub> ≥ 5 …y1 | ||
+ | :::-x<sub>1</sub> + x<sub>2</sub> ≥ -1 …y2 | ||
+ | :::x<sub>1</sub> + 2x<sub>2</sub> ≥ 4 …y3 | ||
+ | :::x<sub>1</sub>, x<sub>2</sub> ≥ 0 | ||
+ | |||
+ | :แปลงเป็น dual ได้ว่า | ||
+ | |||
+ | :''dual'' | ||
+ | ::maximize: 5y<sub>1</sub> – y<sub>2</sub> + 4y<sub>3</sub> | ||
+ | ::subject to: | ||
+ | :::y<sub>1</sub> – y<sub>2</sub> + y<sub>3</sub> ≤ 2 | ||
+ | :::y<sub>1</sub> + y<sub>2</sub> + 2y<sub>3</sub> ≤ 5 | ||
+ | :::y<sub>1</sub>, y<sub>2</sub>, y<sub>3</sub> ≥ 0 |
รุ่นแก้ไขเมื่อ 10:44, 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
Primal Linear Programming
Dual Linear Programming
Max flow & Min Cut
ให้ P แทนเซตของ simple path ทั้งหมดจาก s ไป t สำหรับ path p∈P มี ตัวแปร fp แทนปริมาณ flow ใน path นั้น
- ดังนั้นสรุปได้ว่า Min Cut เป็น Dual ของ Max Flow
- ตัวอย่าง
- primal
- minimize: 2x1 + 5x2
- subject to:
- x1 + x2 ≥ 5 …y1
- -x1 + x2 ≥ -1 …y2
- x1 + 2x2 ≥ 4 …y3
- x1, x2 ≥ 0
- แปลงเป็น dual ได้ว่า
- dual
- maximize: 5y1 – y2 + 4y3
- subject to:
- y1 – y2 + y3 ≤ 2
- y1 + y2 + 2y3 ≤ 5
- y1, y2, y3 ≥ 0