|
gptkb:hyperarithmetical_hierarchy
|
gptkb:Church–Kleene_ordinal
|
|
gptkb:EXPTIME
|
gptkb:NEXPTIME
|
|
gptkb:unit_distance_problem
|
Cn^{4/3} (for some constant C)
|
|
gptkb:Category_4_(Saffir–Simpson_scale)
|
156 mph
|
|
gptkb:Hadwiger–Nelson_problem
|
7
|
|
gptkb:Category_4_(Saffir–Simpson_scale)
|
251 km/h
|
|
gptkb:chromatic_number_of_the_plane
|
7
|
|
gptkb:diagonal_Ramsey_number
|
R(k,k) ≤ 4^{k}
|
|
gptkb:Grothendieck_constant
|
1.78221
|
|
gptkb:Erdős–Szekeres_numbers
|
\\binom{2n-4}{n-2}+1
|
|
gptkb:Szemerédi–Trotter_theorem
|
O(n^{2/3} m^{2/3} + n + m)
|