8,633 research outputs found
Computing and counting longest paths on circular-arc graphs in polynomial time.
The longest path problem asks for a path with the largest number of vertices in a given graph. The first polynomial time algorithm (with running time O(n4)) has been recently developed for interval graphs. Even though interval and circular-arc graphs look superficially similar, they differ substantially, as circular-arc graphs are not perfect. In this paper, we prove that for every path P of a circular-arc graph G, we can appropriately âcutâ the circle, such that the obtained (not induced) interval subgraph GâČ of G admits a path PâČ on the same vertices as P. This non-trivial result is of independent interest, as it suggests a generic reduction of a number of path problems on circular-arc graphs to the case of interval graphs with a multiplicative linear time overhead of O(n). As an application of this reduction, we present the first polynomial algorithm for the longest path problem on circular-arc graphs, which turns out to have the same running time O(n4) with the one on interval graphs, as we manage to get rid of the linear overhead of the reduction. This algorithm computes in the same time an n-approximation of the number of different vertex sets that provide a longest path; in the case where G is an interval graph, we compute the exact number. Moreover, our algorithm can be directly extended with the same running time to the case where every vertex has an arbitrary positive weight
Finding long cycles in graphs
We analyze the problem of discovering long cycles inside a graph. We propose
and test two algorithms for this task. The first one is based on recent
advances in statistical mechanics and relies on a message passing procedure.
The second follows a more standard Monte Carlo Markov Chain strategy. Special
attention is devoted to Hamiltonian cycles of (non-regular) random graphs of
minimal connectivity equal to three
Approximating the Minimum Equivalent Digraph
The MEG (minimum equivalent graph) problem is, given a directed graph, to
find a small subset of the edges that maintains all reachability relations
between nodes. The problem is NP-hard. This paper gives an approximation
algorithm with performance guarantee of pi^2/6 ~ 1.64. The algorithm and its
analysis are based on the simple idea of contracting long cycles. (This result
is strengthened slightly in ``On strongly connected digraphs with bounded cycle
length'' (1996).) The analysis applies directly to 2-Exchange, a simple ``local
improvement'' algorithm, showing that its performance guarantee is 1.75.Comment: conference version in ACM-SIAM Symposium on Discrete Algorithms
(1994
DMVP: Foremost Waypoint Coverage of Time-Varying Graphs
We consider the Dynamic Map Visitation Problem (DMVP), in which a team of
agents must visit a collection of critical locations as quickly as possible, in
an environment that may change rapidly and unpredictably during the agents'
navigation. We apply recent formulations of time-varying graphs (TVGs) to DMVP,
shedding new light on the computational hierarchy of TVG classes by analyzing them in the
context of graph navigation. We provide hardness results for all three classes,
and for several restricted topologies, we show a separation between the classes
by showing severe inapproximability in , limited approximability
in , and tractability in . We also give topologies in
which DMVP in is fixed parameter tractable, which may serve as a
first step toward fully characterizing the features that make DMVP difficult.Comment: 24 pages. Full version of paper from Proceedings of WG 2014, LNCS,
Springer-Verla
The Salesman's Improved Tours for Fundamental Classes
Finding the exact integrality gap for the LP relaxation of the
metric Travelling Salesman Problem (TSP) has been an open problem for over
thirty years, with little progress made. It is known that , and a famous conjecture states . For this problem,
essentially two "fundamental" classes of instances have been proposed. This
fundamental property means that in order to show that the integrality gap is at
most for all instances of metric TSP, it is sufficient to show it only
for the instances in the fundamental class. However, despite the importance and
the simplicity of such classes, no apparent effort has been deployed for
improving the integrality gap bounds for them. In this paper we take a natural
first step in this endeavour, and consider the -integer points of one such
class. We successfully improve the upper bound for the integrality gap from
to for a superclass of these points, as well as prove a lower
bound of for the superclass. Our methods involve innovative applications
of tools from combinatorial optimization which have the potential to be more
broadly applied
Bounded-Angle Spanning Tree: Modeling Networks with Angular Constraints
We introduce a new structure for a set of points in the plane and an angle
, which is similar in flavor to a bounded-degree MST. We name this
structure -MST. Let be a set of points in the plane and let be an angle. An -ST of is a spanning tree of the
complete Euclidean graph induced by , with the additional property that for
each point , the smallest angle around containing all the edges
adjacent to is at most . An -MST of is then an
-ST of of minimum weight. For , an -ST does
not always exist, and, for , it always exists. In this paper,
we study the problem of computing an -MST for several common values of
.
Motivated by wireless networks, we formulate the problem in terms of
directional antennas. With each point , we associate a wedge of
angle and apex . The goal is to assign an orientation and a radius
to each wedge , such that the resulting graph is connected and its
MST is an -MST. (We draw an edge between and if , , and .) Unsurprisingly, the problem of computing an
-MST is NP-hard, at least for and . We
present constant-factor approximation algorithms for .
One of our major results is a surprising theorem for ,
which, besides being interesting from a geometric point of view, has important
applications. For example, the theorem guarantees that given any set of
points in the plane and any partitioning of the points into triplets,
one can orient the wedges of each triplet {\em independently}, such that the
graph induced by is connected. We apply the theorem to the {\em antenna
conversion} problem
- âŠ