Delphi.science

Efficient Conversion of Algorithms to Linear Programs

Source: arxiv.org/abs/2611.12896

Shermin Khosravi, David Bremner

arXivarxiv/2611.12896Oct 10, 2026cs.MSscore 0

The expressiveness of Linear Programming (LP) has motivated research on an LP compiler that generates polynomial-size LPs for polynomial-time solvable problems, including those having exponential extension complexity. By automating modeling from high-level algorithmic descriptions, the compiler offers a promising alternative to algebraic modelling languages. However, the resulting LPs are extremely large, posing challenges for existing solvers. Recently, we have introduced two LP compiler optimizations, namely Hierarachical Synchronization Barriers (HSB) and Constraint Sharing (CS), that…

JSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2611.12896
curl -X POST /api/v1/records/arxiv/2611.12896/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.12896/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'