I wanted to quickly write this proof up, complete with pictures, so that I won’t forget it again. In this post I’ll give a combinatorial proof (due to Joyal) of the following:

Theorem 1 (Cayley’s Formula)

The number of trees on $n$ labeled vertices is $n^{n-2}$.

Proof: We are going to construct a bijection between

• Functions $\{1, 2, \dots, n\} \rightarrow \{1, 2, \dots, n\}$ (of which there are $n^n$) and
• Trees on $\{1, 2, \dots, n\}$ with two distinguished nodes $A$ and $B$ (possibly $A=B$).

This will imply the answer.

Let’s look at the first piece of data. We can visualize it as $\mathrm{n\; \dots }$

More than six months late, but here are notes from the combinatorial nullsetllensatz talk I gave at the student colloquium at MIT. This was also my term paper for 18.434, “Seminar in Theoretical Computer Science”.

1. Introducing the choice number

One of the most fundamental problems in graph theory is that of a graph coloring, in which one assigns a color to every vertex of a graph so that no two adjacent vertices have the same color. The most basic invariant related to the graph coloring is the chromatic number:

Definition 1. A simple graph $G$ is $k$-colorable if it’s possible to properly color its vertices with $k$ colors. The smallest such $k$ is the chromatic number $\chi(G)$.

In this exposition we study a more general notion in which the set of permitted colors …

This lecture, which I gave for my 18.434 seminar, focuses on the MAX-E3LIN problem. We prove that approximating it is NP-hard by a reduction from LABEL-COVER.

1. Introducing MAX-E3LIN

In the MAX-E3LIN problem, our input is a series of linear equations $\pmod 2$ in $n$ binary variables, each with three terms. Equivalently, one can think of this as $\pm 1$ variables and ternary products. The objective is to maximize the fraction of satisfied equations.

Example 1 (Example of MAX-E3LIN instance)

$$\begin{aligned} x_1 + x_3 + x_4 &\equiv 1 \pmod 2 \\ x_1 + x_2 + x_4 &\equiv 0 \pmod …$$