幾何データに対する省領域アルゴリズムと時間・領域トレードオフ