20,518 research outputs found
Elimination Distance to Bounded Degree on Planar Graphs
We study the graph parameter elimination distance to bounded degree, which was introduced by Bulian and Dawar in their study of the parameterized complexity of the graph isomorphism problem. We prove that the problem is fixed-parameter tractable on planar graphs, that is, there exists an algorithm that given a planar graph G and integers d and k decides in time f(k,d)? n^c for a computable function f and constant c whether the elimination distance of G to the class of degree d graphs is at most k
Amenability and computability
In this paper we extend the approach of M. Cavaleri to effective amenability
to the class of computably enumerable groups, i.e. in particular we do not
assume that groups are finitely generated. In the case of computable groups we
also study complexity of the set of all effective F{\o}lner sequences and
effective paradoxical decomposition. The paper is extended by an appendix
written by Aleksander Ivanov, which contains a solution of a problem from the
previous version
Differentially Private Data Analysis of Social Networks via Restricted Sensitivity
We introduce the notion of restricted sensitivity as an alternative to global
and smooth sensitivity to improve accuracy in differentially private data
analysis. The definition of restricted sensitivity is similar to that of global
sensitivity except that instead of quantifying over all possible datasets, we
take advantage of any beliefs about the dataset that a querier may have, to
quantify over a restricted class of datasets. Specifically, given a query f and
a hypothesis H about the structure of a dataset D, we show generically how to
transform f into a new query f_H whose global sensitivity (over all datasets
including those that do not satisfy H) matches the restricted sensitivity of
the query f. Moreover, if the belief of the querier is correct (i.e., D is in
H) then f_H(D) = f(D). If the belief is incorrect, then f_H(D) may be
inaccurate.
We demonstrate the usefulness of this notion by considering the task of
answering queries regarding social-networks, which we model as a combination of
a graph and a labeling of its vertices. In particular, while our generic
procedure is computationally inefficient, for the specific definition of H as
graphs of bounded degree, we exhibit efficient ways of constructing f_H using
different projection-based techniques. We then analyze two important query
classes: subgraph counting queries (e.g., number of triangles) and local
profile queries (e.g., number of people who know a spy and a computer-scientist
who know each other). We demonstrate that the restricted sensitivity of such
queries can be significantly lower than their smooth sensitivity. Thus, using
restricted sensitivity we can maintain privacy whether or not D is in H, while
providing more accurate results in the event that H holds true
Deciding first-order properties of nowhere dense graphs
Nowhere dense graph classes, introduced by Nesetril and Ossona de Mendez,
form a large variety of classes of "sparse graphs" including the class of
planar graphs, actually all classes with excluded minors, and also bounded
degree graphs and graph classes of bounded expansion.
We show that deciding properties of graphs definable in first-order logic is
fixed-parameter tractable on nowhere dense graph classes. At least for graph
classes closed under taking subgraphs, this result is optimal: it was known
before that for all classes C of graphs closed under taking subgraphs, if
deciding first-order properties of graphs in C is fixed-parameter tractable,
then C must be nowhere dense (under a reasonable complexity theoretic
assumption).
As a by-product, we give an algorithmic construction of sparse neighbourhood
covers for nowhere dense graphs. This extends and improves previous
constructions of neighbourhood covers for graph classes with excluded minors.
At the same time, our construction is considerably simpler than those. Our
proofs are based on a new game-theoretic characterisation of nowhere dense
graphs that allows for a recursive version of locality-based algorithms on
these classes. On the logical side, we prove a "rank-preserving" version of
Gaifman's locality theorem.Comment: 30 page
Stallings graphs for quasi-convex subgroups
We show that one can define and effectively compute Stallings graphs for
quasi-convex subgroups of automatic groups (\textit{e.g.} hyperbolic groups or
right-angled Artin groups). These Stallings graphs are finite labeled graphs,
which are canonically associated with the corresponding subgroups. We show that
this notion of Stallings graphs allows a unified approach to many algorithmic
problems: some which had already been solved like the generalized membership
problem or the computation of a quasi-convexity constant (Kapovich, 1996); and
others such as the computation of intersections, the conjugacy or the almost
malnormality problems.
Our results extend earlier algorithmic results for the more restricted class
of virtually free groups. We also extend our construction to relatively
quasi-convex subgroups of relatively hyperbolic groups, under certain
additional conditions.Comment: 40 pages. New and improved versio
- …