Improved lower bounds on parity vertex colourings of binary trees

10/08/2019
by   Jan Soukup, et al.
0

A vertex colouring is called a parity vertex colouring if every path in G contains an odd number of occurrences of some colour. Let χ_p(G) be the minimal number of colours in a parity vertex colouring of G. We show that χ_p(B^*) >√(d) + 1/4_2(d) - 1/2 where B^* is a subdivision of the complete binary tree B_d. This improves the previously known bound χ_p(B^*) >√(d) and enhances the techniques used for proving lower bounds. We use this result to show that χ_p(T) > √(n) where T is any binary tree with n vertices. These lower bounds are also lower bounds for the conflict-free colouring. We also prove that χ_p(G) is not monotone with respect to minors and determine its value for cycles. Furthermore, we study complexity of computing the parity vertex chromatic number χ_p(G). We show that checking whether a vertex colouring is a parity vertex colouring is coNP-complete. Then we use Courcelle's theorem to prove that the problem of checking whether χ_p(G) < k is fixed-parameter tractable with respect k and the treewidth of G.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/10/2021

Slicing the hypercube is not easy

We prove that at least Ω(n^0.51) hyperplanes are needed to slice all edg...
research
03/11/2022

Vertex Cover and Feedback Vertex Set Above and Below Structural Guarantees

Vertex Cover parameterized by the solution size k is the quintessential ...
research
03/02/2022

CNF Encodings of Parity

The minimum number of clauses in a CNF representation of the parity func...
research
07/09/2021

New bounds for Ramsey numbers R(K_k-e,K_l-e)

Let R(H_1,H_2) denote the Ramsey number for the graphs H_1, H_2, and let...
research
07/16/2023

Tight (Double) Exponential Bounds for NP-Complete Problems: Treewidth and Vertex Cover Parameterizations

Treewidth is as an important parameter that yields tractability for many...
research
04/27/2023

Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF

The QSAT problem, which asks to evaluate a quantified Boolean formula (Q...
research
08/04/2020

Tree Inference: Response Time in a Binary Multinomial Processing Tree, Representation and Uniqueness of Parameters

A Multinomial Processing Tree (MPT) is a directed tree with a probabilit...

Please sign up or login with your details

Forgot password? Click here to reset