A Constructive Algorithm for Folding Large-Scale Systems of Linear Inequalities

被引：2
|
作者：
Lukatskii, A. M. [1 ]
Shapot, D. V. [1 ]
机构：
[1] Russian Acad Sci, Energy Res Inst, Moscow 117186, Russia
来源：
COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS | 2008年 / 48卷 / 07期
关键词：
convex polyhedra; linear inequalities; orthogonal projection method; Fourier-Chernikov algorithm; coordination of ranges; redundant inequalities; complete elimination of redundant inequalities; simplex method; elimination of redundant inequalities with coarsening; numerical experiments;
D O I：
10.1134/S0965542508070038
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
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.
引用
收藏
页码：1100 / 1112
页数：13
相关论文
共 50 条
  • [1] A constructive algorithm for folding large-scale systems of linear inequalities
    A. M. Lukatskii
    D. V. Shapot
    Computational Mathematics and Mathematical Physics, 2008, 48 : 1100 - 1112
  • [2] A greedy block Kaczmarz algorithm for solving large-scale linear systems
    Niu, Yu-Qi
    Zheng, Bing
    APPLIED MATHEMATICS LETTERS, 2020, 104
  • [3] AN ALGORITHM FOR SOLVING CERTAIN LARGE-SCALE SPARSE LINEAR-SYSTEMS
    ONG, HL
    ADVANCES IN ENGINEERING SOFTWARE AND WORKSTATIONS, 1989, 11 (02): : 71 - 74
  • [4] Solving Large-Scale Linear Systems of Equations by a Quantum Hybrid Algorithm
    Perelshtein, M. R.
    Pakhomchik, A., I
    Melnikov, A. A.
    Novikov, A. A.
    Glatz, A.
    Paraoanu, G. S.
    Vinokur, V. M.
    Lesovik, G. B.
    ANNALEN DER PHYSIK, 2022, 534 (07)
  • [5] Parallel multi-time-scale decomposition algorithm for large-scale linear systems
    Chen, Luping
    Xi, Yugeng
    Zhang, Zhongjun
    Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University, 1996, 30 (04): : 37 - 43
  • [6] A load balancing parallel algorithm for solving large-scale tridiagonal linear systems
    Tian, Min
    Qiao, Shan
    Wang, Junjie
    Du, Wei
    INTERNATIONAL CONFERENCE ON ALGORITHMS, HIGH PERFORMANCE COMPUTING, AND ARTIFICIAL INTELLIGENCE (AHPCAI 2021), 2021, 12156
  • [7] A GaBP-GPU algorithm of solving large-scale sparse linear systems
    Zheng, Hanyuan
    Song, Anping
    Liu, Zhixiang
    Xu, Lei
    Zhang, Wu
    Journal of Information and Computational Science, 2014, 11 (03): : 911 - 921
  • [8] ITERATIVE SOLUTION OF LARGE-SCALE LINEAR SYSTEMS
    LANCZOS, C
    JOURNAL OF THE SOCIETY FOR INDUSTRIAL AND APPLIED MATHEMATICS, 1958, 6 (01): : 91 - 109
  • [9] Linear Types for Large-Scale Systems Verification
    Li, Jialin
    Lattuada, Andrea
    Zhou, Yi
    Cameron, Jonathan
    Howell, Jon
    Parno, Bryan
    Hawblitzel, Chris
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
  • [10] Large-scale linear programming techniques for the design of protein folding potentials
    Michael Wagner
    Jarosław Meller
    Ron Elber
    Mathematical Programming, 2004, 101 : 301 - 318
12345