English
Related papers

Related papers: Four proofs of the directed Brooks' Theorem

200 papers

In this note we give two proofs of Brooks' Theorem. The first is obtained by modifying an earlier proof and the second by combining two earlier proofs. We believe these proofs are easier to teach in Computer Science courses.

Discrete Mathematics · Computer Science 2025-10-06 Gopalan Sajith , Sanjeev Saxena

We present a short and self-contained proof of the choosability version of Brooks' theorem.

Combinatorics · Mathematics 2022-05-18 Michael Krivelevich

We give a new proof of Brooks' theorem that immediately implies a strengthening of Brooks' theorem, known as Catlin's theorem.

Combinatorics · Mathematics 2014-10-29 Vaidy Sivaraman

Arguably the simplest variation of this style of proof as we avoid reducing to the cubic case entirely.

Combinatorics · Mathematics 2014-09-25 Landon Rabern

A comprehensive review on Cook's contribution in the theory of NP-Completeness with relations to modern mathematics.

Computers and Society · Computer Science 2011-04-01 Li Chen

Recently we have obtained two simple proofs of Sharkovsky's theorem, one with directed graphs [7] and the other without [8]. In this note, we present yet more simple proofs of Sharkovsky's theorem.

Dynamical Systems · Mathematics 2007-05-23 Bau-Sen Du

An technically interesting proof of a known theorem.

Analysis of PDEs · Mathematics 2007-05-23 Andreas Wannebo

We give a new proof of Lucas' Theorem in elementary number theory.

Number Theory · Mathematics 2013-01-21 Alexandre Laugier , Manjil P. Saikia

We give a simple short proof of Brooks' theorem using only induction and greedy coloring, while avoiding issues of graph connectivity. The argument generalizes easily to some extensions of Brooks' theorem, including its variants for list…

Combinatorics · Mathematics 2018-05-30 Mariusz Zając

We sketch several proofs of F\'ary--Milnor theorem.

History and Overview · Mathematics 2024-02-27 Anton Petrunin , Stephan Stadler

We prove several extensions of the Erdos-Fuchs theorem.

Number Theory · Mathematics 2016-08-31 Li-Xia Dai , Hao Pan

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

Boolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free'' proofs of some classical limitative theorems of logic.

Logic · Mathematics 2007-05-23 Gyorgy Sereny

We proved three theorems of $S$-version of the mulyiplicity one.

Number Theory · Mathematics 2015-06-18 Song Wang

We prove that persuasion is an NP-complete problem.

Computational Complexity · Computer Science 2025-07-09 Alban Grastien

In [3, Theorem 6.7B], the authors use the Main Theorems of Brauer to give a proof of Burnside's Normal $p$-complement Theorem. Unfortunately, the proof contains an error. We take this opportunity to give a proof along similar lines,…

Group Theory · Mathematics 2025-04-01 Christopher Herbig

In this note, we present a simple directed graph proof of Sharkovsky's theorem.

Dynamical Systems · Mathematics 2007-05-23 Bau-Sen Du

We prove that the quiver problem is NP complete.

Representation Theory · Mathematics 2025-08-06 Victor Kac , Bangzheng Li

In this paper, we provide an easy proof of the Four-colour Theorem in a special case indeed.

General Mathematics · Mathematics 2018-07-09 Bin Shen

Here we give a short survey of our new results. References to the complete proofs can be found in the text of this article and in the litterature.

Combinatorics · Mathematics 2009-10-16 Vitaliy Koshelev
‹ Prev 1 2 3 10 Next ›