230 research outputs found
The Parameterised Complexity of List Problems on Graphs of Bounded Treewidth
We consider the parameterised complexity of several list problems on graphs,
with parameter treewidth or pathwidth. In particular, we show that List Edge
Chromatic Number and List Total Chromatic Number are fixed parameter tractable,
parameterised by treewidth, whereas List Hamilton Path is W[1]-hard, even
parameterised by pathwidth. These results resolve two open questions of
Fellows, Fomin, Lokshtanov, Rosamond, Saurabh, Szeider and Thomassen (2011).Comment: Author final version, to appear in Information and Computation.
Changes from previous version include improved literature references and
restructured proof in Section
Exponential Time Complexity of the Permanent and the Tutte Polynomial
We show conditional lower bounds for well-studied #P-hard problems:
(a) The number of satisfying assignments of a 2-CNF formula with n variables
cannot be counted in time exp(o(n)), and the same is true for computing the
number of all independent sets in an n-vertex graph.
(b) The permanent of an n x n matrix with entries 0 and 1 cannot be computed
in time exp(o(n)).
(c) The Tutte polynomial of an n-vertex multigraph cannot be computed in time
exp(o(n)) at most evaluation points (x,y) in the case of multigraphs, and it
cannot be computed in time exp(o(n/polylog n)) in the case of simple graphs.
Our lower bounds are relative to (variants of) the Exponential Time
Hypothesis (ETH), which says that the satisfiability of n-variable 3-CNF
formulas cannot be decided in time exp(o(n)). We relax this hypothesis by
introducing its counting version #ETH, namely that the satisfying assignments
cannot be counted in time exp(o(n)). In order to use #ETH for our lower bounds,
we transfer the sparsification lemma for d-CNF formulas to the counting
setting
Star 5-edge-colorings of subcubic multigraphs
The star chromatic index of a multigraph , denoted , is the
minimum number of colors needed to properly color the edges of such that no
path or cycle of length four is bi-colored. A multigraph is star
-edge-colorable if . Dvo\v{r}\'ak, Mohar and \v{S}\'amal
[Star chromatic index, J Graph Theory 72 (2013), 313--326] proved that every
subcubic multigraph is star -edge-colorable, and conjectured that every
subcubic multigraph should be star -edge-colorable. Kerdjoudj, Kostochka and
Raspaud considered the list version of this problem for simple graphs and
proved that every subcubic graph with maximum average degree less than is
star list--edge-colorable. It is known that a graph with maximum average
degree is not necessarily star -edge-colorable. In this paper, we
prove that every subcubic multigraph with maximum average degree less than
is star -edge-colorable.Comment: to appear in Discrete Mathematics. arXiv admin note: text overlap
with arXiv:1701.0410
Strong edge-colorings for k-degenerate graphs
We prove that the strong chromatic index for each -degenerate graph with
maximum degree is at most
- …