(graph theory) A theorem stating that the undirected graphs, partially ordered by the graph-minor relationship, form a well-quasi-ordering.
Robertson-Seymour theorem
組合せ的グラフ理論では、無向グラフがグラフマイナーの関係で部分順序づけられたときに良い準順序を成すという定理が、グラフマイナーに関する多くの結果や固定パラメータアルゴリズムの基盤を成している。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★