Slack Variables?

[Oriel]

การใช้ slack variable เป็นเทคนิคที่ใช้ในการใช้แก้อสมการสำหรับโจทย์แบบไหนครับ ผมอยากหัดใช้ (ใช้ไม่เป็น)
ตัวอย่างได้ยิ่งดีครับ ^^

[Keehlzver]

ทุกจำนวนจริงจะมีพิกัดบนเส้นจำนวนจริงซึ่งสามารถแทนได้ด้วย "จุด"

สมมติให้ $s,t$ เป็นจำนวนจริงบวกที่ $s>t$ เมื่อมันเป็นจำนวนจริง มันย่อมแทนได้ด้วยจุดบนเส้นจำนวนจริง
สมมติให้ $s$ อยู่ทางขวามากกว่า $t$
slack varieble คือการทำให้อสมการกลายเป็นสมการ
เพราะฉะนั้น อสมการ $s>t$ สามารถทำให้เป็นสมการได้ โดยการเลื่อนจุดที่แทนด้วย t บนเส้นจำนวนด้วย "ระยะทาง" ค่าหนึ่งให้ไปตกบนจุดเดียวกันกับ $s$ ที่อยู่ทางขวามากกว่า สมมติให้ระยะทางดังกล่าวเป็น $k$

จากเดิม อสมการ $s>t$ จะเปลี่ยนเป็นสมการ $t+k=s$ โดยที่ $k>0$ การแปลงแบบนี้เราเรียกว่า slack varieble

ตัวอย่างการใช้หาได้ทั่วๆไปครับ (อย่างในคอมบิก็มีใช้นับจำนวนคำตอบของสมการ)