English
Related papers

Related papers: Reconfiguration of Minimum PSD Forcing Sets and Mi…

200 papers

An st-shortest path, or st-path for short, in a graph G is a shortest (induced) path from s to t in G. Two st-paths are said to be adjacent if they differ on exactly one vertex. A reconfiguration sequence between two st-paths P and Q is a…

Computational Complexity · Computer Science 2024-06-19 Nicolas Bousquet , Kshitij Gajjar , Abhiruk Lahiri , Amer E. Mouawad

Zero forcing is an iterative coloring process on a graph that has been widely used in such different areas as the modelling of propagation phenomena in networks and the study of minimum rank problems in matrices and graphs. This paper deals…

Combinatorics · Mathematics 2021-09-24 Josep Fàbrega , Jaume Martí-Farré , Xavier Muñoz

A forcing set $S$ in a combinatorial problem is a set of elements such that there is a unique solution that contains all the elements in $S$. An anti-forcing set is the symmetric concept: a set $S$ of elements is called an anti-forcing set…

Data Structures and Algorithms · Computer Science 2025-12-18 Tatsuya Gima , Yasuaki Kobayashi , Yota Otachi , Takumi Sato

When using graphs and graph transformations to model systems, consistency is an important concern. While consistency has primarily been viewed as a binary property, i.e., a graph is consistent or inconsistent with respect to a set of…

Software Engineering · Computer Science 2026-03-11 Lars Fritsche , Alexander Lauer , Maximilian Kratz , Andy Schürr , Gabriele Taentzer

Zero forcing is an iterative graph coloring process whereby a colored vertex with a single uncolored neighbor forces that neighbor to be colored. It is NP-hard to find a minimum zero forcing set - a smallest set of initially colored…

Discrete Mathematics · Computer Science 2016-07-05 Boris Brimkov

A vertex-subset graph problem $Q$ defines which subsets of the vertices of an input graph are feasible solutions. The reconfiguration version of a vertex-subset problem $Q$ asks whether it is possible to transform one feasible solution for…

Computational Complexity · Computer Science 2014-09-30 Amer E. Mouawad , Naomi Nishimura , Venkatesh Raman , Marcin Wrochna

We continue the study of token sliding reconfiguration graphs of independent sets initiated by the authors in an earlier paper (arXiv:2203.16861). Two of the topics in that paper were to study which graphs $G$ are token sliding graphs and…

Combinatorics · Mathematics 2024-07-09 David Avis , Duc A. Hoang

A set $Z$ of vertices of a graph $G$ is a zero forcing set of $G$ if initially labeling all vertices in $Z$ with $1$ and all remaining vertices of $G$ with $0$, and then, iteratively and as long as possible, changing the label of some…

Combinatorics · Mathematics 2016-08-03 Michael Gentner , Dieter Rautenbach

We initiate the study of the shortest reconfiguration problem for independent sets under the adjacency relation derived from the independent set polytope. Given a graph and two independent sets, the problem asks for a shortest sequence…

Data Structures and Algorithms · Computer Science 2026-04-28 Jean Cardinal , Kevin Mann , Akira Suzuki , Takahiro Suzuki , Yuma Tamura , Xiao Zhou

We explore a generalization of set reconciliation, where the goal is to reconcile sets of sets. Alice and Bob each have a parent set consisting of $s$ child sets, each containing at most $h$ elements from a universe of size $u$. They want…

Data Structures and Algorithms · Computer Science 2018-07-26 Michael Mitzenmacher , Tom Morgan

Recently, there have been found new relations between the zero forcing number and the minimum rank of a graph with the algebraic co-rank. We continue on this direction by giving a characterization of the graphs with real algebraic co-rank…

Combinatorics · Mathematics 2020-05-06 Carlos A. Alfaro

Suppose that we are given two independent sets I_b and I_r of a graph such that |I_b|=|I_r|, and imagine that a token is placed on each vertex in |I_b|. Then, the sliding token problem is to determine whether there exists a sequence of…

Data Structures and Algorithms · Computer Science 2015-11-03 Takeshi Yamada , Ryuhei Uehara

\textsc{Directed Token Sliding} asks, given a directed graph and two sets of pairwise nonadjacent vertices, whether one can reach from one set to the other by repeatedly applying a local operation that exchanges a vertex in the current set…

Data Structures and Algorithms · Computer Science 2022-03-28 Takehiro Ito , Yuni Iwamasa , Yasuaki Kobayashi , Yu Nakahata , Yota Otachi , Masahiro Takahashi , Kunihiro Wasa

We show that several reconfiguration problems known to be PSPACE-complete remain so even when limited to graphs of bounded bandwidth. The essential step is noticing the similarity to very limited string rewriting systems, whose ability to…

Computational Complexity · Computer Science 2014-05-06 Marcin Wrochna

In 2018, forts were defined as non-empty subsets of vertices in a graph where no vertex outside the set has exactly one neighbor in the set. Forts have since been used to characterize zero forcing sets, model zero forcing as an integer…

Combinatorics · Mathematics 2025-07-16 Boris Brimkov , Thomas R. Cameron , Owen Grubbs

Zero forcing is a process that colors the vertices of a graph blue by starting with some vertices blue and applying a color change rule. Throttling minimizes the sum of the number of initial blue vertices and the time to color the graph. In…

Combinatorics · Mathematics 2019-09-17 Emelie Curl , Jesse Geneson , Leslie Hogben

We define what appears to be a new construction. Given a graph $G$ and a positive integer $k$, the reduced $k$th power of $G$, denoted $G^{(k)}$, is the configuration space in which $k$ indistinguishable tokens are placed on the vertices of…

Combinatorics · Mathematics 2016-09-13 Richard H. Hammack , Gregory D. Smith

In this paper we begin the study of well-failed graphs, that is, graphs in which every maximal failed zero forcing set is a maximum failed zero forcing set, or equivalently, in which every minimal fort is a minimum fort. We characterize…

Combinatorics · Mathematics 2025-02-03 Bonnie Jacob

Assume we are given a graph $G$, two independent sets $S$ and $T$ in $G$ of size $k \geq 1$, and a positive integer $\ell \geq 1$. The goal is to decide whether there exists a sequence $\langle I_0, I_1, ..., I_\ell \rangle$ of independent…

Computational Complexity · Computer Science 2022-09-13 Akanksha Agrawal , Soumita Hait , Amer E. Mouawad

The edit distance between two graphs is a widely used measure of similarity that evaluates the smallest number of vertex and edge deletions/insertions required to transform one graph to another. It is NP-hard to compute in general, and a…

Data Structures and Algorithms · Computer Science 2019-04-22 Utkan Onur Candogan , Venkat Chandrasekaran