3,874 research outputs found
Compression via Matroids: A Randomized Polynomial Kernel for Odd Cycle Transversal
The Odd Cycle Transversal problem (OCT) asks whether a given graph can be
made bipartite by deleting at most of its vertices. In a breakthrough
result Reed, Smith, and Vetta (Operations Research Letters, 2004) gave a
\BigOh(4^kkmn) time algorithm for it, the first algorithm with polynomial
runtime of uniform degree for every fixed . It is known that this implies a
polynomial-time compression algorithm that turns OCT instances into equivalent
instances of size at most \BigOh(4^k), a so-called kernelization. Since then
the existence of a polynomial kernel for OCT, i.e., a kernelization with size
bounded polynomially in , has turned into one of the main open questions in
the study of kernelization.
This work provides the first (randomized) polynomial kernelization for OCT.
We introduce a novel kernelization approach based on matroid theory, where we
encode all relevant information about a problem instance into a matroid with a
representation of size polynomial in . For OCT, the matroid is built to
allow us to simulate the computation of the iterative compression step of the
algorithm of Reed, Smith, and Vetta, applied (for only one round) to an
approximate odd cycle transversal which it is aiming to shrink to size . The
process is randomized with one-sided error exponentially small in , where
the result can contain false positives but no false negatives, and the size
guarantee is cubic in the size of the approximate solution. Combined with an
\BigOh(\sqrt{\log n})-approximation (Agarwal et al., STOC 2005), we get a
reduction of the instance to size \BigOh(k^{4.5}), implying a randomized
polynomial kernelization.Comment: Minor changes to agree with SODA 2012 version of the pape
Fractional Perfect b-Matching Polytopes. I: General Theory
The fractional perfect b-matching polytope of an undirected graph G is the
polytope of all assignments of nonnegative real numbers to the edges of G such
that the sum of the numbers over all edges incident to any vertex v is a
prescribed nonnegative number b_v. General theorems which provide conditions
for nonemptiness, give a formula for the dimension, and characterize the
vertices, edges and face lattices of such polytopes are obtained. Many of these
results are expressed in terms of certain spanning subgraphs of G which are
associated with subsets or elements of the polytope. For example, it is shown
that an element u of the fractional perfect b-matching polytope of G is a
vertex of the polytope if and only if each component of the graph of u either
is acyclic or else contains exactly one cycle with that cycle having odd
length, where the graph of u is defined to be the spanning subgraph of G whose
edges are those at which u is positive.Comment: 37 page
Hierarchies of Inefficient Kernelizability
The framework of Bodlaender et al. (ICALP 2008) and Fortnow and Santhanam
(STOC 2008) allows us to exclude the existence of polynomial kernels for a
range of problems under reasonable complexity-theoretical assumptions. However,
there are also some issues that are not addressed by this framework, including
the existence of Turing kernels such as the "kernelization" of Leaf Out
Branching(k) into a disjunction over n instances of size poly(k). Observing
that Turing kernels are preserved by polynomial parametric transformations, we
define a kernelization hardness hierarchy, akin to the M- and W-hierarchy of
ordinary parameterized complexity, by the PPT-closure of problems that seem
likely to be fundamentally hard for efficient Turing kernelization. We find
that several previously considered problems are complete for our fundamental
hardness class, including Min Ones d-SAT(k), Binary NDTM Halting(k), Connected
Vertex Cover(k), and Clique(k log n), the clique problem parameterized by k log
n
Subset feedback vertex set is fixed parameter tractable
The classical Feedback Vertex Set problem asks, for a given undirected graph
G and an integer k, to find a set of at most k vertices that hits all the
cycles in the graph G. Feedback Vertex Set has attracted a large amount of
research in the parameterized setting, and subsequent kernelization and
fixed-parameter algorithms have been a rich source of ideas in the field.
In this paper we consider a more general and difficult version of the
problem, named Subset Feedback Vertex Set (SUBSET-FVS in short) where an
instance comes additionally with a set S ? V of vertices, and we ask for a set
of at most k vertices that hits all simple cycles passing through S. Because of
its applications in circuit testing and genetic linkage analysis SUBSET-FVS was
studied from the approximation algorithms perspective by Even et al.
[SICOMP'00, SIDMA'00].
The question whether the SUBSET-FVS problem is fixed-parameter tractable was
posed independently by Kawarabayashi and Saurabh in 2009. We answer this
question affirmatively. We begin by showing that this problem is
fixed-parameter tractable when parametrized by |S|. Next we present an
algorithm which reduces the given instance to 2^k n^O(1) instances with the
size of S bounded by O(k^3), using kernelization techniques such as the
2-Expansion Lemma, Menger's theorem and Gallai's theorem. These two facts allow
us to give a 2^O(k log k) n^O(1) time algorithm solving the Subset Feedback
Vertex Set problem, proving that it is indeed fixed-parameter tractable.Comment: full version of a paper presented at ICALP'1
Quasirandom forcing orientations of cycles
An oriented graph is quasirandom-forcing if the limit (homomorphic)
density of in a sequence of tournaments is if and only if the
sequence is quasirandom. We study generalizations of the following result: the
cyclic orientation of a cycle of length is quasirandom-forcing if and
only if mod .
We show that no orientation of an odd cycle is quasirandom-forcing. In the
case of even cycles, we find sufficient conditions on an orientation to be
quasirandom-forcing, which we complement by identifying necessary conditions.
Using our general results and spectral techniques used to obtain them, we
classify which orientations of cycles of length up to are
quasirandom-forcing
Recognizing Graph Theoretic Properties with Polynomial Ideals
Many hard combinatorial problems can be modeled by a system of polynomial
equations. N. Alon coined the term polynomial method to describe the use of
nonlinear polynomials when solving combinatorial problems. We continue the
exploration of the polynomial method and show how the algorithmic theory of
polynomial ideals can be used to detect k-colorability, unique Hamiltonicity,
and automorphism rigidity of graphs. Our techniques are diverse and involve
Nullstellensatz certificates, linear algebra over finite fields, Groebner
bases, toric algebra, convex programming, and real algebraic geometry.Comment: 20 pages, 3 figure
The Noncommutative Geometry of k-graph C*-Algebras
This paper is comprised of two related parts. First we discuss which k-graph
algebras have faithful gauge invariant traces, where the gauge action of \T^k
is the canonical one. We give a sufficient condition for the existence of such
a trace, identify the C*-algebras of k-graphs satisfying this condition up to
Morita equivalence, and compute their K-theory.
For k-graphs with faithful gauge invariant trace, we construct a smooth
-summable semifinite spectral triple. We use the semifinite local
index theorem to compute the pairing with K-theory. This numerical pairing can
be obtained by applying the trace to a KK-pairing with values in the K-theory
of the fixed point algebra of the \T^k action. As with graph algebras, the
index pairing is an invariant for a finer structure than the isomorphism class
of the algebra.Comment: 38 pages, some pictures drawn in picTeX Some minor technical
revisions. Material has been reorganised with detailed discussion of k-graphs
admitting graph traces shortened and moved to an appendix. This version to
appear in K-theor
- …