Explore >> Select a destination


You are here

terrytao.wordpress.com
| | gowers.wordpress.com
1.9 parsecs away

Travel
| | Here is a simple but important fact about bipartite graphs. Let $latex G$ be a bipartite graph with (finite) vertex sets $latex X$ and $latex Y$ and edge density $latex \alpha$ (meaning that the number of edges is $latex \alpha |X||Y|$). Now choose $latex (x_1,x_2)$ uniformly at random from $latex X^2$ and $latex (y_1,y_2)$ uniformly
| | lucatrevisan.wordpress.com
2.7 parsecs away

Travel
| | I am writing a short survey on connections between additive combinatorics and computer science for SIGACT News and I have been wondering about the "history" of the connections. (I will be writing as little as possible about history in the SIGACT article, because I don't have the time to research it carefully, but if readers...
| | francisbach.com
4.1 parsecs away

Travel
| |
| | nickdrozd.github.io
29.3 parsecs away

Travel
| The classic Busy Beaver function is defined as the maximum number of steps that an N-state 2-color Turing machine program can run before halting when started on the blank tape. The function is uncomputable, and any sound proof system S can only prove values up to a certain point. That is, there is some number Q such that