Similar to ヨセフスの問題
ランダムに配した点がなす直線
Alignments of random points
レーマー符号
Lehmer code▼-1 trends
ロジャース＝ラマヌジャン恒等式
Rogers–Ramanujan identities
和の法則 (組合せ論)
Template:Combin-stub
Template:Combin-stub
完全グラフ
Complete graph
木分解
Tree decomposition
スプレイグ・グランディの定理
Sprague–Grundy theorem
タット行列
Tutte matrix
頂点被覆問題
パーフェクトグラフ
Perfect graph
バリンスキーの定理
Balinski's theorem
ピーターセンの定理
Petersen's theoremマクラフリングラフ
McLaughlin graph
メンガーの定理
Menger's theorem
有向非巡回グラフ
Directed acyclic graph
理論計算機科学
Theoretical computer science
カリー＝ハワード同型対応
Curry–Howard correspondence
グスタフソンの法則
Gustafson's law
クヌース賞
Knuth Prize
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
計算木論理
Computation tree logic
計算複雑性理論
Computational complexity theory
計算理論
Theory of computation
計算論的哲学
Computational philosophy
形式言語
Formal language形式言語の階層
形式手法
Formal methods