Huge tables and multicommodity flows are fixed-parameter tractable via unimodular integer Carathéodory

作者:

Highlights:

摘要

The three-way table problem is to decide if there exists an l×m×n table satisfying given line sums, and find a table if yes. Recently, it was shown to be fixed-parameter tractable with parameters l,m. Here we extend this and show that the huge version of the problem, where the variable side n is encoded in binary, is also fixed-parameter tractable with parameters l,m. We also conclude that the huge multicommodity flow problem with a huge number of consumers is fixed-parameter tractable. One of our tools is a theorem about unimodular monoids which is of interest on its own right.

论文关键词:Integer programming,Integer Carathéodory,Multiway table,Bin packing,Cutting stock,Fixed-parameter tractable,Totally unimodular,Multicommodity flow

论文评审过程:Received 29 February 2016, Revised 27 June 2016, Accepted 25 July 2016, Available online 12 August 2016, Version of Record 15 September 2016.

论文官网地址:https://doi.org/10.1016/j.jcss.2016.07.004