ปัญหาการโปรแกรมเชิงเส้น: ค้นหาอัลกอริธึมเวลาพหุนามอย่างยิ่งสำหรับเมทริกซ์ A ∈ Rm × n และ b ∈ Rm กำหนดว่ามี x ∈ Rn กับ Ax ≥ b หรือไม่
ฉันรู้ว่า Steve Smale's แสดงปัญหาที่ยังไม่ได้แก้ในวิชาคณิตศาสตร์ แต่ปัญหาการเขียนโปรแกรมเชิงเส้นดังกล่าวเป็นจนถึงตอนนี้ไม่สามารถแก้ไขได้?
ปัญหาการเขียนโปรแกรมเชิงเส้นดูเหมือนจะได้รับการแก้ไขในเวลาพหุนามโดยใช้อัลกอริทึม Simplex มันเป็นเพียงหลักฐานที่ขาดหายไป บวกกับปัญหาที่อาจมีตัวอย่างเคาน์เตอร์ แต่พวกเขาดูเหมือนจะหายากมาก
—
gnasher729
@ gnasher729 มี counterexamples ที่รู้จักกันเช่นมีก้อน Klee-มิ้นต์ ในทางกลับกันมีอัลกอริธึมภายในจุดที่เรียกใช้ในเวลา (เบา ๆ ) พหุนาม
—
Tavian Barnes
เอกสารนี้เกี่ยวข้องกับ: cc.gatech.edu/~vempala/papers/affine.pdf
—
Erel Segal-Halevi