4,415 research outputs found
Exploring Subexponential Parameterized Complexity of Completion Problems
Let be a family of graphs. In the -Completion problem,
we are given a graph and an integer as input, and asked whether at most
edges can be added to so that the resulting graph does not contain a
graph from as an induced subgraph. It appeared recently that special
cases of -Completion, the problem of completing into a chordal graph
known as Minimum Fill-in, corresponding to the case of , and the problem of completing into a split graph,
i.e., the case of , are solvable in parameterized
subexponential time . The exploration of this
phenomenon is the main motivation for our research on -Completion.
In this paper we prove that completions into several well studied classes of
graphs without long induced cycles also admit parameterized subexponential time
algorithms by showing that:
- The problem Trivially Perfect Completion is solvable in parameterized
subexponential time , that is -Completion for , a cycle and a path on four
vertices.
- The problems known in the literature as Pseudosplit Completion, the case
where , and Threshold Completion, where , are also solvable in time .
We complement our algorithms for -Completion with the following
lower bounds:
- For , , , and
, -Completion cannot be solved in time
unless the Exponential Time Hypothesis (ETH) fails.
Our upper and lower bounds provide a complete picture of the subexponential
parameterized complexity of -Completion problems for .Comment: 32 pages, 16 figures, A preliminary version of this paper appeared in
the proceedings of STACS'1
Combinatorially interpreting generalized Stirling numbers
Let be a word in alphabet with 's and 's.
Interpreting "" as multiplication by , and "" as differentiation with
respect to , the identity , valid
for any smooth function , defines a sequence , the terms of
which we refer to as the {\em Stirling numbers (of the second kind)} of .
The nomenclature comes from the fact that when , we have , the ordinary Stirling number of the second kind.
Explicit expressions for, and identities satisfied by, the have been
obtained by numerous authors, and combinatorial interpretations have been
presented. Here we provide a new combinatorial interpretation that retains the
spirit of the familiar interpretation of as a count of
partitions. Specifically, we associate to each a quasi-threshold graph
, and we show that enumerates partitions of the vertex set of
into classes that do not span an edge of . We also discuss some
relatives of, and consequences of, our interpretation, including -analogs
and bijections between families of labelled forests and sets of restricted
partitions.Comment: To appear in Eur. J. Combin., doi:10.1016/j.ejc.2014.07.00
- …