59 research outputs found
3-Colourability of Dually Chordal Graphs in Linear Time
A graph G is dually chordal if there is a spanning tree T of G such that any
maximal clique of G induces a subtree in T. This paper investigates the
Colourability problem on dually chordal graphs. It will show that it is
NP-complete in case of four colours and solvable in linear time with a simple
algorithm in case of three colours. In addition, it will be shown that a dually
chordal graph is 3-colourable if and only if it is perfect and has no clique of
size four
Star Colouring of Bounded Degree Graphs and Regular Graphs
A -star colouring of a graph is a function
such that for every edge of
, and every bicoloured connected subgraph of is a star. The star
chromatic number of , , is the least integer such that is
-star colourable. We prove that for
every -regular graph with . We reveal the structure and
properties of even-degree regular graphs that attain this lower bound. The
structure of such graphs is linked with a certain type of Eulerian
orientations of . Moreover, this structure can be expressed in the LC-VSP
framework of Telle and Proskurowski (SIDMA, 1997), and hence can be tested by
an FPT algorithm with the parameter either treewidth, cliquewidth, or
rankwidth. We prove that for , a -regular graph is
-star colourable only if is divisible by . For
each and divisible by , we construct a -regular
Hamiltonian graph on vertices which is -star colourable.
The problem -STAR COLOURABILITY takes a graph as input and asks
whether is -star colourable. We prove that 3-STAR COLOURABILITY is
NP-complete for planar bipartite graphs of maximum degree three and arbitrarily
large girth. Besides, it is coNP-hard to test whether a bipartite graph of
maximum degree eight has a unique 3-star colouring up to colour swaps. For
, -STAR COLOURABILITY of bipartite graphs of maximum degree is
NP-complete, and does not even admit a -time algorithm unless ETH
fails
Vertex colouring and forbidden subgraphs - a survey
There is a great variety of colouring concepts and results in the literature. Here our focus is to survey results on vertex colourings of graphs defined in terms of forbidden induced subgraph conditions
On the Parameterized Intractability of Monadic Second-Order Logic
One of Courcelle's celebrated results states that if C is a class of graphs
of bounded tree-width, then model-checking for monadic second order logic
(MSO_2) is fixed-parameter tractable (fpt) on C by linear time parameterized
algorithms, where the parameter is the tree-width plus the size of the formula.
An immediate question is whether this is best possible or whether the result
can be extended to classes of unbounded tree-width. In this paper we show that
in terms of tree-width, the theorem cannot be extended much further. More
specifically, we show that if C is a class of graphs which is closed under
colourings and satisfies certain constructibility conditions and is such that
the tree-width of C is not bounded by \log^{84} n then MSO_2-model checking is
not fpt unless SAT can be solved in sub-exponential time. If the tree-width of
C is not poly-logarithmically bounded, then MSO_2-model checking is not fpt
unless all problems in the polynomial-time hierarchy can be solved in
sub-exponential time
Cliques, colouring and satisfiability : from structure to algorithms
We examine the implications of various structural restrictions on the computational
complexity of three central problems of theoretical computer science
(colourability, independent set and satisfiability), and their relatives. All problems
we study are generally NP-hard and they remain NP-hard under various restrictions.
Finding the greatest possible restrictions under which a problem is computationally
difficult is important for a number of reasons. Firstly, this can make it easier to
establish the NP-hardness of new problems by allowing easier transformations. Secondly,
this can help clarify the boundary between tractable and intractable instances
of the problem.
Typically an NP-hard graph problem admits an infinite sequence of narrowing
families of graphs for which the problem remains NP-hard. We obtain a number
of such results; each of these implies necessary conditions for polynomial-time
solvability of the respective problem in restricted graph classes. We also identify
a number of classes for which these conditions are sufficient and describe explicit
algorithms that solve the problem in polynomial time in those classes. For the
satisfiability problem we use the language of graph theory to discover the very first
boundary property, i.e. a property that separates tractable and intractable instances
of the problem. Whether this property is unique remains a big open problem
Algorithmic Meta-Theorems
Algorithmic meta-theorems are general algorithmic results applying to a whole
range of problems, rather than just to a single problem alone. They often have
a "logical" and a "structural" component, that is they are results of the form:
every computational problem that can be formalised in a given logic L can be
solved efficiently on every class C of structures satisfying certain
conditions. This paper gives a survey of algorithmic meta-theorems obtained in
recent years and the methods used to prove them. As many meta-theorems use
results from graph minor theory, we give a brief introduction to the theory
developed by Robertson and Seymour for their proof of the graph minor theorem
and state the main algorithmic consequences of this theory as far as they are
needed in the theory of algorithmic meta-theorems
Coalition structure generation over graphs
We give the analysis of the computational complexity of coalition structure generation over graphs. Given an undirected graph G = (N,E) and a valuation function v : P(N) → R over the subsets of nodes, the problem is to find a partition of N into connected subsets, that maximises the sum of the components values. This problem is generally NP-complete; in particular, it is hard for a defined class of valuation functions which are independent of disconnected members — that is, two nodes have no effect on each others marginal contribution to their vertex separator. Nonetheless, for all such functions we provide bounds on the complexity of coalition structure generation over general and minor free graphs. Our proof is constructive and yields algorithms for solving corresponding instances of the problem. Furthermore, we derive linear time bounds for graphs of bounded treewidth. However, as we show, the problem remains NP-complete for planar graphs, and hence, for any Kk minor free graphs where k ≥ 5. Moreover, a 3-SAT problem with m clauses can be represented by a coalition structure generation problem over a planar graph with O(m2) nodes. Importantly, our hardness result holds for a particular subclass of valuation functions, termed edge sum, where the value of each subset of nodes is simply determined by the sum of given weights of the edges in the induced subgraph
- …