Meta-kernelization with structural parameters

作者:

Highlights:

• Kernelization meta-algorithms parameterized by structural graph parameters.

• Preprocessing for MSO definable decision, optimization and counting problems.

• Parameter based on a combination of rank-width and modular decompositions.

摘要

•Kernelization meta-algorithms parameterized by structural graph parameters.•Preprocessing for MSO definable decision, optimization and counting problems.•Parameter based on a combination of rank-width and modular decompositions.

论文关键词:Parameterized complexity,Kernelization,Rank-width,Clique-width,Boolean-width,Monadic second-order logic,Modular decomposition

论文评审过程:Received 27 August 2014, Accepted 18 August 2015, Available online 10 September 2015, Version of Record 27 November 2015.

论文官网地址:https://doi.org/10.1016/j.jcss.2015.08.003