本論文では、グラフの最大独立集合(MIS)を見つけるための単純なグリーディーアルゴリズムを一般化している。通常のアルゴリズムは空集合から始まるが、本論文ではどのような初期設定からでも最大独立集合に到達できるよう拡張している。
まず、MISアルゴリズムをブール・ネットワークの順次更新として捉え直し、「MISネットワーク」と呼ぶ。MISネットワークの固定点がグラフのMISに対応する。この一般化では、任意の初期設定から出発し、頂点列に沿って更新を行う。
この拡張版MISアルゴリズムについて以下の結果を示した:
さらに、有向グラフへの拡張も行い、カーネルネットワークの固定化語の決定問題がcoNP困難であることを示した。代替として、独立集合ネットワークと支配集合ネットワークを提案し、それらは多項式時間で固定化語を決定できることを示した。
他の言語に翻訳
原文コンテンツから
arxiv.org
深掘り質問