English
Related papers

Related papers: Huge Unimodular N-Fold Programs

200 papers

The NP-hard general factor problem asks, given a graph and for each vertex a list of integers, whether the graph has a spanning subgraph where each vertex has a degree that belongs to its assigned list. The problem remains NP-hard even if…

Data Structures and Algorithms · Computer Science 2015-03-19 Gregory Gutin , Eun Jung Kim , Arezou Soleimanfallah , Stefan Szeider , Anders Yeo

We give a high precision polynomial-time approximation scheme for the supremum of any honest n-variate (n+2)-nomial with a constant term, allowing real exponents as well as real coefficients. Our complexity bounds count field operations and…

Algebraic Geometry · Mathematics 2010-11-09 Philippe Pebay , J. Maurice Rojas , David C. Thompson

Integer programs (IPs) on constraint matrices with bounded subdeterminants are conjectured to be solvable in polynomial time. We give a strongly polynomial time algorithm to solve IPs where the constraint matrix has bounded subdeterminants…

Data Structures and Algorithms · Computer Science 2025-03-19 Stefan Kober

We consider a problem concerning tilings of rectangular regions by a finite library of polyominoes. We specifically look at rectangular regions of dimension $n\times m$ and ask whether or not a tiling of this region can be rearranged so…

Combinatorics · Mathematics 2016-06-20 Jacob Turner

We consider the \textsc{Edge Multiway Cut} problem on planar graphs. It is known that this can be solved in $n^{O(\sqrt{t})}$ time [Klein, Marx, ICALP 2012] and not in $n^{o(\sqrt{t})}$ time under the Exponential Time Hypothesis [Marx,…

Data Structures and Algorithms · Computer Science 2025-07-01 Sukanya Pandey , Erik Jan van Leeuwen

We formalize the problem of selecting the optimal set of options for planning as that of computing the smallest set of options so that planning converges in less than a given maximum of value-iteration passes. We first show that the problem…

Artificial Intelligence · Computer Science 2019-03-19 Yuu Jinnai , David Abel , D Ellis Hershkowitz , Michael Littman , George Konidaris

The determination of the computational complexity of multi-agent pathfinding on directed graphs has been an open problem for many years. For undirected graphs, solvability can be decided in polynomial time, as has been shown already in the…

Artificial Intelligence · Computer Science 2022-09-20 Bernhard Nebel

Optimization problems are pervasive in sectors from manufacturing and distribution to healthcare. However, most such problems are still solved heuristically by hand rather than optimally by state-of-the-art solvers because the expertise…

Artificial Intelligence · Computer Science 2025-08-29 Ali AhmadiTeshnizi , Wenzhi Gao , Herman Brunborg , Shayan Talaei , Connor Lawless , Madeleine Udell

The polynomial-time computability of the permanent over fields of characteristic 3 for k-semi-unitary matrices (i.e. square matrices such that the differences of their Gram matrices and the corresponding identity matrices are of rank k) in…

Computational Complexity · Computer Science 2020-11-04 Anna Knezevic , Greg Cohen , Marina Domanskaya

The authors of ``A note on the complexity of a phaseless polynomial interpolation'' have shown that phaseless polynomial interpolation over $\mathbf{Q}$ is possible with $n+2$ points, where $n$ is the upper-bound on the degree of a…

Computational Complexity · Computer Science 2026-03-24 Michał R. Przybyłek , Paweł Siedlecki

Integer programs with m constraints are solvable in pseudo-polynomial time in $\Delta$, the largest coefficient in a constraint, when m is a fixed constant. We give a new algorithm with a running time of $O(\sqrt{m}\Delta)^{2m} + O(nm)$,…

Data Structures and Algorithms · Computer Science 2022-07-27 Klaus Jansen , Lars Rohwedder

An algorithm for unification modulo one-sided distributivity is an early result by Tid\'en and Arnborg. More recently this theory has been of interest in cryptographic protocol analysis due to the fact that many cryptographic operators…

Logic in Computer Science · Computer Science 2017-01-11 Andrew M Marshall , Catherine Meadows , Paliath Narendran

The well-known Eulerian path problem can be solved in polynomial time (more exactly, there exists a linear time algorithm for this problem). In this paper, we model the problem using a string matching framework, and then initiate an…

Data Structures and Algorithms · Computer Science 2007-05-23 Dragos Trinca

Multiobjective discrete programming is a well-known family of optimization problems with a large spectrum of applications. The linear case has been tackled by many authors during the last years. However, the polynomial case has not been…

Optimization and Control · Mathematics 2011-01-24 Víctor Blanco , Justo Puerto

In the pinwheel problem, one is given an $m$-tuple of positive integers $(a_1, \ldots, a_m)$ and asked whether the integers can be partitioned into $m$ color classes $C_1,\ldots,C_m$ such that every interval of length $a_i$ has non-empty…

Data Structures and Algorithms · Computer Science 2026-04-16 Robert Kleinberg , Ahan Mishra

We consider a class of fixed-charge transportation problems over graphs. We show that this problem is strongly NP-hard, but solvable in pseudo-polynomial time over trees using dynamic programming. We also show that the LP formulation…

Optimization and Control · Mathematics 2015-11-26 Gustavo Angulo , Mathieu Van Vyve

A moldable job is a job that can be executed on an arbitrary number of processors, and whose processing time depends on the number of processors allotted to it. A moldable job is monotone if its work doesn't decrease for an increasing…

Data Structures and Algorithms · Computer Science 2018-01-09 Klaus Jansen , Felix Land

This work concerns an alignment problem that has applications in many geospatial problems such as resource allocation and building reliable disease maps. Here, we introduce the problem of optimally aligning $k$ collections of $m$ spatial…

Data Structures and Algorithms · Computer Science 2024-11-14 Emma L. McDaniel , Armin R. Mikler , Chetan Tiwari , Murray Patterson

In this paper, we characterize planar point sets that can be partitioned into disjoint polygons of arbitrarily specified sizes. We provide an algorithm to construct such a partition, if it exists, in polynomial time. We show that this…

Computational Geometry · Computer Science 2016-05-19 Ajit Arvind Diwan , Bodhayan Roy

We consider N-fold 4-block decomposable integer programs, which simultaneously generalize N-fold integer programs and two-stage stochastic integer programs with N scenarios. In previous work [R. Hemmecke, M. Koeppe, R. Weismantel, A…

Optimization and Control · Mathematics 2017-01-03 Raymond Hemmecke , Matthias Köppe , Robert Weismantel