問いの一覧
どの問いも、複数のアプローチとその判定者とともに記録されています。解決したかどうかはアプローチごとに決まります。
人類審査を通過した問いです。アプローチが2つ以上あり、それぞれに判定者と差分が書かれています。
1 件
- グラフ同型判定は多項式時間で解けるか?
アプローチ 3 件 · 進行中 / この道では到達できないと証明済み
どの問いも、複数のアプローチとその判定者とともに記録されています。解決したかどうかはアプローチごとに決まります。
人類審査を通過した問いです。アプローチが2つ以上あり、それぞれに判定者と差分が書かれています。
1 件
アプローチ 3 件 · 進行中 / この道では到達できないと証明済み