木の1-極大独立集合問題に対する乱択分散アルゴリズム | アルゴリズム設計論講座(泉研究室) - 大阪大学大学院情報科学研究科コンピュータサイエンス専攻