本研究では、グラフ分割問題の一種である選挙区割問題を対象とし、選挙区割問題の解集合を表すゼロサプレス型二分決定グラフ （ZDD） をトップダウン的構築手法の反復的適用によって構築する手法について述べる。選挙区割問題の解集合を表すZDDをフロンティア法により構築する手法が知られているが、状態数の指数的増加により、構築過程で大量のメモリを必要とする。本研究では、緩和問題に対する解集合を表すZDDを反復的に構築することで効率的な探索空間の枝刈りを行い、トップダウン構築手法であるサブセッティング法を併せることで厳密解集合を省メモリ・高速に得る手法を提案する。計算機実験によって提案手法の有効性を確認する。