第7回では, の部分集合系 が与えられたときに, が開集合系の定義を満たす（ が位相空間になる）かどうかの判定について書きます. 計算量は の要素数を , ワードサイズを として, 時間計算量 , 空間計算量 です. これが多項式時間になるという雰囲気が好きで…