379 research outputs found
Convergence theorems for some layout measures on random lattice and random geometric graphs
This work deals with convergence theorems and bounds on the
cost of several layout measures for lattice graphs, random
lattice graphs and sparse random geometric graphs. For full
square lattices, we give optimal layouts for the problems
still open. Our convergence theorems can be viewed as an
analogue of the Beardwood, Halton and Hammersley theorem for
the Euclidian TSP on random points in the -dimensional
cube. As the considered layout measures are
non-subadditive, we use percolation theory to obtain our
results on random lattices and random geometric graphs. In
particular, we deal with the subcritical regimes on these
class of graphs.Postprint (published version
Linear orderings of random geometric graphs (extended abstract)
In random geometric graphs, vertices are randomly distributed on [0,1]^2 and pairs of vertices are connected by edges
whenever they are sufficiently close together. Layout problems seek a linear ordering of the vertices of a graph such that a
certain measure is minimized. In this paper, we study several layout problems on random geometric graphs: Bandwidth,
Minimum Linear Arrangement, Minimum Cut, Minimum Sum Cut, Vertex Separation and Bisection. We first prove that
some of these problems remain \NP-complete even for geometric graphs. Afterwards, we compute lower bounds that hold
with high probability on random geometric graphs. Finally, we characterize the probabilistic behavior of the lexicographic
ordering for our layout problems on the class of random geometric graphs.Postprint (published version
The minimum bisection in the planted bisection model
In the planted bisection model a random graph with
vertices is created by partitioning the vertices randomly into two classes of
equal size (up to ). Any two vertices that belong to the same class are
linked by an edge with probability and any two that belong to different
classes with probability independently. The planted bisection model
has been used extensively to benchmark graph partitioning algorithms. If
for numbers that remain fixed as
, then w.h.p. the ``planted'' bisection (the one used to construct
the graph) will not be a minimum bisection. In this paper we derive an
asymptotic formula for the minimum bisection width under the assumption that
for a certain constant
Consistency Thresholds for the Planted Bisection Model
The planted bisection model is a random graph model in which the nodes are
divided into two equal-sized communities and then edges are added randomly in a
way that depends on the community membership. We establish necessary and
sufficient conditions for the asymptotic recoverability of the planted
bisection in this model. When the bisection is asymptotically recoverable, we
give an efficient algorithm that successfully recovers it. We also show that
the planted bisection is recoverable asymptotically if and only if with high
probability every node belongs to the same community as the majority of its
neighbors.
Our algorithm for finding the planted bisection runs in time almost linear in
the number of edges. It has three stages: spectral clustering to compute an
initial guess, a "replica" stage to get almost every vertex correct, and then
some simple local moves to finish the job. An independent work by Abbe,
Bandeira, and Hall establishes similar (slightly weaker) results but only in
the case of logarithmic average degree.Comment: latest version contains an erratum, addressing an error pointed out
by Jan van Waai
Graph-based Semi-Supervised & Active Learning for Edge Flows
We present a graph-based semi-supervised learning (SSL) method for learning
edge flows defined on a graph. Specifically, given flow measurements on a
subset of edges, we want to predict the flows on the remaining edges. To this
end, we develop a computational framework that imposes certain constraints on
the overall flows, such as (approximate) flow conservation. These constraints
render our approach different from classical graph-based SSL for vertex labels,
which posits that tightly connected nodes share similar labels and leverages
the graph structure accordingly to extrapolate from a few vertex labels to the
unlabeled vertices. We derive bounds for our method's reconstruction error and
demonstrate its strong performance on synthetic and real-world flow networks
from transportation, physical infrastructure, and the Web. Furthermore, we
provide two active learning algorithms for selecting informative edges on which
to measure flow, which has applications for optimal sensor deployment. The
first strategy selects edges to minimize the reconstruction error bound and
works well on flows that are approximately divergence-free. The second approach
clusters the graph and selects bottleneck edges that cross cluster-boundaries,
which works well on flows with global trends
Minority Becomes Majority in Social Networks
It is often observed that agents tend to imitate the behavior of their
neighbors in a social network. This imitating behavior might lead to the
strategic decision of adopting a public behavior that differs from what the
agent believes is the right one and this can subvert the behavior of the
population as a whole.
In this paper, we consider the case in which agents express preferences over
two alternatives and model social pressure with the majority dynamics: at each
step an agent is selected and its preference is replaced by the majority of the
preferences of her neighbors. In case of a tie, the agent does not change her
current preference. A profile of the agents' preferences is stable if the
preference of each agent coincides with the preference of at least half of the
neighbors (thus, the system is in equilibrium).
We ask whether there are network topologies that are robust to social
pressure. That is, we ask if there are graphs in which the majority of
preferences in an initial profile always coincides with the majority of the
preference in all stable profiles reachable from that profile. We completely
characterize the graphs with this robustness property by showing that this is
possible only if the graph has no edge or is a clique or very close to a
clique. In other words, except for this handful of graphs, every graph admits
at least one initial profile of preferences in which the majority dynamics can
subvert the initial majority. We also show that deciding whether a graph admits
a minority that becomes majority is NP-hard when the minority size is at most
1/4-th of the social network size.Comment: To appear in WINE 201
Sum of squares lower bounds for refuting any CSP
Let be a nontrivial -ary predicate. Consider a
random instance of the constraint satisfaction problem on
variables with constraints, each being applied to randomly
chosen literals. Provided the constraint density satisfies , such
an instance is unsatisfiable with high probability. The \emph{refutation}
problem is to efficiently find a proof of unsatisfiability.
We show that whenever the predicate supports a -\emph{wise uniform}
probability distribution on its satisfying assignments, the sum of squares
(SOS) algorithm of degree
(which runs in time ) \emph{cannot} refute a random instance of
. In particular, the polynomial-time SOS algorithm requires
constraints to refute random instances of
CSP when supports a -wise uniform distribution on its satisfying
assignments. Together with recent work of Lee et al. [LRS15], our result also
implies that \emph{any} polynomial-size semidefinite programming relaxation for
refutation requires at least constraints.
Our results (which also extend with no change to CSPs over larger alphabets)
subsume all previously known lower bounds for semialgebraic refutation of
random CSPs. For every constraint predicate~, they give a three-way hardness
tradeoff between the density of constraints, the SOS degree (hence running
time), and the strength of the refutation. By recent algorithmic results of
Allen et al. [AOW15] and Raghavendra et al. [RRS16], this full three-way
tradeoff is \emph{tight}, up to lower-order factors.Comment: 39 pages, 1 figur
- …