We present a novel integer programm

We present a novel integer programming formulation for basic block instruction
scheduling on single-issue processors. The problem can be considered as a very
general sequential task scheduling problem with delayed precedence constraints.
Our model is based on the linear ordering problem and has, in contrast to the
last IP model proposed, numbers of variables and constraints that are strongly
polynomial in the instance size. Combined with improved preprocessing techniques
and given a time limit of ten minutes of CPU and system time, our branch-andcut
implementation is capable to solve all but eleven of the 369,861 basic blocks of
the SPEC 2000 integer and floating point benchmarks to proven optimality. This is
competitive to the current state-of-the art constraint programming approach that
has also been evaluated on this test suite.
©

ผลลัพธ์ (ไทย) 1:

เรานำเสนอเป็นนวนิยายจำนวนเต็มสูตรสำหรับบล็อกพื้นฐานสอนการเขียนโปรแกรมการจัดกำหนดการบนตัวประมวลผล single-issue ปัญหาสามารถถือได้ว่าเป็นการมากทั่วไปงานตามลำดับการวางปัญหาข้อจำกัดสำคัญล่าช้ารูปแบบของเราตามปัญหาสั่งเชิงเส้น และ มี ในการนำเสนอรุ่นสุดท้าย IP หมายเลขของตัวแปรและข้อจำกัดที่จะขอพหุนามในขนาดของอินสแตนซ์ รวมเทคนิคปรับปรุงการประมวลผลเบื้องต้นและกำหนดระยะเวลาสิบนาทีของ CPU และระบบเวลา สาขา andcut ของเราการใช้งานมีความสามารถในการแก้ปัญหาทั้งหมดแต่เอ็ดบล็อก 369,861 พื้นฐานของการจำนวนเต็ม 2000 สเปคและจุดลอยตัวกำหนด optimality พิสูจน์ นี้เป็นแข่งขันการปัจจุบันสถานะของในศิลปะการเขียนโปรแกรมจำกัดวิธีที่นอกจากนี้ยังได้ถูกประเมินค่าบนชุดทดสอบ©

ผลลัพธ์ (ไทย) 2:

เรานำเสนอสูตรการเขียนโปรแกรมจำนวนเต็มใหม่สำหรับการเรียนการสอนขั้นพื้นฐานบล็อก
การตั้งเวลาในการประมวลผลปัญหาเดียว ปัญหาที่เกิดขึ้นถือได้ว่าเป็นมาก
ปัญหาเวลางานลำดับทั่วไปที่มีข้อ จำกัด ความสำคัญล่าช้า.
แบบจำลองของเราจะขึ้นอยู่กับปัญหาการสั่งซื้อเชิงเส้นและมีในทางตรงกันข้ามกับ
รูปแบบ IP ล่าสุดที่นำเสนอตัวเลขของตัวแปรและข้อ จำกัด ที่มีการขอ
พหุนามใน ขนาดตัวอย่าง บวกกับเทคนิคการประมวลผลเบื้องต้นที่ดีขึ้น
และได้รับการกำหนดเวลาสิบนาทีของ CPU และระบบเวลา andcut สาขาของเรา
การดำเนินงานที่มีความสามารถในการแก้ปัญหาทั้งหมด แต่สิบเอ็ด 369,861 พื้นฐานของ
SPEC 2000 จำนวนเต็มและลอยมาตรฐานชี้ไปที่ optimality พิสูจน์แล้ว นี่คือ
การแข่งขันกับรัฐของข้อ จำกัด ศิลปะการเขียนโปรแกรมวิธีการปัจจุบันที่
ยังได้รับการประเมินในชุดทดสอบนี้.
©

ผลลัพธ์ (ไทย) 3:

เรานำเสนอนวนิยายเต็มสูตรสอนพื้นฐานการเขียนโปรแกรมบล็อกตารางบนโปรเซสเซอร์ ปัญหาเดียว ปัญหาที่ถือได้ว่าเป็นมากงานลำดับทั่วไปตารางปัญหาล่าช้า ข้อจำกัดความสําคัญนางแบบของเราจะขึ้นอยู่กับปัญหาเชิงเส้นและสั่งซื้อได้ในทางตรงกันข้ามกับสุดท้าย IP แบบเสนอ ตัวเลขของตัวแปรและข้อ จำกัด ที่ขอพหุนามตัวอย่างขนาด รวมกับเทคนิคการเตรียมการปรับปรุงและให้เวลาสิบนาทีของเวลา CPU และระบบ andcut สาขาของเราการดำเนินงานมีความสามารถที่จะแก้ปัญหาทั้งหมดสิบเอ็ด แต่ 369861 พื้นฐานของบล็อกสเป็ค 2000 จำนวนเต็มและลอยจุดมาตรฐานเพื่อพิสูจน์คุณภาพ . นี้คือแข่งขันกับสถานะปัจจุบันของศิลปะการเขียนโปรแกรมวิธีการที่จำกัดนอกจากนี้ยังได้ประเมินในชุดทดสอบนี้สงวนลิขสิทธิ์