lineáris kényszer

Rövid szöveges bemutatás: 
A lineáris kényszerek olyan kényszerek a változók között, melyek lineáris matematikai függvényeket használnak. Ilyen kényszer az összeadás, kivonás, szorzás, stb... típus. Azért érdemes ilyen kényszereket használni mert az ütemező rendszer kevés erőforrás használattal tudja értelmezni és megfelelően ütemezni a változók értékadását. Egy ilyen kényszer például: x1 * 78 + 9 < x2. Lineáris kényszer nem csak matematikai formulákban hane, gráfokban, nyelvtani feladatokban és még számos helyen szerepelhet.