34,380 research outputs found
On Matrices, Automata, and Double Counting
Matrix models are ubiquitous for constraint problems. Many such problems have a matrix of variables M, with the same constraint defined by a finite-state automaton A on each row of M and a global cardinality constraint gcc on each column of M. We give two methods for deriving, by double counting,
necessary conditions on the cardinality variables of the gcc constraints from the automaton A. The first method yields linear necessary conditions and simple arithmetic constraints. The second method introduces the cardinality automaton, which abstracts the overall behaviour of all the row automata and can be encoded by a set of linear constraints. We evaluate the impact of our methods on a large set of nurse rostering problem instances
Submodular Minimization Under Congruency Constraints
Submodular function minimization (SFM) is a fundamental and efficiently
solvable problem class in combinatorial optimization with a multitude of
applications in various fields. Surprisingly, there is only very little known
about constraint types under which SFM remains efficiently solvable. The
arguably most relevant non-trivial constraint class for which polynomial SFM
algorithms are known are parity constraints, i.e., optimizing only over sets of
odd (or even) cardinality. Parity constraints capture classical combinatorial
optimization problems like the odd-cut problem, and they are a key tool in a
recent technique to efficiently solve integer programs with a constraint matrix
whose subdeterminants are bounded by two in absolute value.
We show that efficient SFM is possible even for a significantly larger class
than parity constraints, by introducing a new approach that combines techniques
from Combinatorial Optimization, Combinatorics, and Number Theory. In
particular, we can show that efficient SFM is possible over all sets (of any
given lattice) of cardinality r mod m, as long as m is a constant prime power.
This covers generalizations of the odd-cut problem with open complexity status,
and with relevance in the context of integer programming with higher
subdeterminants. To obtain our results, we establish a connection between the
correctness of a natural algorithm, and the inexistence of set systems with
specific combinatorial properties. We introduce a general technique to disprove
the existence of such set systems, which allows for obtaining extensions of our
results beyond the above-mentioned setting. These extensions settle two open
questions raised by Geelen and Kapadia [Combinatorica, 2017] in the context of
computing the girth and cogirth of certain types of binary matroids
On the Reification of Global Constraints
We introduce a simple idea for deriving reified global constraints in a systematic way. It is based on
the observation that most global constraints can be reformulated as a conjunction of pure functional dependency
constraints together with a constraint that can be easily reified. We first show how the core constraints of the
Global Constraint Catalogue can be reified and we then identify several reification categories that apply to at
least 82% of the constraints in the Global Constraint Catalogue
A D.C. Programming Approach to the Sparse Generalized Eigenvalue Problem
In this paper, we consider the sparse eigenvalue problem wherein the goal is
to obtain a sparse solution to the generalized eigenvalue problem. We achieve
this by constraining the cardinality of the solution to the generalized
eigenvalue problem and obtain sparse principal component analysis (PCA), sparse
canonical correlation analysis (CCA) and sparse Fisher discriminant analysis
(FDA) as special cases. Unlike the -norm approximation to the
cardinality constraint, which previous methods have used in the context of
sparse PCA, we propose a tighter approximation that is related to the negative
log-likelihood of a Student's t-distribution. The problem is then framed as a
d.c. (difference of convex functions) program and is solved as a sequence of
convex programs by invoking the majorization-minimization method. The resulting
algorithm is proved to exhibit \emph{global convergence} behavior, i.e., for
any random initialization, the sequence (subsequence) of iterates generated by
the algorithm converges to a stationary point of the d.c. program. The
performance of the algorithm is empirically demonstrated on both sparse PCA
(finding few relevant genes that explain as much variance as possible in a
high-dimensional gene dataset) and sparse CCA (cross-language document
retrieval and vocabulary selection for music retrieval) applications.Comment: 40 page
- …