Solution Building for Arbitrary System of Linear Inequalities in an Explicit Form

The known Fourier-Chernikov algorithm of linear inequality system convolution is complemented with an original procedure of all dependent (redundant) inequalities deletion. The concept of “almost dependent ” inequalities is defined and an algorithm for further reducing the system by deletion of these is considered. The concluding algorithm makes it possible to hold actual-time convolution of a general inequality system containing up to 50 variables with the rigorous method of dependent inequalities deletion and up to 100 variables with the approximate method of one. The main ap-plication of such an approach consists in solving linear inequality system in an explicit form. These results are illus-trated with a series of computer experiments