8,095 research outputs found
Distributed -Coloring in Sublogarithmic Rounds
We give a new randomized distributed algorithm for -coloring in
the LOCAL model, running in
rounds in a graph of maximum degree~. This implies that the
-coloring problem is easier than the maximal independent set
problem and the maximal matching problem, due to their lower bounds of by Kuhn, Moscibroda, and Wattenhofer [PODC'04].
Our algorithm also extends to list-coloring where the palette of each node
contains colors. We extend the set of distributed symmetry-breaking
techniques by performing a decomposition of graphs into dense and sparse parts
Symmetry adapted Assur decompositions
Assur graphs are a tool originally developed by mechanical engineers to
decompose mechanisms for simpler analysis and synthesis. Recent work has
connected these graphs to strongly directed graphs, and decompositions of the
pinned rigidity matrix. Many mechanisms have initial configurations which are
symmetric, and other recent work has exploited the orbit matrix as a symmetry
adapted form of the rigidity matrix. This paper explores how the decomposition
and analysis of symmetric frameworks and their symmetric motions can be
supported by the new symmetry adapted tools.Comment: 40 pages, 22 figure
Comparison of Gabay-Toulouse and de Almeida-Thouless instabilities for the spin glass XY model in a field on sparse random graphs
Vector spin glasses are known to show two different kinds of phase
transitions in presence of an external field: the so-called de Almeida-Thouless
and Gabay-Toulouse lines. While the former has been studied to some extent on
several topologies (fully connected, random graphs, finite-dimensional
lattices, chains with long-range interactions), the latter has been studied
only in fully connected models, which however are known to show some unphysical
behaviors (e.g. the divergence of these critical lines in the zero-temperature
limit). Here we compute analytically both these critical lines for XY spin
glasses on random regular graphs. We discuss the different nature of these
phase transitions and the dependence of the critical behavior on the field
distribution. We also study the crossover between the two different critical
behaviors, by suitably tuning the field distribution.Comment: 21 pages, 14 figures; added a long appendix with respect to v
Monte Carlo algorithms are very effective in finding the largest independent set in sparse random graphs
The effectiveness of stochastic algorithms based on Monte Carlo dynamics in
solving hard optimization problems is mostly unknown. Beyond the basic
statement that at a dynamical phase transition the ergodicity breaks and a
Monte Carlo dynamics cannot sample correctly the probability distribution in
times linear in the system size, there are almost no predictions nor intuitions
on the behavior of this class of stochastic dynamics. The situation is
particularly intricate because, when using a Monte Carlo based algorithm as an
optimization algorithm, one is usually interested in the out of equilibrium
behavior which is very hard to analyse. Here we focus on the use of Parallel
Tempering in the search for the largest independent set in a sparse random
graph, showing that it can find solutions well beyond the dynamical threshold.
Comparison with state-of-the-art message passing algorithms reveals that
parallel tempering is definitely the algorithm performing best, although a
theory explaining its behavior is still lacking.Comment: 14 pages, 12 figure
Partitioning a call graph
Splitting a large software system into smaller and more manageable units has become an important problem for many organizations. The basic structure of a software system is given by a directed graph with vertices representing the programs of the system and arcs representing calls from one program to another. Generating a good partitioning into smaller modules becomes a minimization problem for the number of programs being called by external programs. First, we formulate an equivalent integer linear programming problem with 0â1 variables. theoretically, with this approach the problem can be solved to optimality, but this becomes very costly with increasing size of the software system. Second, we formulate the problem as a hypergraph partitioning problem. This is a heuristic method using a multilevel strategy, but it turns out to be very fast and to deliver solutions that are close to optimal
- âŠ