NP
#計算複雑性理論
yesとなる根拠が与えられたときその根拠が正しいかどうかを多項式時間で判定できる問題
既存のアルゴリズムに多項式時間で変換して、答えが同じように求められるとき、帰着するという。
すべてのNP問題が帰着できる問題のことをNP完全という。ぷよぷよの盤面から何連鎖が起きるか判定する問題とかがこれに属する。