23,555 research outputs found
Min-Max Theorems for Packing and Covering Odd -trails
We investigate the problem of packing and covering odd -trails in a
graph. A -trail is a -walk that is allowed to have repeated
vertices but no repeated edges. We call a trail odd if the number of edges in
the trail is odd. Let denote the maximum number of edge-disjoint odd
-trails, and denote the minimum size of an edge-set that
intersects every odd -trail.
We prove that . Our result is tight---there are
examples showing that ---and substantially improves upon
the bound of obtained in [Churchley et al 2016] for .
Our proof also yields a polynomial-time algorithm for finding a cover and a
collection of trails satisfying the above bounds.
Our proof is simple and has two main ingredients. We show that (loosely
speaking) the problem can be reduced to the problem of packing and covering odd
-trails losing a factor of 2 (either in the number of trails found, or
the size of the cover). Complementing this, we show that the
odd--trail packing and covering problems can be tackled by exploiting
a powerful min-max result of [Chudnovsky et al 2006] for packing
vertex-disjoint nonzero -paths in group-labeled graphs
Using ultra-short pulses to determine particle size and density distributions
We analyze the time dependent response of strongly scattering media (SSM) to
ultra-short pulses of light. A random walk technique is used to model the
optical scattering of ultra-short pulses of light propagating through media
with random shapes and various packing densities. The pulse spreading was found
to be strongly dependent on the average particle size, particle size
distribution, and the packing fraction. We also show that the intensity as a
function of time-delay can be used to analyze the particle size distribution
and packing fraction of an optically thick sample independently of the presence
of absorption features. Finally, we propose an all new way to measure the shape
of ultra-short pulses that have propagated through a SSM.Comment: 15 pages, 29 figures, accepted for publication in Optics Express will
update with full reference when it is availabl
A Constant Factor Approximation Algorithm for Unsplittable Flow on Paths
In the unsplittable flow problem on a path, we are given a capacitated path
and tasks, each task having a demand, a profit, and start and end
vertices. The goal is to compute a maximum profit set of tasks, such that for
each edge of , the total demand of selected tasks that use does not
exceed the capacity of . This is a well-studied problem that has been
studied under alternative names, such as resource allocation, bandwidth
allocation, resource constrained scheduling, temporal knapsack and interval
packing.
We present a polynomial time constant-factor approximation algorithm for this
problem. This improves on the previous best known approximation ratio of
. The approximation ratio of our algorithm is for any
.
We introduce several novel algorithmic techniques, which might be of
independent interest: a framework which reduces the problem to instances with a
bounded range of capacities, and a new geometrically inspired dynamic program
which solves a special case of the maximum weight independent set of rectangles
problem to optimality. In the setting of resource augmentation, wherein the
capacities can be slightly violated, we give a -approximation
algorithm. In addition, we show that the problem is strongly NP-hard even if
all edge capacities are equal and all demands are either~1,~2, or~3.Comment: 37 pages, 5 figures Version 2 contains the same results as version 1,
but the presentation has been greatly revised and improved. References have
been adde
Clearing Contamination in Large Networks
In this work, we study the problem of clearing contamination spreading
through a large network where we model the problem as a graph searching game.
The problem can be summarized as constructing a search strategy that will leave
the graph clear of any contamination at the end of the searching process in as
few steps as possible. We show that this problem is NP-hard even on directed
acyclic graphs and provide an efficient approximation algorithm. We
experimentally observe the performance of our approximation algorithm in
relation to the lower bound on several large online networks including
Slashdot, Epinions and Twitter. The experiments reveal that in most cases our
algorithm performs near optimally
Pressure screening and fluctuations at the bottom of a granular column
We report sets of precise and reproducible measurements on the static
pressure at the bottom of a granular column. We make a quantitative analysis of
the pressure saturation when the column height is increased. We evidence a
great sensitivity of the measurements with the global packing fraction and the
eventual presence of shear bands at the boundaries. We also show the limit of
the classical Janssen model and discuss these experimental results under the
scope of recently proposed theoretical frameworks.Comment: 17 pages, Latex, 8 eps figures, to appear in the European Physical
Journal B (1999
Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible
We analyze the computational complexity of the many types of
pencil-and-paper-style puzzles featured in the 2016 puzzle video game The
Witness. In all puzzles, the goal is to draw a simple path in a rectangular
grid graph from a start vertex to a destination vertex. The different puzzle
types place different constraints on the path: preventing some edges from being
visited (broken edges); forcing some edges or vertices to be visited
(hexagons); forcing some cells to have certain numbers of incident path edges
(triangles); or forcing the regions formed by the path to be partially
monochromatic (squares), have exactly two special cells (stars), or be singly
covered by given shapes (polyominoes) and/or negatively counting shapes
(antipolyominoes). We show that any one of these clue types (except the first)
is enough to make path finding NP-complete ("witnesses exist but are hard to
find"), even for rectangular boards. Furthermore, we show that a final clue
type (antibody), which necessarily "cancels" the effect of another clue in the
same region, makes path finding -complete ("witnesses do not exist"),
even with a single antibody (combined with many anti/polyominoes), and the
problem gets no harder with many antibodies. On the positive side, we give a
polynomial-time algorithm for monomino clues, by reducing to hexagon clues on
the boundary of the puzzle, even in the presence of broken edges, and solving
"subset Hamiltonian path" for terminals on the boundary of an embedded planar
graph in polynomial time.Comment: 72 pages, 59 figures. Revised proof of Lemma 3.5. A short version of
this paper appeared at the 9th International Conference on Fun with
Algorithms (FUN 2018
Self Organization and Self Avoiding Limit Cycles
A simple periodically driven system displaying rich behavior is introduced
and studied. The system self-organizes into a mosaic of static ordered regions
with three possible patterns, which are threaded by one-dimensional paths on
which a small number of mobile particles travel. These trajectories are
self-avoiding and non-intersecting, and their relationship to self-avoiding
random walks is explored. Near the distribution of path lengths
becomes power-law like up to some cutoff length, suggesting a possible critical
state
Bidimensionality and Geometric Graphs
In this paper we use several of the key ideas from Bidimensionality to give a
new generic approach to design EPTASs and subexponential time parameterized
algorithms for problems on classes of graphs which are not minor closed, but
instead exhibit a geometric structure. In particular we present EPTASs and
subexponential time parameterized algorithms for Feedback Vertex Set, Vertex
Cover, Connected Vertex Cover, Diamond Hitting Set, on map graphs and unit disk
graphs, and for Cycle Packing and Minimum-Vertex Feedback Edge Set on unit disk
graphs. Our results are based on the recent decomposition theorems proved by
Fomin et al [SODA 2011], and our algorithms work directly on the input graph.
Thus it is not necessary to compute the geometric representations of the input
graph. To the best of our knowledge, these results are previously unknown, with
the exception of the EPTAS and a subexponential time parameterized algorithm on
unit disk graphs for Vertex Cover, which were obtained by Marx [ESA 2005] and
Alber and Fiala [J. Algorithms 2004], respectively.
We proceed to show that our approach can not be extended in its full
generality to more general classes of geometric graphs, such as intersection
graphs of unit balls in R^d, d >= 3. Specifically we prove that Feedback Vertex
Set on unit-ball graphs in R^3 neither admits PTASs unless P=NP, nor
subexponential time algorithms unless the Exponential Time Hypothesis fails.
Additionally, we show that the decomposition theorems which our approach is
based on fail for disk graphs and that therefore any extension of our results
to disk graphs would require new algorithmic ideas. On the other hand, we prove
that our EPTASs and subexponential time algorithms for Vertex Cover and
Connected Vertex Cover carry over both to disk graphs and to unit-ball graphs
in R^d for every fixed d
- …