1,099 research outputs found
On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic
Brambles were introduced as the dual notion to treewidth, one of the most
central concepts of the graph minor theory of Robertson and Seymour. Recently,
Grohe and Marx showed that there are graphs G, in which every bramble of order
larger than the square root of the treewidth is of exponential size in |G|. On
the positive side, they show the existence of polynomial-sized brambles of the
order of the square root of the treewidth, up to log factors. We provide the
first polynomial time algorithm to construct a bramble in general graphs and
achieve this bound, up to log-factors. We use this algorithm to construct
grid-like minors, a replacement structure for grid-minors recently introduced
by Reed and Wood, in polynomial time. Using the grid-like minors, we introduce
the notion of a perfect bramble and an algorithm to find one in polynomial
time. Perfect brambles are brambles with a particularly simple structure and
they also provide us with a subgraph that has bounded degree and still large
treewidth; we use them to obtain a meta-theorem on deciding certain
parameterized subgraph-closed problems on general graphs in time singly
exponential in the parameter.
The second part of our work deals with providing a lower bound to Courcelle's
famous theorem, stating that every graph property that can be expressed by a
sentence in monadic second-order logic (MSO), can be decided by a linear time
algorithm on classes of graphs of bounded treewidth. Using our results from the
first part of our work we establish a strong lower bound for tractability of
MSO on classes of colored graphs
Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems
A complete classification of the computational complexity of the fixed-point
existence problem for boolean dynamical systems, i.e., finite discrete
dynamical systems over the domain {0, 1}, is presented. For function classes F
and graph classes G, an (F, G)-system is a boolean dynamical system such that
all local transition functions lie in F and the underlying graph lies in G. Let
F be a class of boolean functions which is closed under composition and let G
be a class of graphs which is closed under taking minors. The following
dichotomy theorems are shown: (1) If F contains the self-dual functions and G
contains the planar graphs then the fixed-point existence problem for (F,
G)-systems with local transition function given by truth-tables is NP-complete;
otherwise, it is decidable in polynomial time. (2) If F contains the self-dual
functions and G contains the graphs having vertex covers of size one then the
fixed-point existence problem for (F, G)-systems with local transition function
given by formulas or circuits is NP-complete; otherwise, it is decidable in
polynomial time.Comment: 17 pages; this version corrects an error/typo in the 2008/01/24
versio
KP solitons in shallow water
The main purpose of the paper is to provide a survey of our recent studies on
soliton solutions of the Kadomtsev-Petviashvili (KP) equation. The
classification is based on the far-field patterns of the solutions which
consist of a finite number of line-solitons. Each soliton solution is then
defined by a point of the totally non-negative Grassmann variety which can be
parametrized by a unique derangement of the symmetric group of permutations.
Our study also includes certain numerical stability problems of those soliton
solutions. Numerical simulations of the initial value problems indicate that
certain class of initial waves asymptotically approach to these exact solutions
of the KP equation. We then discuss an application of our theory to the Mach
reflection problem in shallow water. This problem describes the resonant
interaction of solitary waves appearing in the reflection of an obliquely
incident wave onto a vertical wall, and it predicts an extra-ordinary four-fold
amplification of the wave at the wall. There are several numerical studies
confirming the prediction, but all indicate disagreements with the KP theory.
Contrary to those previous numerical studies, we find that the KP theory
actually provides an excellent model to describe the Mach reflection phenomena
when the higher order corrections are included to the quasi-two dimensional
approximation. We also present laboratory experiments of the Mach reflection
recently carried out by Yeh and his colleagues, and show how precisely the KP
theory predicts this wave behavior.Comment: 50 pages, 25 figure
Span programs and quantum algorithms for st-connectivity and claw detection
We introduce a span program that decides st-connectivity, and generalize the
span program to develop quantum algorithms for several graph problems. First,
we give an algorithm for st-connectivity that uses O(n d^{1/2}) quantum queries
to the n x n adjacency matrix to decide if vertices s and t are connected,
under the promise that they either are connected by a path of length at most d,
or are disconnected. We also show that if T is a path, a star with two
subdivided legs, or a subdivision of a claw, its presence as a subgraph in the
input graph G can be detected with O(n) quantum queries to the adjacency
matrix. Under the promise that G either contains T as a subgraph or does not
contain T as a minor, we give O(n)-query quantum algorithms for detecting T
either a triangle or a subdivision of a star. All these algorithms can be
implemented time efficiently and, except for the triangle-detection algorithm,
in logarithmic space. One of the main techniques is to modify the
st-connectivity span program to drop along the way "breadcrumbs," which must be
retrieved before the path from s is allowed to enter t.Comment: 18 pages, 4 figure
Fixed-parameter tractable canonization and isomorphism test for graphs of bounded treewidth
We give a fixed-parameter tractable algorithm that, given a parameter and
two graphs , either concludes that one of these graphs has treewidth
at least , or determines whether and are isomorphic. The running
time of the algorithm on an -vertex graph is ,
and this is the first fixed-parameter algorithm for Graph Isomorphism
parameterized by treewidth.
Our algorithm in fact solves the more general canonization problem. We namely
design a procedure working in time that, for a
given graph on vertices, either concludes that the treewidth of is
at least , or: * finds in an isomorphic-invariant way a graph
that is isomorphic to ; * finds an isomorphism-invariant
construction term --- an algebraic expression that encodes together with a
tree decomposition of of width .
Hence, the isomorphism test reduces to verifying whether the computed
isomorphic copies or the construction terms for and are equal.Comment: Full version of a paper presented at FOCS 201
- âŠ