Similar to 制約充足問題
安定結婚問題
Stable marriage problemNP完全問題
NP-completeness最適化問題
Optimization problem▲1 trends巡回セールスマン問題
Travelling salesman problem▲1 trends線型計画問題
A*
A* search algorithm▲1 trendsAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)DPLLアルゴリズム
DPLL algorithmKd木
K-d treeK平均法
K-means clustering▲1 trendsアルゴリズム
Algorithm▲1 trendsアルゴリズム解析
Analysis of algorithmsアルゴリズム的確率
Algorithmic probability自然言語処理
Natural language processing制約プログラミング
Constraint programming0
01
1▼-2 trends2
23
34
4▼-1 trends5
56
67
78
8▼-1 trends9
912345679
数学の問題
Mathematical problem