Search Results
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 |
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 …
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 …
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 …
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\ …
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 …
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 …
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 …
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 …
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 …
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 …
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: …
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 …
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 …
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 …
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 …