ZarankiewiczDB,

an online database of Zarankiewicz numbers. home; recent; tables; submit; theorems & references

Bound for z(22,25)

Using the scaffold algorithm to search for matrices of weight greater than 117, all but 2 scaffolds were eliminated without search.

Scaffold: $p=4$, $q=5$, $\mathbf{m}=(5,4,4,4)$, $\mathbf{n}=(4,3,3,3,3)$, $m_O=2$, $n_O=1$.

(0.002898645 seconds, score = 0, 0 recursive calls, max depth = 0)

Scaffold: $p=4$, $q=5$, $\mathbf{m}=(5,4,4,4)$, $\mathbf{n}=(4,4,3,3,3)$, $m_O=2$, $n_O=0$.

(365.786890197 seconds, score = 0, 2232840 recursive calls, max depth = 27)

upper bound = 117, submitted by Andrew Kay on April 25th, 2016 (link)