Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 8628

Enumerative combinatorics, graph theory, order theory, posets, matroids, designs and other discrete structures. It also includes algebraic, analytic and probabilistic combinatorics.

47 votes

Generalizations of the four-color theorem

One of the most important generalizations of the four color theorem is Hadwiger's conjecture. The Hadwiger conjecture asserts that a graph without a $K_{r+1}$ minor is $r$-colorable. There is a furthe …
23 votes
2 answers
3k views

Does the "three-set-lemma" imply the Axiom of Choice?

Consider the following curious statement: $(S)$ $\;$ Let $X$ be a non-empty set and let $f:X \to X$ be fixpoint-free (that is $f(x) \neq x$ for all $x\in X$). Then there are subsets $X_1, X_2, X_3 …
Dominic van der Zypen's user avatar
20 votes
3 answers
987 views

Does the hypergraph of subgroups determine a group?

A hypergraph is a pair $H=(V,E)$ where $V\neq \emptyset$ is a set and $E\subseteq{\cal P}(V)$ is a collection of subsets of $V$. We say two hypergraphs $H_i=(V_i, E_i)$ for $i=1,2$ are isomorphic if t …
Dominic van der Zypen's user avatar
20 votes
1 answer
534 views

Almost orthogonal maps $f:\omega \to \{-1,1\}$

Let $\omega$ denote the set of non-negative integers. For sets $A,B$, let $B^A$ denote the set of maps $f:A\to B$. For $f,g\in\{-1,1\}^\omega$ we say that $f,g$ are almost orthogonal if there is $C_0\ …
Dominic van der Zypen's user avatar
19 votes
4 answers
1k views

Generalization of a mind-boggling box-opening puzzle

Motivation. Suppose we are given $6$ boxes, arranged in the following manner: $$\left[\begin{array}{ccc} 1 & 2 & 3 \\ 4 & 5 & 6 \end{array}\right]$$ Two of these boxes contain a present, and the rem …
Dominic van der Zypen's user avatar
17 votes
1 answer
926 views

Fraction of $S_n$ reachable by using every transposition once as $n\to\infty$?

For $n\in \mathbb{N}$ let $S_n$ denote the set of permutations (bijections) $\pi: \{0,\ldots,n-1\}\to \{0,\ldots,n-1\}$. A transposition swaps exactly $2$ elements and is often denoted by $(i \; k)$ i …
Dominic van der Zypen's user avatar
15 votes
1 answer
745 views

Page-turning number of a graph

Motivation. As I was travelling in the UK, I used a physical copy of the "A-Z Road Atlas BRITAIN" for getting around. I was impressed that whenever I wanted to go from the map segment shown on page 23 …
Dominic van der Zypen's user avatar
13 votes
0 answers
255 views

Is the set of power matrices decidable?

Let $\text{Mat}(n\times n,\mathbb{Z})$ denote the collection of integer $n\times n$ matrices. We say $M\in \text{Mat}(n\times n,\mathbb{Z})$ is a power matrix if there is an integer $k>1$ and a matrix …
Dominic van der Zypen's user avatar
13 votes
1 answer
512 views

"Drinking number" of a graph

Motivation. A while ago I attended a party and I only knew some, but not all, of the attendees. There were 2 kinds of drinks: beer and soda. I noticed that amongst my acquaintances, more than half dra …
Dominic van der Zypen's user avatar
12 votes
4 answers
1k views

Are at most $1/3$ vertices "kings"?

If $G=(V,E)$ is a finite, simple, undirected graph, and $v\in V$, we set $N(v) = \{w\in V:\{v,w\}\in E\}$, and $\text{deg}(v)= |N(v)|$. We say a vertex $v\in V$ is a king if $\text{deg}(v) > \text{deg …
Dominic van der Zypen's user avatar
12 votes
3 answers
1k views

Non-isomorphic graphs with bijective graph homomorphisms in both directions between them

Are there simple, undirected graphs $G, H$ that are non-isomorphic, but there exist graph homomorphisms $f_1: G\to H$ and $f_2: H\to G$ which are bijective set-maps $V(G)\rightarrow V(H)$ and $V(H)\ri …
Dominic van der Zypen's user avatar
12 votes
4 answers
539 views

Optimal schedule for a soccer tournament

Motivation. This weekend, my children took part in a soccer tournament consisting of $n$ teams, each of which playing once against every other team. As there was only one soccer field, the schedule co …
Dominic van der Zypen's user avatar
12 votes
1 answer
678 views

Graphs $G$ with $G \cong \text{Aut}(G)$

Let $G=(V,E)$ be a simple, undirected graph. By $\newcommand{\Aut}{\text{Aut}}\Aut(G)$ we denote the collection of graph isomorphisms $\varphi:G\to G$. We let $$E(\Aut(G)) =\big\{\{\varphi, \psi\}:\va …
Dominic van der Zypen's user avatar
11 votes
2 answers
374 views

Sum-regular $\{0,1\}$-matrices

Let $n\in\mathbb{N}$ be a positive integer. We say that an $n\times n$-matrix $A$ with all entries in $\{0,1\}$ is $k$-regular for some $k\in \{0,\ldots,n\}$ if the sum of every row and the sum of eve …
Dominic van der Zypen's user avatar
11 votes
2 answers
370 views

Multiples in sets of positive upper density

Suppose we are given $A \subseteq \mathbb{N}$ with $\lim\sup_{n\to\infty}\frac{|A\cap\{1,\ldots,n\}|}{n} > 0$. For $k\in \mathbb{N}, k\geq 2$ we set $$M_A(k) = \{a\in A: ka \in A\}.$$ Does there exist …
Dominic van der Zypen's user avatar

1
2 3 4 5
22
15 30 50 per page