Enea, Constantin, Habermehl, Peter, Inverso, Omar and Parlato, Gennaro
On the Path-Width of Integer Linear Programming
At Fifth International Symposium on Games, Automata, Logics and Formal Verification (GandALF), Italy.
We consider the feasibility problem of integer linear programming (ILP). We show that solutions of any ILP instance can be naturally represented by an FO-definable class of graphs. For each solution there may be many graphs representing it. However, one of these graphs is of path-width at most 2n, where n is the number of variables in the instance. Since FO is decidable on graphs of bounded path-width, we obtain an alternative decidability result for ILP. The technique we use underlines a common principle to prove decidability which has previously been employed for automata with auxiliary storage. We also show how this new result links to automata theory and program verification.
Conference or Workshop Item
|Venue - Dates:
||Fifth International Symposium on Games, Automata, Logics and Formal Verification (GandALF), Italy, 2014-09-01
||Electronic & Software Systems
|September 2014||Accepted/In Press|
||25 Apr 2013 19:55
||23 Feb 2017 03:50
|Further Information:||Google Scholar|
Actions (login required)