การเพิ่มประสิทธิภาพแบบโค้งเว้า
หลักสูตรระดับปริญญาโทที่ครอบคลุมและละเอียดอ่อน พร้อมด้วยหนังสือเรียน เกี่ยวกับทฤษฎี แอปพลิเคชัน และอัลกอริธึมเชิงตัวเลขของปัญหาการเพิ่มประสิทธิภาพแบบโค้งเว้า (Convex Optimization) โดยเน้นการระบุและจัดรูปแบบปัญหาโค้งเว้าในวิศวกรรมและสาขาวิทยาศาสตร์
ภาพรวมคอร์สเรียน
สรุปเนื้อหา
หลักสูตรระดับปริญญาเอกที่ครอบคลุมและลึกซึ้งเกี่ยวกับทฤษฎี แอปพลิเคชัน และอัลกอริธึมเชิงตัวเลขของปัญหาการเพิ่มประสิทธิภาพแบบเว้า (Convex Optimization) โดยเน้นการรู้จำและตั้งรูปแบบปัญหาเว้าในวิศวกรรมและศาสตร์ต่างๆ
เรียนรู้พื้นฐานทางคณิตศาสตร์และอัลกอริธึมเชิงปฏิบัติของการเพิ่มประสิทธิภาพแบบเว้า เพื่อนำไปใช้ในงานด้านวิศวกรรมและวิทยาศาสตร์ข้อมูล
ผู้เขียน: สเตฟาน โบลด์, ไลเวิน แวนเดนเบิร์กเฮ
คำขอบคุณ: ได้รับการสนับสนุนจากองค์กรสนับสนุนการวิจัยแห่งชาติ (NSF) และจากความร่วมมือของนักศึกษาและเพื่อนร่วมงานที่มหาวิทยาลัยสแตนฟอร์ดและยูซีแอลเอ โดยเฉพาะอย่างยิ่ง อาคัดี เนมิโรฟสกี และ กิชัน บาเฮตี
เป้าหมายการเรียนรู้
- นิยามองค์ประกอบของปัญหาการเพิ่มประสิทธิภาพเชิงคณิตศาสตร์ ได้แก่ ฟังก์ชันเป้าหมาย ข้อจำกัด และตัวแปร
- แยกแยะระหว่างปัญหาการหาค่าต่ำสุดกำลังสอง (Least-squares), การโปรแกรมเชิงเส้น (Linear Programming), และการเพิ่มประสิทธิภาพแบบเว้า ตามลักษณะทางคณิตศาสตร์ของแต่ละประเภท
- เปรียบเทียบกลยุทธ์การเพิ่มประสิทธิภาพแบบท้องถิ่น (Local) และแบบทั่วไป (Global) และประเมินความซับซ้อนทางการคำนวณที่เกี่ยวข้องกับแต่ละแนวทาง
- นิยามและแยกแยะชุดเชิงเส้น (Affine sets), ชุดเว้า (Convex sets), และทรงกรวย (Cones) โดยใช้สัญลักษณ์เชิงรวมทางคณิตศาสตร์
- ระบุและแสดงชุดเว้ามาตรฐาน เช่น ลูกบอลยูคลิด (Euclidean balls), รูปไข่ (Ellipsoids), พหุภาค (Polyhedra), และทรงกรวยเชิงบวก-กึ่งแน่นอน (Positive semidefinite cone)
- ประยุกต์ใช้การดำเนินการที่คงความเว้า เช่น การตัดกัน การแปลงเชิงเส้น และฟังก์ชันพิสท์ (Perspective functions) เพื่อยืนยันคุณสมบัติของชุด
- ระบุและประยุกต์ใช้การดำเนินการที่คงความเว้า เช่น การรวมกันแบบจุดต่อจุดของฟังก์ชันเชิงเส้น และกฎการประกอบเวกเตอร์
- หาฟังก์ชันคอนจูเกตของลากรังจ์ (Lagrange conjugate) ของฟังก์ชันต่างๆ และนำไปใช้กับอสมการยัง (Young's inequality)
- อธิบายลักษณะของความเว้าเชิงไม่ชัดเจน (Quasiconvexity) โดยใช้เซตระดับต่ำ (Sublevel sets) และเงื่อนไขอนุพันธ์ลำดับที่หนึ่ง/สอง
- ตั้งรูปและเปลี่ยนรูป: แปลงปัญหาการเพิ่มประสิทธิภาพจากสถานะดิบให้อยู่ในรูปมาตรฐานแบบเว้า โดยใช้ตัวแปรเสริม (slack variables) และการกำจัดข้อจำกัด