English
Related papers

Related papers: Computer assisted discovery: Zero forcing vs verte…

200 papers

In 1964 Vizing proved that starting from any k-edge-coloring of a graph G one can reach, using only Kempe swaps, a ($\Delta$ + 1)-edge-coloring of G where $\Delta$ is the maximum degree of G. One year later he conjectured that one can also…

Combinatorics · Mathematics 2023-02-28 Jonathan Narboni

A graph $G$ is \emph{chordless} if no cycle in $G$ has a chord. In the present work we investigate the chromatic index and total chromatic number of chordless graphs. We describe a known decomposition result for chordless graphs and use it…

Discrete Mathematics · Computer Science 2013-09-10 Raphael C. S. Machado , Celina M. H. de Figueiredo , Nicolas Trotignon

It is known for many algorithmic problems that if a tree decomposition of width $t$ is given in the input, then the problem can be solved with exponential dependence on $t$. A line of research by Lokshtanov, Marx, and Saurabh [SODA 2011]…

Computational Complexity · Computer Science 2024-02-20 Barış Can Esmer , Jacob Focke , Dániel Marx , Paweł Rzążewski

We provide a general method to prove the existence and compute efficiently elimination orderings in graphs. Our method relies on several tools that were known before, but that were not put together so far: the algorithm LexBFS due to Rose,…

Discrete Mathematics · Computer Science 2015-01-26 Pierre Aboulker , Pierre Charbit , Nicolas Trotignon , Kristina Vuskovic

The Connected Vertex Cover problem is to decide if a graph G has a vertex cover of size at most $k$ that induces a connected subgraph of $G$. This is a well-studied problem, known to be NP-complete for restricted graph classes, and, in…

Data Structures and Algorithms · Computer Science 2018-07-06 Matthew Johnson , Giacomo Paesani , Daniel Paulusma

Treewidth is an important graph invariant, relevant for both structural and algorithmic reasons. A necessary condition for a graph class to have bounded treewidth is the absence of large cliques. We study graph classes closed under taking…

Combinatorics · Mathematics 2021-11-09 Clément Dallard , Martin Milanič , Kenny Štorgel

For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be…

A copy of a graph $F$ is called an $F$-copy. For any graph $G$, the $F$-isolation number of $G$, denoted by $\iota(G,F)$, is the size of a smallest subset $D$ of the vertex set of $G$ such that the closed neighbourhood $N[D]$ of $D$ in $G$…

Combinatorics · Mathematics 2025-06-12 Peter Borg , Alastair Farrugia

Let $F_G(P)$ be a functional defined on the set of all the probability distributions on the vertex set of a graph $G$. We say that $G$ is \emph{symmetric with respect to $F_G(P)$} if the uniform distribution on $V(G)$ maximizes $F_G(P)$.…

Combinatorics · Mathematics 2015-10-07 Seyed Saeed Changiz Rezaei , Ehsan Chiniforooshan

A proper labelling of a graph $G$ is a pair $({\pi},c_{\pi})$ in which ${\pi}$ is an assignment of numeric labels to some elements of $G$, and $c_{\pi}$ is a colouring induced by ${\pi}$ through some mathematical function over the set of…

Discrete Mathematics · Computer Science 2020-07-06 C. A. Weffort-Santos , R. C. S. Schouery

This paper introduces the \emph{Optimist}, an autonomous system developed to advance automated conjecture generation in graph theory. Leveraging mixed-integer programming (MIP) and heuristic methods, the \emph{Optimist} generates…

Artificial Intelligence · Computer Science 2024-11-15 Randy Davila

Zero forcing is a binary coloring game on a graph where a set of filled vertices can force non-filled vertices to become filled following a color change rule. In 2008, the zero forcing number of a graph was shown to be an upper bound on its…

Combinatorics · Mathematics 2025-08-12 Thomas R. Cameron , Jonad Pulaj

A graph $G$ is $H$-free if any subset of $V(G)$ does not induce a subgraph of $G$ that is isomorphic to $H$. Given a graph $H$, we present sufficient and necessary conditions for a graph $G$ such that $G/e$ is $H$-free for any edge $e$ in…

Combinatorics · Mathematics 2022-12-20 Hany Ibrahim , Peter Tittmann

A conjecture of Alon, Krivelevich, and Sudakov states that, for any graph $F$, there is a constant $c_F > 0$ such that if $G$ is an $F$-free graph of maximum degree $\Delta$, then $\chi(G) \leq c_F \Delta / \log\Delta$. Alon, Krivelevich,…

Combinatorics · Mathematics 2022-01-25 James Anderson , Anton Bernshteyn , Abhishek Dhawan

Motivated in part by an observation that the zero forcing number for the complement of a tree on $n$ vertices is either $n-3$ or $n-1$ in one exceptional case, we consider the zero forcing number for the complement of more general graphs…

Combinatorics · Mathematics 2023-03-13 Emelie Curl , Shaun Fallat , Ryan Moruzzi , Carolyn Reinhart , Derek Young

Probabilistic graphical models offer a powerful framework to account for the dependence structure between variables, which is represented as a graph. However, the dependence between variables may render inference tasks intractable. In this…

A total dominating set of a graph $G$ is a set $D$ of vertices of $G$ such that every vertex of $G$ has a neighbor in $D$. A locating-total dominating set of $G$ is a total dominating set $D$ of $G$ with the additional property that every…

Combinatorics · Mathematics 2016-07-25 Florent Foucaud , Michael A. Henning

We define the cover number of a graph $G$ by a graph class $\mathcal P$ as the minimum number of graphs of class $\mathcal P$ required to cover the edge set of $G$. Taking inspiration from a paper by Harary, Hsu and Miller, we find an exact…

Combinatorics · Mathematics 2025-02-24 Márton Marits

Let $G$ be a simple graph with maximum degree denoted as $\Delta(G)$. An overfull subgraph $H$ of $G$ is a subgraph satisfying the condition $|E(H)| > \Delta(G)\lfloor \frac{1}{2}|V(H)| \rfloor$. In 1986, Chetwynd and Hilton proposed the…

Combinatorics · Mathematics 2024-09-09 Songling Shan

A zero forcing set is a set $S$ of vertices of a graph $G$, called forced vertices of $G$, which are able to force the entire graph by applying the following process iteratively: At any particular instance of time, if any forced vertex has…

Combinatorics · Mathematics 2023-06-22 Jessy Sujana G. , T. M. Rajalaxmi , Indra Rajasingh , R. Sundara Rajan