English
Related papers

Related papers: Topology, forcing, and graph colourings

200 papers

Zero forcing is a combinatorial game played on graphs that can be used to model the spread of information with repeated applications of a color change rule. In general, a zero forcing parameter is the minimum number of initial blue vertices…

Combinatorics · Mathematics 2022-04-01 Joshua Carlson , John Petrucci

It is well-known that the zero forcing number of a graph provides a lower bound on the minimum rank of a graph. In this paper we bound and characterize the zero forcing number of certain circulant graphs, including some bipartite…

Combinatorics · Mathematics 2019-06-10 Linh Duong , Brenda K. Kroschel , Michael Riddell , Kevin N. Vander Meulen , Adam Van Tuyl

We design an $O(n^3)$ algorithm to find a minimum weighted coloring of a ($P_5, \bar{P}_5$)-free graph. Furthermore, the same technique can be used to solve the same problem for several classes of graphs, defined by forbidden induced…

Discrete Mathematics · Computer Science 2014-09-04 Chính T. Hoàng , D. Adam Lazzarato

Graphs constructed to translate some graph problem into another graph problem are usually called auxiliary graphs. Specifically total graphs of simple graphs are used to translate the total colouring problem of the original graph into a…

General Mathematics · Mathematics 2016-02-16 Ravi Goyal , Mahipal Jadeja , Rahul Muthu

We show that there is no simple (e.g. finite or countable) basis for Borel graphs with infinite Borel chromatic number. In fact, it is proved that the closed subgraphs of the shift graph on $[\mathbb{N}]^{<\mathbb{N}}$ with finite (or,…

Logic · Mathematics 2021-05-28 Stevo Todorčević , Zoltán Vidnyánszky

In this work, we continue the tradition initiated by Geschke, 2011 of viewing the uncountable Borel chromatic number of analytic graphs as cardinal invariants of the continuum. We show that various uncountable Borel chromatic numbers of…

Logic · Mathematics 2022-08-16 Michel Gaspar , Stefan Geschke

A dominating set $D_{f}\subseteq V(G)$ of vertices in a graph $G$ is called a \emph{dom-forcing set} if the sub-graph induced by $\langle D_{f} \rangle$ must form a zero forcing set. The minimum cardinality of such a set is known as the…

Combinatorics · Mathematics 2024-11-04 Susanth P , Charles Dominic , Premodkumar K P

The \emph{zero forcing number} $Z(G)$ of a graph $G$ is the minimum cardinality of a set $S$ of black vertices (whereas vertices in $V(G)\setminusS$ are colored white) such that $V(G)$ is turned black after finitely many applications of…

Combinatorics · Mathematics 2012-08-20 Cong X. Kang , Eunjeong Yi

A graph G is list (b:a)-colorable if for every assignment of lists of size b to vertices of G, there exists a choice of an a-element subset of the list at each vertex such that the subsets chosen at adjacent vertices are disjoint. We prove…

Combinatorics · Mathematics 2019-10-14 Zdeněk Dvořák , Xiaolan Hu

Higher dimensional graphs can be used to colour two-dimensional geometric graphs. If G the boundary of a three dimensional graph H for example, we can refine the interior until it is colourable with 4 colours. The later goal is achieved if…

Combinatorics · Mathematics 2014-12-23 Oliver Knill

\emph{Zero forcing number}, $Z(G)$, of a graph $G$ is the minimum cardinality of a set $S$ of black vertices (whereas vertices in $V(G) \setminus S$ are colored white) such that $V(G)$ is turned black after finitely many applications of…

Combinatorics · Mathematics 2012-05-08 Cong X. Kang , Eunjeong Yi

We prove that colouring of pairs from aleph_2 with strong properties exists. The easiest to state (and quite a well known problem) it solves: there are two topological spaces with cellularity aleph_1 whose product has cellularity aleph_2 ;…

Logic · Mathematics 2008-02-03 Saharon Shelah

This chapter presents an introduction to graph colouring algorithms. The focus is on vertex-colouring algorithms that work for general classes of graphs with worst-case performance guarantees in a sequential model of computation. The…

Data Structures and Algorithms · Computer Science 2015-05-22 Thore Husfeldt

We resolve a number of long-standing open problems in online graph coloring. More specifically, we develop tight lower bounds on the performance of online algorithms for fundamental graph classes. An important contribution is that our…

Data Structures and Algorithms · Computer Science 2017-07-04 Susanne Albers , Sebastian Schraink

Many graph coloring proofs proceed by showing that a minimal counterexample to the theorem being proved cannot contain certain configurations, and then showing that each graph under consideration contains at least one such configuration;…

Combinatorics · Mathematics 2015-07-21 Daniel W. Cranston , Landon Rabern

We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…

Logic in Computer Science · Computer Science 2024-04-26 Hashimoto Go , Daniel Găină , Ionuţ Ţuţu

A total colouring of a graph is a colouring of its vertices and edges such that no two adjacent vertices or edges have the same colour and moreover, no edge coloured $c$ has its endvertex coloured $c$ too. A weak total Thue colouring of a…

Combinatorics · Mathematics 2015-03-05 Jens Schreyer , Erika Škrabuľáková

A new approach to find all the transitive orientations for a comparability graph (finite or infinite) is presented. This approach is based on the link between the notion of ``strong'' partitive set and the forcing theory (notions of…

alg-geom · Mathematics 2008-02-03 A. Belkasri , M. Hamade

A dynamic coloring of the vertices of a graph $G$ starts with an initial subset $S$ of colored vertices, with all remaining vertices being non-colored. At each discrete time interval, a colored vertex with exactly one non-colored neighbor…

Combinatorics · Mathematics 2017-02-22 Randy Davila , Michael Henning

We extend the concept of the law of a finite graph to graphings, which are, in general, infinite graphs whose vertices are equipped with the structure of a probability space. By doing this, we obtain a vast array of new unimodular measures.…

Combinatorics · Mathematics 2012-03-13 Igor Artemenko