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