Abstract:An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming where constraints are expressed by an orbit-finite system of linear inequalities. As our principal contribution we provide a decision procedure for checking if such a system has a real solution, and for computing the minimal/maximal value of a linear objective function over the solution set. We also show undecidability of these problems in case when only integer solutions are considered. Therefore orbit-finite linear programming is decidable, while orbit-finite integer linear programming is not.

What problem does this paper attempt to address?

The paper primarily addresses issues related to orbit-finite linear programming, specifically: 1. **Orbit-finite Linear Programming**: The paper studies a generalized form of linear inequalities where constraints are expressed through linear inequalities of orbit-finite systems. The main contribution is providing a decision procedure to check whether such systems have real solutions and to compute the minimum/maximum value of a linear objective function over the solution set. 2. **Solvability Problems**: Several different types of solvability problems are defined, including finding real or integer solutions for systems of orbit-finite linear inequalities (Ineq-Solv), and finding solutions for systems of linear equations among non-negative solutions (Nonneg-Eq-Solv). There are polynomial-time inter-reducibility relationships among these problems. 3. **Complexity Results**: - For the orbit-finite linear programming problem with real solutions (Fin-Ineq-Solv(R)), the paper proves that it is decidable with exponential time complexity (ExpTime), and for fixed atom dimensions, the complexity is polynomial time (PTime) (Theorem 18). - For the orbit-finite linear programming problem with integer solutions (Fin-Ineq-Solv(Z)), the paper proves it is undecidable (Theorem 19). - The problem of orbit-finite linear equations with non-negative integer solutions is decidable (Theorem 20). 4. **Optimization Problems**: For the case of real solutions, the paper also considers the maximization problem, i.e., given an instance of an orbit-finite linear programming problem, finding the maximum value of the objective function. In summary, the main goal of this paper is to address the solvability and optimization problems for real solutions within the framework of orbit-finite linear programming and to prove that the orbit-finite linear programming problem with integer solutions is undecidable.

Orbit-finite linear programming

Function spaces for orbit-finite sets

Polyhedral Feasible Set Computation of MPC-based Optimal Control Problems.

Orbit decidability, applications and variations

Constraint Qualifications for Extended Farkas'S Lemmas and Lagrangian Dualities in Convex Infinite Programming

Quasi-Slater And Farkas-Minkowski Qualifications For Semi-Infinite Programming With Applications

Constructively describing orbit spaces of finite groups by few inequalities

Constraint Qualifications for Optimality Conditions and Total Lagrange Dualities in Convex Infinite Programming

On the hardness of deciding the finite convergence of Lasserre hierarchies

Linear Programming on the Stiefel Manifold

Approximability of Integer Programming with Generalised Constraints

Orbit Problem Revisited

Deciding subspace reachability problems with application to Skolem's Problem

Termination of Linear Programs with Nonlinear Constraints

On unbounded polyhedral convex set optimization problems

Finitistic Spaces with the Orbit Space FP^n x S^m

Continuous-time Orbit Problems Are Decidable in Polynomial-Time

Orbits of Linear Series on the Projective Line

Data-driven optimal control via linear programming: boundedness guarantees

0-1 Integer Linear Programming with a Linear Number of Constraints