TRAPEZOID METHOD FOR SOLVING SYSTEMS OF LINEAR INEQUALITIES AND ITS IMPLEMENTATION IN INSERTION MODELING

摘要

A new method for solving systems of linear inequalities (trapezoid method) is developed. The method involves constructing canonical forms of a system of linear inequalities. Canonical forms represent a partition of the convex polyhedron of solutions of the system into a union of disjoint trapezoids. The result of using this method is a set of basis vectors of the polyhedron of solutions. An insertion model of the algorithm is presented.