1,041 research outputs found
A Computational Comparison of Optimization Methods for the Golomb Ruler Problem
The Golomb ruler problem is defined as follows: Given a positive integer n,
locate n marks on a ruler such that the distance between any two distinct pair
of marks are different from each other and the total length of the ruler is
minimized. The Golomb ruler problem has applications in information theory,
astronomy and communications, and it can be seen as a challenge for
combinatorial optimization algorithms. Although constructing high quality
rulers is well-studied, proving optimality is a far more challenging task. In
this paper, we provide a computational comparison of different optimization
paradigms, each using a different model (linear integer, constraint programming
and quadratic integer) to certify that a given Golomb ruler is optimal. We
propose several enhancements to improve the computational performance of each
method by exploring bound tightening, valid inequalities, cutting planes and
branching strategies. We conclude that a certain quadratic integer programming
model solved through a Benders decomposition and strengthened by two types of
valid inequalities performs the best in terms of solution time for small-sized
Golomb ruler problem instances. On the other hand, a constraint programming
model improved by range reduction and a particular branching strategy could
have more potential to solve larger size instances due to its promising
parallelization features
Mixed integer-linear formulations of cumulative scheduling constraints - A comparative study
This paper introduces two MILP models for the cumulative scheduling constraint and associated pre-processing filters. We compare standard solver performance for these models on three sets of problems and for two of them, where tasks have unitary resource consumption, we also compare them with two models based on a geometric placement constraint. In the experiments, the solver performance of one of the cumulative models, is clearly the best and is also shown to scale very well for a large scale industrial transportation scheduling problem
Orbitopal Fixing
The topic of this paper are integer programming models in which a subset of
0/1-variables encode a partitioning of a set of objects into disjoint subsets.
Such models can be surprisingly hard to solve by branch-and-cut algorithms if
the order of the subsets of the partition is irrelevant, since this kind of
symmetry unnecessarily blows up the search tree. We present a general tool,
called orbitopal fixing, for enhancing the capabilities of branch-and-cut
algorithms in solving such symmetric integer programming models. We devise a
linear time algorithm that, applied at each node of the search tree, removes
redundant parts of the tree produced by the above mentioned symmetry. The
method relies on certain polyhedra, called orbitopes, which have been
introduced bei Kaibel and Pfetsch (Math. Programm. A, 114 (2008), 1-36). It
does, however, not explicitly add inequalities to the model. Instead, it uses
certain fixing rules for variables. We demonstrate the computational power of
orbitopal fixing at the example of a graph partitioning problem.Comment: 22 pages, revised and extended version of a previous version that has
appeared under the same title in Proc. IPCO 200
Label optimal regret bounds for online local learning
We resolve an open question from (Christiano, 2014b) posed in COLT'14
regarding the optimal dependency of the regret achievable for online local
learning on the size of the label set. In this framework the algorithm is shown
a pair of items at each step, chosen from a set of items. The learner then
predicts a label for each item, from a label set of size and receives a
real valued payoff. This is a natural framework which captures many interesting
scenarios such as collaborative filtering, online gambling, and online max cut
among others. (Christiano, 2014a) designed an efficient online learning
algorithm for this problem achieving a regret of , where
is the number of rounds. Information theoretically, one can achieve a regret of
. One of the main open questions left in this framework
concerns closing the above gap.
In this work, we provide a complete answer to the question above via two main
results. We show, via a tighter analysis, that the semi-definite programming
based algorithm of (Christiano, 2014a), in fact achieves a regret of
. Second, we show a matching computational lower bound. Namely,
we show that a polynomial time algorithm for online local learning with lower
regret would imply a polynomial time algorithm for the planted clique problem
which is widely believed to be hard. We prove a similar hardness result under a
related conjecture concerning planted dense subgraphs that we put forth. Unlike
planted clique, the planted dense subgraph problem does not have any known
quasi-polynomial time algorithms.
Computational lower bounds for online learning are relatively rare, and we
hope that the ideas developed in this work will lead to lower bounds for other
online learning scenarios as well.Comment: 13 pages; Changes from previous version: small changes to proofs of
Theorems 1 & 2, a small rewrite of introduction as well (this version is the
same as camera-ready copy in COLT '15
Optimal Fair Scheduling in S-TDMA Sensor Networks for Monitoring River Plumes
Underwater wireless sensor networks (UWSNs) are a promising technology to provide oceanographers with environmental data
in real time. Suitable network topologies to monitor estuaries are formed by strings coming together to a sink node.This network
may be understood as an oriented graph. A number of MAC techniques can be used in UWSNs, but Spatial-TDMA is preferred
for fixed networks. In this paper, a scheduling procedure to obtain the optimal fair frame is presented, under ideal conditions
of synchronization and transmission errors. The main objective is to find the theoretical maximum throughput by overlapping
the transmissions of the nodes while keeping a balanced received data rate from each sensor, regardless of its location in the
network. The procedure searches for all cliques of the compatibility matrix of the network graph and solves a Multiple-Vector
Bin Packing (MVBP) problem. This work addresses the optimization problem and provides analytical and numerical results for
both the minimum frame length and the maximum achievable throughput
- âŠ