33,227 research outputs found
Advice Complexity of the Online Induced Subgraph Problem
Several well-studied graph problems aim to select a largest (or smallest)
induced subgraph with a given property of the input graph. Examples of such
problems include maximum independent set, maximum planar graph, and many
others. We consider these problems, where the vertices are presented online.
With each vertex, the online algorithm must decide whether to include it into
the constructed subgraph, based only on the subgraph induced by the vertices
presented so far. We study the properties that are common to all these problems
by investigating the generalized problem: for a hereditary property \pty, find
some maximal induced subgraph having \pty. We study this problem from the point
of view of advice complexity. Using a result from Boyar et al. [STACS 2015], we
give a tight trade-off relationship stating that for inputs of length n roughly
n/c bits of advice are both needed and sufficient to obtain a solution with
competitive ratio c, regardless of the choice of \pty, for any c (possibly a
function of n). Surprisingly, a similar result cannot be obtained for the
symmetric problem: for a given cohereditary property \pty, find a minimum
subgraph having \pty. We show that the advice complexity of this problem varies
significantly with the choice of \pty.
We also consider preemptive online model, where the decision of the algorithm
is not completely irreversible. In particular, the algorithm may discard some
vertices previously assigned to the constructed set, but discarded vertices
cannot be reinserted into the set again. We show that, for the maximum induced
subgraph problem, preemption cannot help much, giving a lower bound of
bits of advice needed to obtain competitive ratio ,
where is any increasing function bounded by \sqrt{n/log n}. We also give a
linear lower bound for c close to 1
The Sketching Complexity of Graph and Hypergraph Counting
Subgraph counting is a fundamental primitive in graph processing, with
applications in social network analysis (e.g., estimating the clustering
coefficient of a graph), database processing and other areas. The space
complexity of subgraph counting has been studied extensively in the literature,
but many natural settings are still not well understood. In this paper we
revisit the subgraph (and hypergraph) counting problem in the sketching model,
where the algorithm's state as it processes a stream of updates to the graph is
a linear function of the stream. This model has recently received a lot of
attention in the literature, and has become a standard model for solving
dynamic graph streaming problems.
In this paper we give a tight bound on the sketching complexity of counting
the number of occurrences of a small subgraph in a bounded degree graph
presented as a stream of edge updates. Specifically, we show that the space
complexity of the problem is governed by the fractional vertex cover number of
the graph . Our subgraph counting algorithm implements a natural vertex
sampling approach, with sampling probabilities governed by the vertex cover of
. Our main technical contribution lies in a new set of Fourier analytic
tools that we develop to analyze multiplayer communication protocols in the
simultaneous communication model, allowing us to prove a tight lower bound. We
believe that our techniques are likely to find applications in other settings.
Besides giving tight bounds for all graphs , both our algorithm and lower
bounds extend to the hypergraph setting, albeit with some loss in space
complexity
Complexity Framework for Forbidden Subgraphs IV: The Steiner Forest Problem
We study Steiner Forest on -subgraph-free graphs, that is, graphs that do
not contain some fixed graph as a (not necessarily induced) subgraph. We
are motivated by a recent framework that completely characterizes the
complexity of many problems on -subgraph-free graphs. However, in contrast
to e.g. the related Steiner Tree problem, Steiner Forest falls outside this
framework. Hence, the complexity of Steiner Forest on -subgraph-free graphs
remained tantalizingly open. In this paper, we make significant progress
towards determining the complexity of Steiner Forest on -subgraph-free
graphs. Our main results are four novel polynomial-time algorithms for
different excluded graphs that are central to further understand its
complexity. Along the way, we study the complexity of Steiner Forest for graphs
with a small -deletion set, that is, a small set of vertices such that
each component of has size at most . Using this parameter, we give two
noteworthy algorithms that we later employ as subroutines. First, we prove
Steiner Forest is FPT parameterized by when (i.e. the vertex cover
number). Second, we prove Steiner Forest is polynomial-time solvable for graphs
with a 2-deletion set of size at most 2. The latter result is tight, as the
problem is NP-complete for graphs with a 3-deletion set of size 2
The complexity of acyclic conjunctive queries revisited
In this paper, we consider first-order logic over unary functions and study
the complexity of the evaluation problem for conjunctive queries described by
such kind of formulas. A natural notion of query acyclicity for this language
is introduced and we study the complexity of a large number of variants or
generalizations of acyclic query problems in that context (Boolean or not
Boolean, with or without inequalities, comparisons, etc...). Our main results
show that all those problems are \textit{fixed-parameter linear} i.e. they can
be evaluated in time where is the
size of the query , the database size, is
the size of the output and is some function whose value depends on the
specific variant of the query problem (in some cases, is the identity
function). Our results have two kinds of consequences. First, they can be
easily translated in the relational (i.e., classical) setting. Previously known
bounds for some query problems are improved and new tractable cases are then
exhibited. Among others, as an immediate corollary, we improve a result of
\~\cite{PapadimitriouY-99} by showing that any (relational) acyclic conjunctive
query with inequalities can be evaluated in time
. A second consequence of our method is
that it provides a very natural descriptive approach to the complexity of
well-known algorithmic problems. A number of examples (such as acyclic subgraph
problems, multidimensional matching, etc...) are considered for which new
insights of their complexity are given.Comment: 30 page
Advice Complexity of the Online Induced Subgraph Problem
Several well-studied graph problems aim to select a largest (or smallest) induced subgraph with a given property of the input graph. Examples include maximum independent set, maximum planar graph, maximum clique, minimum feedback vertex set, and many others. In online versions of these problems, the vertices of the graph are presented in an adversarial order, and with each vertex, the online algorithm must irreversibly decide whether to include it into the constructed subgraph, based only on the subgraph induced by the vertices presented so far. We study the properties that are common to all these problems by investigating a generalized problem: for an arbitrary but fixed hereditary property pi, find some maximal induced subgraph having pi. We investigate this problem from the point of view of advice complexity, i.e., we ask how some additional information about the yet unrevealed parts of the input can influence the solution quality. We evaluate the information in a quantitative way by considering the best possible advice of given size that describes the unknown input. Using a result from Boyar et al. [STACS 2015, LIPIcs 30], we give a tight trade-off relationship stating that, for inputs of length n, roughly n/c bits of advice are both needed and sufficient to obtain a solution with competitive ratio c, regardless of the choice of pi, for any c (possibly a function of n). This complements the results from Bartal et al. [SIAM Journal on Computing 36(2), 2006] stating that, without any advice, even a randomized algorithm cannot achieve a competitive ratio better than Omega(n^{1-log_{4}3-o(1)}). Surprisingly, for a given cohereditary property pi and the objective to find a minimum subgraph having pi, the advice complexity varies significantly with the choice of pi. We also consider a preemptive online model, inspired by some applications mainly in networking and scheduling, where the decision of the algorithm is not completely irreversible. In particular, the algorithm may discard some vertices previously assigned to the constructed set, but discarded vertices cannot be reinserted into the set. We show that, for the maximum induced subgraph problem, preemption does not significantly help by giving a lower bound of Omega(n/(c^2log c)) on the bits of advice that are needed to obtain
competitive ratio c, where c is any increasing function bounded from above by sqrt(n/log n). We also give a linear lower bound for c close to 1
Graph Partitioning With Input Restrictions
In this thesis we study the computational complexity of a number of graph
partitioning problems under a variety of input restrictions. Predominantly,
we research problems related to Colouring in the case where the input
is limited to hereditary graph classes, graphs of bounded diameter or some
combination of the two.
In Chapter 2 we demonstrate the dramatic eect that restricting our
input to hereditary graph classes can have on the complexity of a decision
problem. To do this, we show extreme jumps in the complexity of three
problems related to graph colouring between the class of all graphs and every
other hereditary graph class.
We then consider the problems Colouring and k-Colouring for Hfree graphs of bounded diameter in Chapter 3. A graph class is said to be
H-free for some graph H if it contains no induced subgraph isomorphic to
H. Similarly, G is said to be H-free for some set of graphs H, if it does not
contain any graph in H as an induced subgraph. Here, the set H consists
usually of a single cycle or tree but may also contain a number of cycles, for
example we give results for graphs of bounded diameter and girth.
Chapter 4 is dedicated to three variants of the Colouring problem,
Acyclic Colouring, Star Colouring, and Injective Colouring.
We give complete or almost complete dichotomies for each of these decision
problems restricted to H-free graphs.
In Chapter 5 we study these problems, along with three further variants of
3-Colouring, Independent Odd Cycle Transversal, Independent
Feedback Vertex Set and Near-Bipartiteness, for H-free graphs of
bounded diameter.
Finally, Chapter 6 deals with a dierent variety of problems. We study
the problems Disjoint Paths and Disjoint Connected Subgraphs for
H-free graphs
Algorithms for the Maximum Independent Set Problem
This thesis focuses mainly on the Maximum Independent Set (MIS) problem. Some related graph theoretical combinatorial problems are also considered. As these problems are generally NP-hard, we study their complexity in hereditary graph classes, i.e. graph classes defined by a set F of forbidden induced subgraphs.
We revise the literature about the issue, for example complexity results, applications, and techniques tackling the problem. Through considering some general approach, we exhibit several cases where the problem admits a polynomial-time solution. More specifically, we present polynomial-time algorithms for the MIS problem in:
+ some subclasses of -free graphs (thus generalizing the classical result for -free graphs);
+ some subclasses of -free graphs (thus generalizing the classical results for subclasses of P5-free graphs);
+ some subclasses of -free graphs and -free graphs; and various subclasses of graphs of bounded maximum degree, for example subcubic graphs.
Our algorithms are based on various approaches. In particular, we characterize augmenting graphs in a subclass of -free graphs and a subclass of -free graphs. These characterizations are partly based on extensions of the concept of redundant set [125]. We also propose methods finding augmenting chains, an extension of the method in [99], and finding augmenting trees, an extension of the methods in [125]. We apply the augmenting vertex technique, originally used for -free graphs or banner-free graphs, for some more general graph classes.
We consider a general graph theoretical combinatorial problem, the so-called Maximum -Set problem. Two special cases of this problem, the so-called Maximum F-(Strongly) Independent Subgraph and Maximum F-Induced Subgraph, where F is a connected graph set, are considered. The complexity of the Maximum F-(Strongly) Independent Subgraph problem is revised and the NP-hardness of the Maximum F-Induced Subgraph problem is proved. We also extend the augmenting approach to apply it for the general Maximum Î -Set problem.
We revise on classical graph transformations and give two unified views based on pseudo-boolean functions and αff-redundant vertex. We also make extensive uses of α-redundant vertices, originally mainly used for -free graphs, to give polynomial solutions for some subclasses of -free graphs and -free graphs.
We consider some classical sequential greedy heuristic methods. We also combine classical algorithms with αff-redundant vertices to have new strategies of choosing the next vertex in greedy methods. Some aspects of the algorithms, for example forbidden induced subgraph sets and worst case results, are also considered.
Finally, we restrict our attention on graphs of bounded maximum degree and subcubic graphs. Then by using some techniques, for example ff-redundant vertex, clique separator, and arguments based on distance, we general these results for some subclasses of -free subcubic graphs
Counting Subgraphs in Somewhere Dense Graphs
We study the problems of counting copies and induced copies of a small pattern graph H in a large host graph G. Recent work fully classified the complexity of those problems according to structural restrictions on the patterns H. In this work, we address the more challenging task of analysing the complexity for restricted patterns and restricted hosts. Specifically we ask which families of allowed patterns and hosts imply fixed-parameter tractability, i.e., the existence of an algorithm running in time f(H)?|G|^O(1) for some computable function f. Our main results present exhaustive and explicit complexity classifications for families that satisfy natural closure properties. Among others, we identify the problems of counting small matchings and independent sets in subgraph-closed graph classes ? as our central objects of study and establish the following crisp dichotomies as consequences of the Exponential Time Hypothesis:
- Counting k-matchings in a graph G ? ? is fixed-parameter tractable if and only if ? is nowhere dense.
- Counting k-independent sets in a graph G ? ? is fixed-parameter tractable if and only if ? is nowhere dense. Moreover, we obtain almost tight conditional lower bounds if ? is somewhere dense, i.e., not nowhere dense. These base cases of our classifications subsume a wide variety of previous results on the matching and independent set problem, such as counting k-matchings in bipartite graphs (Curticapean, Marx; FOCS 14), in F-colourable graphs (Roth, Wellnitz; SODA 20), and in degenerate graphs (Bressan, Roth; FOCS 21), as well as counting k-independent sets in bipartite graphs (Curticapean et al.; Algorithmica 19).
At the same time our proofs are much simpler: using structural characterisations of somewhere dense graphs, we show that a colourful version of a recent breakthrough technique for analysing pattern counting problems (Curticapean, Dell, Marx; STOC 17) applies to any subgraph-closed somewhere dense class of graphs, yielding a unified view of our current understanding of the complexity of subgraph counting
Complexity Framework for Forbidden Subgraphs IV: The Steiner Forest Problem
We study Steiner Forest on H-subgraph-free graphs, that is, graphs that do not contain some fixed graph H as a (not necessarily induced) subgraph. We are motivated by a recent framework that completely characterizes the complexity of many problems on H-subgraph-free graphs. However, in contrast to e.g. the related Steiner Tree problem, Steiner Forest falls outside this framework. Hence, the complexity of Steiner Forest on H-subgraph-free graphs remained tantalizingly open. In this paper, we make significant progress towards determining the complexity of Steiner Forest on H-subgraph-free graphs. Our main results are four novel polynomial-time algorithms for different excluded graphs H that are central to further understand its complexity. Along the way, we study the complexity of Steiner Forest for graphs with a small c-deletion set, that is, a small set S of vertices such that each component of GâS has size at most c. Using this parameter, we give two noteworthy algorithms that we later employ as subroutines. First, we prove Steiner Forest is FPT parameterized by |S| when c=1 (i.e. the vertex cover number). Second, we prove Steiner Forest is polynomial-time solvable for graphs with a 2-deletion set of size at most 2. The latter result is tight, as the problem is NP-complete for graphs with a 3-deletion set of size 2
- âŠ