แก้ปัญหาระบบความไม่เท่าเทียมเชิงเส้นที่เข้มงวดอย่างมีประสิทธิภาพด้วยสัมประสิทธิ์ทั้งหมดเท่ากับ 1 โดยไม่ต้องใช้ตัวแก้ LP ทั่วไปหรือไม่?


9

นอกเหนือจากการใช้ตัวแก้จุดมุ่งหมายทั่วไปของ LP มีวิธีการแก้ปัญหาความไม่เท่าเทียมของตัวแปรโดยที่ความไม่เท่าเทียมกันมีรูปแบบ ? แล้วกรณีพิเศษของความไม่เท่าเทียมกันที่รวมกันเป็นผลรวมของจำนวนสมาชิกของชุดพลังของ ?xi,,xkiIxi<jJxj{xi,,xk}


4
@Ankur: ไม่สำคัญว่าจะเป็นจำนวนเต็มหรือ reals หากสิ่งเหล่านี้มีความไม่เท่าเทียมกันอย่างเข้มงวดคุณสามารถปัดมันเป็น rationals แล้วคูณพวกมันด้วยตัวหารร่วมน้อยที่สุดเพื่อหาวิธีแก้ปัญหาจำนวนเต็ม
Peter Shor

6
ฉันไม่รู้ว่าคุณสามารถโค้ดใน 30 นาที (ในภาษาใด) ถ้านั่นเป็นเกณฑ์สำหรับ "ง่าย" นี่เป็นคำถามทางวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีหรือไม่?
Tsuyoshi Ito

1
จุดดี Peter Shor ฉันเอาข้อความของฉันกลับมา ฉันคิดว่าปัญหา combinatorial ในการทำให้ความไม่เท่าเทียมที่เข้มงวดเหล่านี้และปัญหาการวิเคราะห์นูนของการหาจุดภายในของกรวยนั้นแตกต่างกันในเชิงคุณภาพ ฉันผิดไป.
Ankur

1
@Tsuyoshi: ไม่จำเป็นต้องมีเรื่องไร้สาระ แต่ฉันอยากรู้ว่าสิ่งนี้สามารถทำได้จากหลักการแรกโดยไม่ต้องใช้พลังพิเศษทั้งหมดของตัวแก้ปัญหา LP ทั้งหมดโดยเฉพาะอย่างยิ่งกรณีพิเศษที่เรามีการสั่งซื้อ ของผลรวมย่อยทั้งหมด (หมายเหตุในกรณีนี้เวลาพหุนามเป็นเลขชี้กำลังเป็นจำนวนตัวแปร)
เบื่อ

3
จากนั้นฉันคิดว่า“ ปัญหานี้สามารถแก้ไขได้อย่างมีประสิทธิภาพโดยไม่ต้องใช้อัลกอริธึมทั่วไปสำหรับการเขียนโปรแกรมเชิงเส้นหรือไม่” เป็นวิธีที่ดีในการกำหนดคำถามของคุณให้ดีขึ้น
Tsuyoshi Ito

คำตอบ:


9

สำหรับคำถามแรกของคุณหากไม่มีคำสั่งซื้อทั้งหมดคำตอบสำหรับคำถามของคุณคือการเขียนโปรแกรมเชิงเส้นเป็นเรื่องยาก นี่คือโครงร่างของการพิสูจน์

อันดับแรกให้สร้างตัวแปรซึ่งเราเรียกว่า\ตอนนี้ขอเลือกตัวแปรอื่นซึ่งเราจะเรียก1เราต้องการให้แน่ใจว่า หากต้องการทำสิ่งนี้ให้พิจารณาความไม่เท่าเทียม และอื่น ๆ ด้วยห่วงโซ่ที่ยาวพอนี่จะบอกเราว่าหรือสำหรับมีขนาดใหญ่มากบางตัว(คือหมายเลขฟีโบนักชีและเติบโตขึ้นอย่างมากใน )x1>0ϵxi1

ϵ1.
x1<x2,
x1+x2<x3,
x2+x3<x4,
Nx1<xiϵ<1/NNNi

ตอนนี้เราสามารถผลิตโปรแกรมเชิงเส้นพร้อมค่าสัมประสิทธิ์จำนวนเต็ม ถ้าเราต้องการค่าสัมประสิทธิ์ของ 3 บนเราเพิ่มความไม่เท่าเทียมกัน และให้ยืน ใน 3 x_tหากคุณต้องการสัมประสิทธิ์ที่มากขึ้นคุณสามารถรับได้โดยการแสดงสัมประสิทธิ์ในรูปแบบเลขฐานสองและสร้างความไม่เท่าเทียมกันที่รับประกันว่า ,และอื่น ๆ เพื่อให้ได้ทางขวามือเราจะทำเช่นเดียวกันกับตัวแปรxt

xt<xt<xt<xt+ϵ
xt+xt+xtxtxu2xtxv2xuxi=1. เทคนิคนี้จะช่วยให้เราใช้โปรแกรมเชิงเส้นในรูปแบบของ OP เพื่อประมาณความเป็นไปได้ในการตรวจสอบโปรแกรมเชิงเส้นโดยมีค่าสัมประสิทธิ์จำนวนเต็มซึ่งเป็นงานที่ยากเหมือนการเขียนโปรแกรมเชิงเส้น

ฉันไม่ทราบวิธีวิเคราะห์คำถามที่สองถามเกี่ยวกับกรณีที่มีคำสั่งซื้อทั้งหมดในชุดย่อยทั้งหมด

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.