「NP完全問題」を解説文に含む見出し語の検索結果(171~180/201件中)
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
アルゴンヌ国立研究所は1960年代以降2000年代まで、自動定理証明のリーダーだった。自動定理証明(じどうていりしょうめい、英: automated theorem proving, ATP)...
アルゴンヌ国立研究所は1960年代以降2000年代まで、自動定理証明のリーダーだった。自動定理証明(じどうていりしょうめい、英: automated theorem proving, ATP)...
アルゴンヌ国立研究所は1960年代以降2000年代まで、自動定理証明のリーダーだった。自動定理証明(じどうていりしょうめい、英: automated theorem proving, ATP)...
アルゴンヌ国立研究所は1960年代以降2000年代まで、自動定理証明のリーダーだった。自動定理証明(じどうていりしょうめい、英: automated theorem proving, ATP)...
アルゴンヌ国立研究所は1960年代以降2000年代まで、自動定理証明のリーダーだった。自動定理証明(じどうていりしょうめい、英: automated theorem proving, ATP)...
3色に頂点彩色(最適彩色)されたグラフ。ピーターセングラフの彩色数は3である。グラフ彩色(グラフさいしょく、英: Graph coloring)とは、グラフの何らかの要素に、ある制約条件を満た...
3色に頂点彩色(最適彩色)されたグラフ。ピーターセングラフの彩色数は3である。グラフ彩色(グラフさいしょく、英: Graph coloring)とは、グラフの何らかの要素に、ある制約条件を満た...
ナビゲーションに移動検索に移動アルゴリズム解析とは、アルゴリズムの実行に必要とされるリソース(時間や記憶領域)量を見積もることである。多くのアルゴリズムは任意長の入力を受け付けるよう設計されている。ア...