対称半代数集合の接続性

対称多項式で定義された半代数集合において、2つの与えられた点が同じ連結成分に属するかどうかを効率的に判定するアルゴリズムを提案する。