18,684 research outputs found
The Complexity of Drawing Graphs on Few Lines and Few Planes
It is well known that any graph admits a crossing-free straight-line drawing
in and that any planar graph admits the same even in
. For a graph and , let denote
the minimum number of lines in that together can cover all edges
of a drawing of . For , must be planar. We investigate the
complexity of computing these parameters and obtain the following hardness and
algorithmic results.
- For , we prove that deciding whether for a
given graph and integer is -complete.
- Since , deciding is NP-hard for . On the positive side, we show that the problem
is fixed-parameter tractable with respect to .
- Since , both and
are computable in polynomial space. On the negative side, we show
that drawings that are optimal with respect to or
sometimes require irrational coordinates.
- Let be the minimum number of planes in needed
to cover a straight-line drawing of a graph . We prove that deciding whether
is NP-hard for any fixed . Hence, the problem is
not fixed-parameter tractable with respect to unless
Approximation Algorithms for Union and Intersection Covering Problems
In a classical covering problem, we are given a set of requests that we need
to satisfy (fully or partially), by buying a subset of items at minimum cost.
For example, in the k-MST problem we want to find the cheapest tree spanning at
least k nodes of an edge-weighted graph. Here nodes and edges represent
requests and items, respectively.
In this paper, we initiate the study of a new family of multi-layer covering
problems. Each such problem consists of a collection of h distinct instances of
a standard covering problem (layers), with the constraint that all layers share
the same set of requests. We identify two main subfamilies of these problems: -
in a union multi-layer problem, a request is satisfied if it is satisfied in at
least one layer; - in an intersection multi-layer problem, a request is
satisfied if it is satisfied in all layers. To see some natural applications,
consider both generalizations of k-MST. Union k-MST can model a problem where
we are asked to connect a set of users to at least one of two communication
networks, e.g., a wireless and a wired network. On the other hand, intersection
k-MST can formalize the problem of connecting a subset of users to both
electricity and water.
We present a number of hardness and approximation results for union and
intersection versions of several standard optimization problems: MST, Steiner
tree, set cover, facility location, TSP, and their partial covering variants
Approximation Algorithms for Polynomial-Expansion and Low-Density Graphs
We study the family of intersection graphs of low density objects in low
dimensional Euclidean space. This family is quite general, and includes planar
graphs. We prove that such graphs have small separators. Next, we present
efficient -approximation algorithms for these graphs, for
Independent Set, Set Cover, and Dominating Set problems, among others. We also
prove corresponding hardness of approximation for some of these optimization
problems, providing a characterization of their intractability in terms of
density
On Generalizations of Network Design Problems with Degree Bounds
Iterative rounding and relaxation have arguably become the method of choice
in dealing with unconstrained and constrained network design problems. In this
paper we extend the scope of the iterative relaxation method in two directions:
(1) by handling more complex degree constraints in the minimum spanning tree
problem (namely, laminar crossing spanning tree), and (2) by incorporating
`degree bounds' in other combinatorial optimization problems such as matroid
intersection and lattice polyhedra. We give new or improved approximation
algorithms, hardness results, and integrality gaps for these problems.Comment: v2, 24 pages, 4 figure
Stabbing line segments with disks: complexity and approximation algorithms
Computational complexity and approximation algorithms are reported for a
problem of stabbing a set of straight line segments with the least cardinality
set of disks of fixed radii where the set of segments forms a straight
line drawing of a planar graph without edge crossings. Close
geometric problems arise in network security applications. We give strong
NP-hardness of the problem for edge sets of Delaunay triangulations, Gabriel
graphs and other subgraphs (which are often used in network design) for and some constant where and
are Euclidean lengths of the longest and shortest graph edges
respectively. Fast -time -approximation algorithm is
proposed within the class of straight line drawings of planar graphs for which
the inequality holds uniformly for some constant
i.e. when lengths of edges of are uniformly bounded from above by
some linear function of Comment: 12 pages, 1 appendix, 15 bibliography items, 6th International
Conference on Analysis of Images, Social Networks and Texts (AIST-2017
New Approximability Results for the Robust k-Median Problem
We consider a robust variant of the classical -median problem, introduced
by Anthony et al. \cite{AnthonyGGN10}. In the \emph{Robust -Median problem},
we are given an -vertex metric space and client sets . The objective is to open a set of
facilities such that the worst case connection cost over all client sets is
minimized; in other words, minimize . Anthony
et al.\ showed an approximation algorithm for any metric and
APX-hardness even in the case of uniform metric. In this paper, we show that
their algorithm is nearly tight by providing
approximation hardness, unless . This hardness result holds even for uniform and line
metrics. To our knowledge, this is one of the rare cases in which a problem on
a line metric is hard to approximate to within logarithmic factor. We
complement the hardness result by an experimental evaluation of different
heuristics that shows that very simple heuristics achieve good approximations
for realistic classes of instances.Comment: 19 page
Cooperation through social influence
We consider a simple and altruistic multiagent system in which the agents are eager to perform a collective task but where their real engagement depends on the willingness to perform the task of other influential agents. We model this scenario by an influence game, a cooperative simple game in which a team (or coalition) of players succeeds if it is able to convince enough agents to participate in the task (to vote in favor of a decision). We take the linear threshold model as the influence model. We show first the expressiveness of influence games showing that they capture the class of simple games. Then we characterize the computational complexity of various problems on influence games, including measures (length and width), values (Shapley-Shubik and Banzhaf) and properties (of teams and players). Finally, we analyze those problems for some particular extremal cases, with respect to the propagation of influence, showing tighter complexity characterizations.Peer ReviewedPostprint (author’s final draft
- …