27,793 research outputs found
A Satisfiability Algorithm for Sparse Depth Two Threshold Circuits
We give a nontrivial algorithm for the satisfiability problem for cn-wire
threshold circuits of depth two which is better than exhaustive search by a
factor 2^{sn} where s= 1/c^{O(c^2)}. We believe that this is the first
nontrivial satisfiability algorithm for cn-wire threshold circuits of depth
two. The independently interesting problem of the feasibility of sparse 0-1
integer linear programs is a special case. To our knowledge, our algorithm is
the first to achieve constant savings even for the special case of Integer
Linear Programming. The key idea is to reduce the satisfiability problem to the
Vector Domination Problem, the problem of checking whether there are two
vectors in a given collection of vectors such that one dominates the other
component-wise.
We also provide a satisfiability algorithm with constant savings for depth
two circuits with symmetric gates where the total weighted fan-in is at most
cn.
One of our motivations is proving strong lower bounds for TC^0 circuits,
exploiting the connection (established by Williams) between satisfiability
algorithms and lower bounds. Our second motivation is to explore the connection
between the expressive power of the circuits and the complexity of the
corresponding circuit satisfiability problem
Approximation Algorithms for the Capacitated Domination Problem
We consider the {\em Capacitated Domination} problem, which models a
service-requirement assignment scenario and is also a generalization of the
well-known {\em Dominating Set} problem. In this problem, given a graph with
three parameters defined on each vertex, namely cost, capacity, and demand, we
want to find an assignment of demands to vertices of least cost such that the
demand of each vertex is satisfied subject to the capacity constraint of each
vertex providing the service. In terms of polynomial time approximations, we
present logarithmic approximation algorithms with respect to different demand
assignment models for this problem on general graphs, which also establishes
the corresponding approximation results to the well-known approximations of the
traditional {\em Dominating Set} problem. Together with our previous work, this
closes the problem of generally approximating the optimal solution. On the
other hand, from the perspective of parameterization, we prove that this
problem is {\it W[1]}-hard when parameterized by a structure of the graph
called treewidth. Based on this hardness result, we present exact
fixed-parameter tractable algorithms when parameterized by treewidth and
maximum capacity of the vertices. This algorithm is further extended to obtain
pseudo-polynomial time approximation schemes for planar graphs
Recommended from our members
Approximate comparison of distance automata
Distance automata are automata weighted over the semiring (N∪ {∞}, min,+) (the tropical semiring). Such automata compute functions from words to N
∪{∞} such as the number of occurrences of a given letter. It is known that testing f 0 and two functions f,g computed by distance automata, answers "yes" if f <= (1-ε ) g, "no" if f \not\leq g, and may answer "yes" or "no" in all other cases. This result highly refines previously known decidability results of the same type. The core argument behind this quasi-decision procedure is an algorithm which is able to provide an approximated finite presentation to the closure under products of sets of matrices over the tropical semiring. We also provide another theorem, of affine domination, which shows that previously known decision procedures for cost-automata have an improved precision when used over distance automata
The Coulomb gas, potential theory and phase transitions
We give a potential-theoretic characterization of measures which have the
property that the corresponding Coulomb gas is "well-behaved" and similarly for
more general Riesz gases. This means that the laws of the empirical measures of
the corresponding random point process satisfy a Large Deviation Principle with
a rate functional which depends continuously on the temperature, in the sense
of Gamma-convergence. Equivalently, there is no zeroth-order phase transition
at zero temperature. This is shown to be the case for the Hausdorff measure on
a Lipschitz hypersurface. We also provide explicit examples of measures which
are absolutely continuous with respect to Lesbesgue measure, such that the
corresponding 2d Coulomb exhibits a zeroth-order phase transition. This is
based on relations to Ullman's criterion in the theory of orthogonal
polynomials and Bernstein-Markov inequalities.Comment: v1: 40 pages. v2: 44 pages (improved exposition and sections 3.3, 3.4
added
- …