エンドレ・セメレディ
ミクローシュ・アイタイ(英語版)とセメレディは、コーナーズ定理(英語版)を証明し、セメレディの定理(英語版)の高次元一般化への重要なステップとなった。 アイタイとヤノーシュ・コムロス(英語版)と共同で、セメレディはラムゼー数R(3,t)に対するct/log t上限を証明し、最適深さのソーティングネットワークを構築した。アイタイとヴァーツラフ・フバータル(英語版)、モンティー・ニューボーン(英語版)と共同で、セメレディは有名なクロッシング補題を証明した。その内容は、m > 4nを満たすn頂点とm辺を持つグラフは少なくともm / 64nクロッシング(英語版)を持つ、というものである。ポール・エルデシュと共同で、セメレディは有限集合における和と積の数に関するエルデシュ・セメレディの定理(英語版)を証明した。ウォルフガング・ポール(Wolfgang Paul)とニック・ピッペンガー(英語版)、ウィリアム・トロッター(英語版)と共同で、セメレディは非決定性線形時間と決定性線形時間の分離を、悪名高いP≠NP予想の精神で確立した。