A constructive algorithm for folding large-scale systems of linear inequalities
Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 48 (2008) no. 7, pp. 1167-1180
Voir la notice de l'article provenant de la source Math-Net.Ru
The conventional procedure for folding a system of linear inequalities based on the Fourier–Chernikov algorithm is supplemented with techniques for eliminating redundant inequalities, which considerably counteracts the increase in the system dimension. Exact and approximate methods are proposed, which are brought to algorithmic form and software implementation. Numerical results are discussed.
@article{ZVMMF_2008_48_7_a2,
author = {A. M. Lukatskii and D. V. Shapot},
title = {A~constructive algorithm for folding large-scale systems of linear inequalities},
journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
pages = {1167--1180},
publisher = {mathdoc},
volume = {48},
number = {7},
year = {2008},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZVMMF_2008_48_7_a2/}
}
TY - JOUR AU - A. M. Lukatskii AU - D. V. Shapot TI - A constructive algorithm for folding large-scale systems of linear inequalities JO - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki PY - 2008 SP - 1167 EP - 1180 VL - 48 IS - 7 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZVMMF_2008_48_7_a2/ LA - ru ID - ZVMMF_2008_48_7_a2 ER -
%0 Journal Article %A A. M. Lukatskii %A D. V. Shapot %T A constructive algorithm for folding large-scale systems of linear inequalities %J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki %D 2008 %P 1167-1180 %V 48 %N 7 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZVMMF_2008_48_7_a2/ %G ru %F ZVMMF_2008_48_7_a2
A. M. Lukatskii; D. V. Shapot. A constructive algorithm for folding large-scale systems of linear inequalities. Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 48 (2008) no. 7, pp. 1167-1180. http://geodesic.mathdoc.fr/item/ZVMMF_2008_48_7_a2/