Pith. sign in

REVIEW 1 cited by

A survey on the parameterized complexity of the independent set and (connected) dominating set reconfiguration problems

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2204.10526 v1 pith:HYFNEV23 submitted 2022-04-22 cs.CC cs.DMcs.DSmath.CO

classification cs.CCcs.DMcs.DSmath.CO
keywords graphreconfigurationfeasibleproblemsdominatingparameterizedstatesystem
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

A graph vertex-subset problem defines which subsets of the vertices of an input graph are feasible solutions. We view a feasible solution as a set of tokens placed on the vertices of the graph. A reconfiguration variant of a vertex-subset problem asks, given two feasible solutions of size $k$, whether it is possible to transform one into the other by a sequence of token slides (along edges of the graph) or token jumps (between arbitrary vertices of the graph) such that each intermediate set remains a feasible solution of size $k$. Many algorithmic questions present themselves in the form of reconfiguration problems: Given the description of an initial system state and the description of a target state, is it possible to transform the system from its initial state into the target one while preserving certain properties of the system in the process? Such questions have received a substantial amount of attention under the so-called combinatorial reconfiguration framework. We consider reconfiguration variants of three fundamental underlying graph vertex-subset problems, namely Independent Set, Dominating Set, and Connected Dominating Set. We survey both older and more recent work on the parameterized complexity of all three problems when parameterized by the number of tokens $k$. The emphasis will be on positive results and the most common techniques for the design of fixed-parameter tractable algorithms.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A Linear Kernel for Independent Set Reconfiguration in Planar Graphs

    math.CO 2025-06 accept novelty 8.0 of 10

    ISR-TJ has a kernel of size O(k) on K_{3,r}-minor-free graphs and at most 42k on planar graphs.

Pith tools