English
Related papers

Related papers: An Introduction to the Discharging Method

200 papers

it is shown that each triangle-free 1-planar graph with maximum degree $\Delta\geq7$ can be $\Delta$-colorable by Discharging Method.

Combinatorics · Mathematics 2010-12-30 Xin Zhang , Guizhen Liu , Jian-Liang Wu

We prove that for every graph $G$ on $n$ vertices and with minimum degree five, the domination number $\gamma(G)$ cannot exceed $n/3$. The proof combines an algorithmic approach and the discharging method. Using the same technique, we…

Combinatorics · Mathematics 2020-05-18 Csilla Bujtás

We study the list-chromatic number and the coloring number of graphs, especially uncountable graphs. We show that the coloring number of a graph coincides with its list-chromatic number provided that the diamond principle holds. Under the…

Logic · Mathematics 2021-12-30 Toshimichi Usuba

Maximal planar graph refers to the planar graph with the most edges, which means no more edges can be added so that the resulting graph is still planar. The Four-Color Conjecture says that every planar graph without loops is 4-colorable.…

General Mathematics · Mathematics 2012-10-26 Jin Xu

We introduce the standard decomposition, a way of decomposing a labeled graph into a sum of certain labeled subgraphs. We motivate this graph-theoretic concept by relating it to Connect Four decompositions of standard sets. We prove that…

Combinatorics · Mathematics 2013-04-08 Laurent Evain , Mathias Lederer , Bjarke Hammersholt Roune

Scatterplot selection is an effective approach to represent essential portions of multidimensional data in a limited display space. Various metrics for evaluation of scatterplots such as scagnostics have been presented and applied to…

Human-Computer Interaction · Computer Science 2020-09-17 Takayuki Itoh , Asuka Nakabayashi , Mariko Hagita

As is well known, a graph is a mathematical object modeling the existence of a certain relation between pairs of elements of a given set. Therefore, it is not surprising that many of the first results concerning graphs made reference to…

History and Overview · Mathematics 2019-02-28 C. Dalfó , M. A. Fiol

List colouring is an influential and classic topic in graph theory. We initiate the study of a natural strengthening of this problem, where instead of one list-colouring, we seek many in parallel. Our explorations have uncovered a…

Combinatorics · Mathematics 2023-08-03 Stijn Cambie , Wouter Cames van Batenburg , Ewan Davies , Ross J. Kang

Let G be a combinatorial graph with vertices V and edges E. A proper coloring of G is an assignment of colors to the vertices such that no edge connects two vertices of the same color. These are the colorings considered in the famous Four…

Combinatorics · Mathematics 2021-06-08 Bruce E Sagan

Graph coloring is a problem with varied applications in industry and science such as scheduling, resource allocation, and circuit design. The purpose of this paper is to establish if a new gradient based iterative solver framework known as…

Machine Learning · Computer Science 2024-04-24 Vivek Chaudhary

In this paper we study threshold coloring of graphs, where the vertex colors represented by integers are used to describe any spanning subgraph of the given graph as follows. Pairs of vertices with near colors imply the edge between them is…

Discrete Mathematics · Computer Science 2013-05-20 Md. Jawaherul Alam , Steven Chaplick , Gašper Fijavž , Michael Kaufmann , Stephen G. Kobourov , Sergey Pupyrev

We investigate the usage of rule dependency graphs and their colorings for characterizing and computing answer sets of logic programs. This approach provides us with insights into the interplay between rules when inducing answer sets. We…

Artificial Intelligence · Computer Science 2007-05-23 Kathrin Konczak , Thomas Linke , Torsten Schaub

We make an attempt at proving the Four Colour Theorem in six pages.

Combinatorics · Mathematics 2024-10-21 Carl Feghali

Four-Color Theorem has secret in its logical proof and actual operating. In this paper we will give a proof of Four-Color Theorem based on Kuratowski's Theorem using some induction argument and give a description of the most complicated…

General Mathematics · Mathematics 2014-08-11 Qizhi Wang

The problem of vertex coloring in random graphs is studied using methods of statistical physics and probability. Our analytical results are compared to those obtained by exact enumeration and Monte-Carlo simulations. We critically discuss…

Statistical Mechanics · Physics 2009-11-07 J. van Mourik , D. Saad

Szlam's Lemma began life as a way of getting upper bounds on the chromatic numbers of distance graphs in normed vector spaces. Now analogs are available in a variety of hypergraph settings, but the method always involves a shrewdly chosen…

Combinatorics · Mathematics 2024-11-08 Eric Myzelev

We give a pen and paper and (comparatively) much simpler proof to verify of the Four Colour Theorem.

Combinatorics · Mathematics 2025-01-24 Carl Feghali

In the paper we apply graph vertex coloring for verification of secret shares. We start from showing how to convert any graph into the number and vice versa. Next, theoretical result concerning properties of n-colorable graphs is stated and…

Cryptography and Security · Computer Science 2007-05-23 Kamil Kulesza , Zbigniew Kotulski

We give a pictorial proof that transparently illustrates why four colours suffce to chromatically differentiate any set of contiguous, simply connected and bounded, planar spaces; by showing that there is no minimal planar map. We show,…

General Mathematics · Mathematics 2021-10-20 Bhupinder Singh Anand

This paper presents a short and simple proof of the Four-Color Theorem that can be utterly checkable by human mathematicians, without computer assistance. The new key idea that has allowed it and the global structure of the proof are…

Discrete Mathematics · Computer Science 2019-11-05 André Luiz Barbosa