Math-15777 · mathematics · Miscellaneous

Math-15777

Resource-Capacity Formulations and Relax-and-Fix Heuristics

Status Partially solved · unsolvedmath.comLLM status Open unverified

Top Open Problems Not reported cataloguedPartially solvedOpen

Statement

Definitions and mathematical statement

Research problem. Find tighter formulations for resource-capacity constraints in mixed-integer supply-chain optimization, and determine how relax-and-fix heuristics can be combined with RINS. The source specifies no particular supply-chain model, resource system, objective, or guarantee, so the request concerns model-dependent formulations and algorithms.

For a fixed model, let $F\subset{\mathbb{R}}^p\times{\mathbb{Z}}^q$ denote its feasible decisions. A formulation must preserve $F$, including the resource-capacity restrictions. To compare two formulations with continuous relaxation polyhedra $P_1,P_2$, project them to the same original decision space by $\pi_1,\pi_2$. One precise meaning of a tighter relaxation is $\operatorname{conv}(F)\subseteq\pi_2(P_2)\subseteq\pi_1(P_1)$, with strict improvement on relevant instances; strengthening a relaxation must not delete feasible integral decisions. This interpretation does not specify which valid inequalities or additional variables work for the omitted model.

Relax-and-fix partitions the integer variables, imposes integrality on selected blocks while temporarily relaxing others, and fixes decisions progressively. RINS (relaxation-induced neighborhood search) uses a feasible incumbent and a relaxation solution to define a restricted mixed-integer neighborhood, typically fixing integer variables on which the two solutions agree. The problem asks for effective combinations of these mechanisms, including how blocks, fixing decisions, and neighborhoods should interact. Performance criteria, feasibility recovery, computational budgets, and any approximation or optimality theorem remain to be specified; fixing variables heuristically by itself guarantees neither feasibility of all later subproblems nor global optimality.

The supplied assessment dated 2026-08-21 calls this partially solved: tighter capacity formulations and combinations of relax-and-fix, RINS, fix-and-optimize, and related matheuristics are widely developed for particular mixed-integer supply-chain models, but no universal best formulation or combination with a general optimality guarantee is supplied. This is dated curation, not an independently verified impossibility claim.

Short English statement

Strengthen the resource-capacity models used in supply-chain optimization and design effective combinations of relax-and-fix with RINS. The question leaves the underlying model and performance criterion open; a tighter relaxation must still preserve every feasible integral solution.

Sources

Catalogue entry

Statement licence: CC-BY-SA-4.0 · Source file

Contributions 0

No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.