ここで、数独のアルゴリズム Xは O(N^3) 時間の複雑さを持ち、N はボード サイズであるというステートメントを見つけました。
数独の場合、計算するバイナリ行列には N^3 行があるため、これはおそらく論理的です。しかし、それは数独問題を多項式時間で解決可能にし、数独はNP問題であることが知られています。つまり、(私が理解しているように)
常に多項式時間で解くことはできない
多項式時間で解を検証可能
では、数独のアルゴリズム X の時間計算量はどのくらいで、多項式時間で数独を解くことは可能でしょうか?
ありがとうございました!