組合せ集合を効率よく表現するデータ構造ZDD(Zero-suppressed Binary Decision Diagram)の初の解説書.Web動画で話題となった「おねえさんの問題」をはじめ,様々なグラフ列挙問題への応用例を紹介.Pythonライブラリによる実践を交えて解説する.
組合せ集合を効率よく表現するデータ構造ZDD(Zero-suppressed Binary Decision Diagram
・Pythonとグラフ理論で全国小中学生プログラミング大会グランプリ作品を解く[2018-10-27に投稿]