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 answers only not deleted user 43266

Questions about the branch of combinatorics called graph theory (not to be used for questions concerning the graph of a function). This tag can be further specialized via using it in combination with more specialized tags such as extremal-graph-theory, spectral-graph-theory, algebraic-graph-theory, topological-graph-theory, random-graphs, graph-colorings and several others.

2 votes

The max-clique chromatic number of a graph

Fedor Petrov, in a comment on my previous answer, asked whether there is a countable graph in which every maximal clique is infinite, and the hypergraph of maximal cliques has infinite chromatic numbe …
bof's user avatar
  • 13.4k
2 votes
Accepted

The max-clique chromatic number of a graph

The answer is yes if infinite graphs are allowed. Theorem. For any integer $n\ge3$ there is an infinite graph $G=(V,E)$ such that $\chi_m(G)=\chi(G)=\aleph_0$, and every maximal clique of $G$ has card …
bof's user avatar
  • 13.4k
6 votes
Accepted

Clique and chromatic number when removing an edge

Let $H$ be a graph with $\omega(H)=2$ and $\chi(H)=4$, say the Grötzsch graph. Let $G$ be the graph obtained by taking the disjoint union $H\cup K_2\cup K_4$ and adding edges joining both vertices in …
Daniel Weber's user avatar
  • 3,319
3 votes
Accepted

"Spanning trees" for connected linear hypergraphs

Counterexample. Let $\mathbb N=\{1,2,3,\dots\}$. For $n\in\mathbb N$ let $[n]=\{1,2,\dots,n\}$. Let $V=\mathbb N\times\mathbb N$. For $n\in\mathbb N$ let $e_n=\{n\}\times\mathbb N$ and $f_n=[n]\times\ …
bof's user avatar
  • 13.4k
0 votes

The existence of a specific kind of independent set in a connected graph satisfying the foll...

For $n\in\mathbb N$ let $G_n=K_2\square K_{n+2}$, the Cartesian product of $K_2$ and $K_{n+2}$. Then every edge of $G_n$ is part of an induced $C_4$, and $D(G_n)=n$. In fact, if $S$ is an independent …
bof's user avatar
  • 13.4k
3 votes

Asymptotics for Ramsey Theory

First, the short answer to the general question is that $\frac{A(n,d,k)}{\binom nk}$ is (nonstrictly) increasing in $n$, whence for $n\ge m$ we have $$A(n,d,k)\ge\frac{A(m,d,k)}{\binom mk}\binom nk\ge …
bof's user avatar
  • 13.4k
3 votes

Graph on $\mathbb{N}$ where almost every vertex is shy

Take any locally finite countable graph with infinitely many shy vertices, e.g., the disjoint union of $\aleph_0$ copies of $K_{1,2}$. Identify the vertex set with $\mathbb N$ in such a way that the s …
bof's user avatar
  • 13.4k
4 votes
Accepted

Chromatic number of triangle-free graph $[[n]]^2$ with edges of form $a<b, b<c$

No. $\chi(T_k)\ge n$ iff $k\gt2^{n-1}$; see this Q&A. So the smallest $4$-chromatic graph of the form $T_k$ is $T_9$ which has $36$ vertices, or $35$ if we don't count the isolated vertex; but the sma …
bof's user avatar
  • 13.4k
7 votes
Accepted

Prove or disprove: $R^{n+1} \supseteq R \cap R^2 \cap \cdots \cap R^n$ for every binary rela...

Let $k_n$ be the least integer $k$ such that, for any digraph $D$ of order $n$ and any vertices $x,y\in D$, if there are $x$-$y$ walks of length $1,\dots,k$, then there are $x$-$y$ walks of all positi …
bof's user avatar
  • 13.4k
21 votes
Accepted

Parity and the Axiom of Choice

The Parity Principle follows from the axiom $\mathbf C_2$ (defined below) which is weaker than the Axiom of Choice. I don't know whether the Parity Principle implies $\mathbf C_2$, but that's another …
bof's user avatar
  • 13.4k
22 votes
Accepted

An unfair marriage lemma

In this answer I sketch an easy proof of your lemma and then give some references. The easy proof uses Knaster's fixed point theorem: THEOREM. Let $S$ be any set (finite or infinite) and let $\varphi: …
bof's user avatar
  • 13.4k
8 votes

Seymour's second neighborhood conjecture for infinite graphs

A "digraph" is a simple digraph without $2$-cycles, i.e., an oriented graph. "Locally finite" means outwards locally finite, i.e., each vertex $x$ has finite outdegree $\deg^+(x)\lt\infty$. If $x,y$ a …
bof's user avatar
  • 13.4k
1 vote

Conflict-free coloring of $\mathbb{R}$ with the Euclidean topology

The fact that $\chi_\text{cf}(\mathbb R,\tau)=\aleph_0$ can be generalized as follows. Given a hypergraph $H=(V,E)$ let's say that a set $S\subseteq V$ is a dense set (or a vertex cover) if $S\cap e\n …
bof's user avatar
  • 13.4k
4 votes

Subgraph avoiding colorings

Yes, $P_H(G,t)$ is just the chromatic polynomial of the hypergraph whose vertices are the vertices of $G$ and whose edges are the vertex sets of subgraphs of $G$ that are isomorphic to $H$. The fact t …
bof's user avatar
  • 13.4k
1 vote

Connected vs strongly connected graphs

Trivially: A digraph $D$ is strongly connected if and only if it satisfies the two conditions: (i) the underlying graph of $D$ is connected; (ii) every arc in $D$ is part of a directed cycle. If a fin …
bof's user avatar
  • 13.4k

15 30 50 per page