Table of Contents
Fetching ...

Parameterized Complexity of (d,r)-Domination via Modular Decomposition

Gennaro Cordasco, Luisa Gargano, Adele A. Rescigno

TL;DR

This work studies the parameterized complexity of $(d,r)$-Domination, a generalization of domination that combines distance and multiplicity, with motivation from mitigating misinformation spread. It leverages modular decomposition and power-graph techniques to derive FPT results and kernelizations for several structural parameters, including ${mw}$, ${itp}$, and ${nd}$. The authors provide a DP/ILP-based fixed-parameter algorithm for ${mw}+d$, a polynomial compression for $(1,r)$-Domination under connectedness, a PC for $(d,r)$-Domination parameterized by ${itp}+d$, and a polynomial kernel for ${nd}+d$ by modular pruning. Collectively, these results advance tractability for $(d,r)$-Domination under structural graph parameters and offer practical preprocessing and decomposition strategies for related network problems.

Abstract

With the rise of social media, misinformation has significant negative effects on the decision-making of individuals, organizations and communities within society. Identifying and mitigating the spread of fake information is a challenging issue. We consider a generalization of the Domination problem that can be used to detect a set of individuals who, through an awareness process, can prevent the spreading of fake narratives. The considered problem, named \textsc{$(d,r)$-Domination} generalizes both distance and multiple domination. We study the parameterized complexity of the problem according to standard and structural parameters. We give fixed-parameter algorithms as well as polynomial compressions/kernelizations for some variants of the problem and parameter combinations.

Parameterized Complexity of (d,r)-Domination via Modular Decomposition

TL;DR

This work studies the parameterized complexity of -Domination, a generalization of domination that combines distance and multiplicity, with motivation from mitigating misinformation spread. It leverages modular decomposition and power-graph techniques to derive FPT results and kernelizations for several structural parameters, including , , and . The authors provide a DP/ILP-based fixed-parameter algorithm for , a polynomial compression for -Domination under connectedness, a PC for -Domination parameterized by , and a polynomial kernel for by modular pruning. Collectively, these results advance tractability for -Domination under structural graph parameters and offer practical preprocessing and decomposition strategies for related network problems.

Abstract

With the rise of social media, misinformation has significant negative effects on the decision-making of individuals, organizations and communities within society. Identifying and mitigating the spread of fake information is a challenging issue. We consider a generalization of the Domination problem that can be used to detect a set of individuals who, through an awareness process, can prevent the spreading of fake narratives. The considered problem, named \textsc{-Domination} generalizes both distance and multiple domination. We study the parameterized complexity of the problem according to standard and structural parameters. We give fixed-parameter algorithms as well as polynomial compressions/kernelizations for some variants of the problem and parameter combinations.

Paper Structure

This paper contains 8 sections, 15 theorems, 2 equations, 2 figures, 1 table, 1 algorithm.

Key Result

Lemma 1

Let $G=(V, E)$ be any connected undirected graph. It holds

Figures (2)

  • Figure 1: (a) A graph $G$. (b) The parse tree $T(G)$ associated with a decomposition of $G$ into modules. The width of the presented decomposition is $5$. (c) A hierarchical representation of the decomposition of $G$ into modules.
  • Figure 2: (a)-(c) A graph $G$ with iterated type partition number $5$ and its iterative identification. Dashed circles describe the identified clique or independent set modules. (d) The parse tree $T(G)$ associated with a decomposition of $G$ into modules. Apart from the root, all internal vertices use only operations (O2) and (O3).

Theorems & Definitions (24)

  • Definition 1
  • Definition 2
  • Definition 3
  • Definition 4
  • Lemma 1
  • Theorem 1
  • proof
  • Corollary 1
  • Definition 5
  • Lemma 2
  • ...and 14 more