6,317 research outputs found
Every property is testable on a natural class of scale-free multigraphs
In this paper, we introduce a natural class of multigraphs called
hierarchical-scale-free (HSF) multigraphs, and consider constant-time
testability on the class. We show that a very wide subclass, specifically, that
in which the power-law exponent is greater than two, of HSF is hyperfinite.
Based on this result, an algorithm for a deterministic partitioning oracle can
be constructed. We conclude by showing that every property is constant-time
testable on the above subclass of HSF. This algorithm utilizes findings by
Newman and Sohler of STOC'11. However, their algorithm is based on the
bounded-degree model, while it is known that actual scale-free networks usually
include hubs, which have a very large degree. HSF is based on scale-free
properties and includes such hubs. This is the first universal result of
constant-time testability on the general graph model, and it has the potential
to be applicable on a very wide range of scale-free networks.Comment: 13 pages, one figure. Difference from ver. 1: Definitions of HSF and
SF become more general. Typos were fixe
Parameterized Approximation Schemes using Graph Widths
Combining the techniques of approximation algorithms and parameterized
complexity has long been considered a promising research area, but relatively
few results are currently known. In this paper we study the parameterized
approximability of a number of problems which are known to be hard to solve
exactly when parameterized by treewidth or clique-width. Our main contribution
is to present a natural randomized rounding technique that extends well-known
ideas and can be used for both of these widths. Applying this very generic
technique we obtain approximation schemes for a number of problems, evading
both polynomial-time inapproximability and parameterized intractability bounds
Recovering sparse graphs
We construct a fixed parameter algorithm parameterized by d and k that takes
as an input a graph G' obtained from a d-degenerate graph G by complementing on
at most k arbitrary subsets of the vertex set of G and outputs a graph H such
that G and H agree on all but f(d,k) vertices.
Our work is motivated by the first order model checking in graph classes that
are first order interpretable in classes of sparse graphs. We derive as a
corollary that if G_0 is a graph class with bounded expansion, then the first
order model checking is fixed parameter tractable in the class of all graphs
that can obtained from a graph G from G_0 by complementing on at most k
arbitrary subsets of the vertex set of G; this implies an earlier result that
the first order model checking is fixed parameter tractable in graph classes
interpretable in classes of graphs with bounded maximum degree
Bidimensionality and Geometric Graphs
In this paper we use several of the key ideas from Bidimensionality to give a
new generic approach to design EPTASs and subexponential time parameterized
algorithms for problems on classes of graphs which are not minor closed, but
instead exhibit a geometric structure. In particular we present EPTASs and
subexponential time parameterized algorithms for Feedback Vertex Set, Vertex
Cover, Connected Vertex Cover, Diamond Hitting Set, on map graphs and unit disk
graphs, and for Cycle Packing and Minimum-Vertex Feedback Edge Set on unit disk
graphs. Our results are based on the recent decomposition theorems proved by
Fomin et al [SODA 2011], and our algorithms work directly on the input graph.
Thus it is not necessary to compute the geometric representations of the input
graph. To the best of our knowledge, these results are previously unknown, with
the exception of the EPTAS and a subexponential time parameterized algorithm on
unit disk graphs for Vertex Cover, which were obtained by Marx [ESA 2005] and
Alber and Fiala [J. Algorithms 2004], respectively.
We proceed to show that our approach can not be extended in its full
generality to more general classes of geometric graphs, such as intersection
graphs of unit balls in R^d, d >= 3. Specifically we prove that Feedback Vertex
Set on unit-ball graphs in R^3 neither admits PTASs unless P=NP, nor
subexponential time algorithms unless the Exponential Time Hypothesis fails.
Additionally, we show that the decomposition theorems which our approach is
based on fail for disk graphs and that therefore any extension of our results
to disk graphs would require new algorithmic ideas. On the other hand, we prove
that our EPTASs and subexponential time algorithms for Vertex Cover and
Connected Vertex Cover carry over both to disk graphs and to unit-ball graphs
in R^d for every fixed d
Properly coloured copies and rainbow copies of large graphs with small maximum degree
Let G be a graph on n vertices with maximum degree D. We use the Lov\'asz
local lemma to show the following two results about colourings c of the edges
of the complete graph K_n. If for each vertex v of K_n the colouring c assigns
each colour to at most (n-2)/22.4D^2 edges emanating from v, then there is a
copy of G in K_n which is properly edge-coloured by c. This improves on a
result of Alon, Jiang, Miller, and Pritikin [Random Struct. Algorithms 23(4),
409-433, 2003]. On the other hand, if c assigns each colour to at most n/51D^2
edges of K_n, then there is a copy of G in K_n such that each edge of G
receives a different colour from c. This proves a conjecture of Frieze and
Krivelevich [Electron. J. Comb. 15(1), R59, 2008]. Our proofs rely on a
framework developed by Lu and Sz\'ekely [Electron. J. Comb. 14(1), R63, 2007]
for applying the local lemma to random injections. In order to improve the
constants in our results we use a version of the local lemma due to Bissacot,
Fern\'andez, Procacci, and Scoppola [preprint, arXiv:0910.1824].Comment: 9 page
Algorithmic Complexity of Power Law Networks
It was experimentally observed that the majority of real-world networks
follow power law degree distribution. The aim of this paper is to study the
algorithmic complexity of such "typical" networks. The contribution of this
work is twofold.
First, we define a deterministic condition for checking whether a graph has a
power law degree distribution and experimentally validate it on real-world
networks. This definition allows us to derive interesting properties of power
law networks. We observe that for exponents of the degree distribution in the
range such networks exhibit double power law phenomenon that was
observed for several real-world networks. Our observation indicates that this
phenomenon could be explained by just pure graph theoretical properties.
The second aim of our work is to give a novel theoretical explanation why
many algorithms run faster on real-world data than what is predicted by
algorithmic worst-case analysis. We show how to exploit the power law degree
distribution to design faster algorithms for a number of classical P-time
problems including transitive closure, maximum matching, determinant, PageRank
and matrix inverse. Moreover, we deal with the problems of counting triangles
and finding maximum clique. Previously, it has been only shown that these
problems can be solved very efficiently on power law graphs when these graphs
are random, e.g., drawn at random from some distribution. However, it is
unclear how to relate such a theoretical analysis to real-world graphs, which
are fixed. Instead of that, we show that the randomness assumption can be
replaced with a simple condition on the degrees of adjacent vertices, which can
be used to obtain similar results. As a result, in some range of power law
exponents, we are able to solve the maximum clique problem in polynomial time,
although in general power law networks the problem is NP-complete
Bounds for identifying codes in terms of degree parameters
An identifying code is a subset of vertices of a graph such that each vertex
is uniquely determined by its neighbourhood within the identifying code. If
\M(G) denotes the minimum size of an identifying code of a graph , it was
conjectured by F. Foucaud, R. Klasing, A. Kosowski and A. Raspaud that there
exists a constant such that if a connected graph with vertices and
maximum degree admits an identifying code, then \M(G)\leq
n-\tfrac{n}{d}+c. We use probabilistic tools to show that for any ,
\M(G)\leq n-\tfrac{n}{\Theta(d)} holds for a large class of graphs
containing, among others, all regular graphs and all graphs of bounded clique
number. This settles the conjecture (up to constants) for these classes of
graphs. In the general case, we prove \M(G)\leq n-\tfrac{n}{\Theta(d^{3})}.
In a second part, we prove that in any graph of minimum degree and
girth at least 5, \M(G)\leq(1+o_\delta(1))\tfrac{3\log\delta}{2\delta}n.
Using the former result, we give sharp estimates for the size of the minimum
identifying code of random -regular graphs, which is about
- …