「complete graph」を解説文に含む見出し語の検索結果(31~40/194件中)
二分決定図(にぶんけっていず、英: Binary Decision Diagram, BDD)や二分決定グラフ(にぶんけっていグラフ)とは、ブール関数を表現するのに使われる有向非巡回グラフであ...
二分決定図(にぶんけっていず、英: Binary Decision Diagram, BDD)や二分決定グラフ(にぶんけっていグラフ)とは、ブール関数を表現するのに使われる有向非巡回グラフであ...
二分決定図(にぶんけっていず、英: Binary Decision Diagram, BDD)や二分決定グラフ(にぶんけっていグラフ)とは、ブール関数を表現するのに使われる有向非巡回グラフであ...
二分決定図(にぶんけっていず、英: Binary Decision Diagram, BDD)や二分決定グラフ(にぶんけっていグラフ)とは、ブール関数を表現するのに使われる有向非巡回グラフであ...
二分決定図(にぶんけっていず、英: Binary Decision Diagram, BDD)や二分決定グラフ(にぶんけっていグラフ)とは、ブール関数を表現するのに使われる有向非巡回グラフであ...
二分決定図(にぶんけっていず、英: Binary Decision Diagram, BDD)や二分決定グラフ(にぶんけっていグラフ)とは、ブール関数を表現するのに使われる有向非巡回グラフであ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/14 09:32 UTC 版)「ゲーデル賞」の記事における「受賞論文」の解説^ Babai, László...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
計算複雑性理論におけるSLとは、USTCON問題に対数領域還元可能な問題の複雑性クラスである(Symmetric Logspace の略)。USTCON問題とは、無向グラフの2点間に経路があるかどうか...
計算複雑性理論におけるSLとは、USTCON問題に対数領域還元可能な問題の複雑性クラスである(Symmetric Logspace の略)。USTCON問題とは、無向グラフの2点間に経路があるかどうか...