450 research outputs found
Weighted counting of solutions to sparse systems of equations
Given complex numbers , we define the weight of a
set of 0-1 vectors as the sum of over all
vectors in . We present an algorithm, which for a set
defined by a system of homogeneous linear equations with at most
variables per equation and at most equations per variable, computes
within relative error in time
provided for an absolute constant and all . A similar algorithm is constructed for computing
the weight of a linear code over . Applications include counting
weighted perfect matchings in hypergraphs, counting weighted graph
homomorphisms, computing weight enumerators of linear codes with sparse code
generating matrices, and computing the partition functions of the ferromagnetic
Potts model at low temperatures and of the hard-core model at high fugacity on
biregular bipartite graphs.Comment: The exposition is improved, a couple of inaccuracies correcte
Counting edge-injective homomorphisms and matchings on restricted graph classes
We consider the -hard problem of counting all matchings with
exactly edges in a given input graph ; we prove that it remains
-hard on graphs that are line graphs or bipartite graphs
with degree on one side. In our proofs, we use that -matchings in line
graphs can be equivalently viewed as edge-injective homomorphisms from the
disjoint union of length- paths into (arbitrary) host graphs. Here, a
homomorphism from to is edge-injective if it maps any two distinct
edges of to distinct edges in . We show that edge-injective
homomorphisms from a pattern graph can be counted in polynomial time if
has bounded vertex-cover number after removing isolated edges. For hereditary
classes of pattern graphs, we complement this result: If the
graphs in have unbounded vertex-cover number even after deleting
isolated edges, then counting edge-injective homomorphisms with patterns from
is -hard. Our proofs rely on an edge-colored
variant of Holant problems and a delicate interpolation argument; both may be
of independent interest.Comment: 35 pages, 9 figure
Approximation Algorithms for Multi-Criteria Traveling Salesman Problems
In multi-criteria optimization problems, several objective functions have to
be optimized. Since the different objective functions are usually in conflict
with each other, one cannot consider only one particular solution as the
optimal solution. Instead, the aim is to compute a so-called Pareto curve of
solutions. Since Pareto curves cannot be computed efficiently in general, we
have to be content with approximations to them.
We design a deterministic polynomial-time algorithm for multi-criteria
g-metric STSP that computes (min{1 +g, 2g^2/(2g^2 -2g +1)} + eps)-approximate
Pareto curves for all 1/2<=g<=1. In particular, we obtain a
(2+eps)-approximation for multi-criteria metric STSP. We also present two
randomized approximation algorithms for multi-criteria g-metric STSP that
achieve approximation ratios of (2g^3 +2g^2)/(3g^2 -2g +1) + eps and (1 +g)/(1
+3g -4g^2) + eps, respectively.
Moreover, we present randomized approximation algorithms for multi-criteria
g-metric ATSP (ratio 1/2 + g^3/(1 -3g^2) + eps) for g < 1/sqrt(3)), STSP with
weights 1 and 2 (ratio 4/3) and ATSP with weights 1 and 2 (ratio 3/2). To do
this, we design randomized approximation schemes for multi-criteria cycle cover
and graph factor problems.Comment: To appear in Algorithmica. A preliminary version has been presented
at the 4th Workshop on Approximation and Online Algorithms (WAOA 2006
Randomised algorithms for counting and generating combinatorial structures
SIGLEAvailable from British Library Document Supply Centre- DSC:D85048 / BLDSC - British Library Document Supply CentreGBUnited Kingdo
Coresets Meet EDCS: Algorithms for Matching and Vertex Cover on Massive Graphs
As massive graphs become more prevalent, there is a rapidly growing need for
scalable algorithms that solve classical graph problems, such as maximum
matching and minimum vertex cover, on large datasets. For massive inputs,
several different computational models have been introduced, including the
streaming model, the distributed communication model, and the massively
parallel computation (MPC) model that is a common abstraction of
MapReduce-style computation. In each model, algorithms are analyzed in terms of
resources such as space used or rounds of communication needed, in addition to
the more traditional approximation ratio.
In this paper, we give a single unified approach that yields better
approximation algorithms for matching and vertex cover in all these models. The
highlights include:
* The first one pass, significantly-better-than-2-approximation for matching
in random arrival streams that uses subquadratic space, namely a
-approximation streaming algorithm that uses space
for constant .
* The first 2-round, better-than-2-approximation for matching in the MPC
model that uses subquadratic space per machine, namely a
-approximation algorithm with memory per
machine for constant .
By building on our unified approach, we further develop parallel algorithms
in the MPC model that give a -approximation to matching and an
-approximation to vertex cover in only MPC rounds and
memory per machine. These results settle multiple open
questions posed in the recent paper of Czumaj~et.al. [STOC 2018]
Matchings under distance constraints II
This paper introduces the \emph{-distance -matching problem}, in which
we are given a bipartite graph with , a weight
function on the edges, an integer and a degree bound
function . The goal is to find a maximum-weight
subset of the edges satisfying the following two conditions: 1)
the degree of each node is at most in , 2) if
, then . In the cyclic version of the problem, the
nodes in are considered to be in cyclic order. We get back the
\emph{(cyclic) -distance matching problem} when for and
for .
We prove that the -distance matching problem is APX-hard even in the
unweighted case. We show that is a tight upper bound on the
integrality gap of the natural integer programming model for the cyclic
-distance -matching problem provided that divides the size of
. For the non-cyclic case, the integrality gap is shown to be at most
. The proofs give approximation algorithms with guarantees
matching these bounds, and also improve the best known algorithms for the
(cyclic) -distance matching problem. In a related problem, our goal is to
find a permutation of maximizing the weight of the optimal -distance
-matching. This problem can be solved in polynomial time for the (cyclic)
-distance matching problem -- even though the (cyclic) -distance matching
problem itself is NP-hard and also hard to approximate arbitrarily. For
(cyclic) -distance -matchings, however, we prove that finding the best
permutation is NP-hard even if or , and we give
-approximation algorithms
- …