A Note on the Complexity of Defensive Domination

In a graph G, a k-attack A is any set of at most k vertices and -defense D is a set of at most vertices. We say that defense D counters attack A if each a ∈ A can be matched to a distinct defender d ∈ D with a equal to d or a adjacent to d in G. In the defensive domination problem, we are interested in deciding, for a graph G and positive integers k and given on input, if there exists an -defense that counters every possible k-attack on G. Defensive domination is a natural resource allocation problem and can be used to model network robustness and security, disaster response strategies, and redundancy designs.<br/>The defensive domination problem is naturally in the complexity class Σ^₂. The problem was known to be NP-hard in general, and polynomial-time algorithms were found for some restricted graph classes. In this note, we prove that the defensive domination problem is Σ^₂-complete.<br/>We also introduce a natural variant of the defensive domination problem in which the defense is allowed to be a multiset of vertices. This variant is also Σ^₂-complete, but we show that it admits a polynomial-time algorithm in the class of interval graphs. A similar result was known for the original setting in the class of proper interval graphs.

Authors

Publication Details

Journal
Research Publications (Maastricht University)
Published
2025-01-01
DOI
https://doi.org/10.4230/lipics.mfcs.2025.35
Primary Topic
Game Theory and Applications
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

A Note on the Complexity of Defensive Domination

Tomasz Krawczyk, Steven Chaplick, Grzegorz Gutowski
Research Publications (Maastricht University)
Game Theory and Applications
article

A Note on the Complexity of Defensive Domination

Tomasz Krawczyk, Steven Chaplick, Grzegorz Gutowski
article en

Abstract

In a graph G, a k-attack A is any set of at most k vertices and -defense D is a set of at most vertices. We say that defense D counters attack A if each a ∈ A can be matched to a distinct defender d ∈ D with a equal to d or a adjacent to d in G. In the defensive domination problem, we are interested in deciding, for a graph G and positive integers k and given on input, if there exists an -defense that counters every possible k-attack on G. Defensive domination is a natural resource allocation problem and can be used to model network robustness and security, disaster response strategies, and redundancy designs.<br/>The defensive domination problem is naturally in the complexity class Σ^₂. The problem was known to be NP-hard in general, and polynomial-time algorithms were found for some restricted graph classes. In this note, we prove that the defensive domination problem is Σ^₂-complete.<br/>We also introduce a natural variant of the defensive domination problem in which the defense is allowed to be a multiset of vertices. This variant is also Σ^₂-complete, but we show that it admits a polynomial-time algorithm in the class of interval graphs. A similar result was known for the original setting in the class of proper interval graphs.

Research Publications (Maastricht University)
Narodowym Centrum Nauki
Openalex Percentile: Top 68%
Game Theory and Applications
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

A Note on the Complexity of Defensive Domination — Tomasz Krawczyk, Steven Chaplick, et al. · Research Publications (Maastricht University) (2025) | TGRS Research Map | TGRS