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 1946

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.

7 votes
Accepted

What determines internalization of graph-structures into the set world?

The answer is yes for equinumerosity (provided...), but no for graphs. Equinumerosity. KM is commonly taken to include the axiom of choice and furthermore the axiom of global choice, and this makes th …
Joel David Hamkins's user avatar
19 votes
2 answers
985 views

Which graphs are elementarily equivalent to their own disjoint sums?

In Stefan Geschke's recent question, one of the solutions observed that the graph consisting of a single infinite beaded chain, a $\mathbb{Z}$-chain where each integer is connected to its nearest neig …
3 votes

Does $(\omega, E)$ with the cycle condition have an $\omega$-path?

No. Draw edges from $0$ and $1$ to all numbers $n>1$. Now any two nodes lies on a cycle of length $4$. But there is no injective $\omega$-walk, since every edge touches either $0$ or $1$, and indeed e …
Joel David Hamkins's user avatar
25 votes

Non-definability of graph 3-colorability in first-order logic

Here is one way to do it. 2-colorability case. First let's warm up with the 2-colorability case. Notice that odd-length cycles are not 2-colorable, since the colors have to alternate as you go around …
Joel David Hamkins's user avatar
8 votes

Seymour's second neighborhood conjecture for infinite graphs

Allow me to make an observation concerning what I find to be an interesting angle on the question in the context without the axiom of choice, where there are competing conceptions of what it means to …
Joel David Hamkins's user avatar
47 votes
7 answers
5k views

Is it easy to produce hard-to-color graphs?

This question arises from my recent visit to my daughter's second-grade class, where I led some discussion and activities on graph coloring (see Math for seven-year-olds). In one such activity, each c …
9 votes
Accepted

A notion of thinness for subsets of $\omega$, using chromatic number

The two notions are incomparable. To see that the first notion does not imply the second, let's construct a set $S$ with asymptotic density $0$, but with infinite chromatic number. We place infinitely …
Joel David Hamkins's user avatar
3 votes
Accepted

Is following function a metric on the set of isomorphism classes of graphs with countably ma...

To prove that this is a metric, consider the following theorem. Theorem. If the second player can survive for $n$ steps in the $(\Gamma_1,\Gamma_2)$ game, and for $m$ steps in the $(\Gamma_2,\Gamma_3 …
Joel David Hamkins's user avatar
32 votes
9 answers
5k views

How many groups of size at most n are there? What is the asymptotic growth rate? And what of...

Question. How many (isomorphism types of) finite groups of size at most n are there? What is the asymptotic growth rate? And the same question for rings, fields, graphs, partial orders, etc. Motiva …
76 votes
6 answers
9k views

Which graphs are Cayley graphs?

Every group presentation determines the corresponding Cayley graph, which has a node for each group element, and arrows labeled with the generators to get from one group element to another. My main …
58 votes
Accepted

Does knight behave like a king in his infinite odyssey?

Consider the following open knight's tour on a $5\times 5$ board, starting at position $1$ and then touring the $5\times 5$ board in the indicated move order. The final position is $25$, from which th …
Joel David Hamkins's user avatar
5 votes

Graph of functions sharing a point

Gerhard has pointed out that your sharing-a-point graph is not universal for uncountable graphs, since any uncountable collection of functions on $\omega$ must have many of them sharing a point. So th …
Joel David Hamkins's user avatar
134 votes

What is a chess piece mathematically?

In terms of mathematical analysis and combinatorial game theory, the essence of any game is captured by its game tree, the tree whose nodes represent the current game state, and to make a move in the …
Joel David Hamkins's user avatar
6 votes

Mutually non-isomorphic connected graphs on $\kappa$ points

The general fact is that every mathematical structure of size $\kappa$, in a language of size at most $\kappa$, can be coded as a (connected, undirected, simple) graph of size $\kappa$. What I mean is …
Joel David Hamkins's user avatar
4 votes

Applications of infinite graph theory

A model of set theory $\langle M,\in\rangle$ is a certain kind of directed graph. So graph theory has the capacity to serve as a foundation of mathematics, having a copy of virtually any conceivable m …
Joel David Hamkins's user avatar

15 30 50 per page