TdZdd マニュアル

概要

本ページでは、フロンティア法を扱うことができるC++ライブラリ「TdZdd」の使い方を解説しています。主な対象者は、「フロンティア法を実装してみたい」と思っている学生や研究者です。以下に、フロンティア法の基礎をまとめた筆者のスライドと、TｄZdd開発者のスライドへのリンクを置きます。

解説の大まかな流れは以下のようになります。括弧内は対応する記事の番号です。