次回 >> はじめに この記事でやること ZDD(Zero-suppressed Binary Decision Diagram, ゼロサプレス型二分決定グラフ) ZDDとは？ どうやって表現するの？ ZDDのプログラム上での表現方法と実装準備 ZDDクラスのコンストラクタ Diagramクラスのコンストラクタ…

はじめに この記事でやること 注意点 （前半）マトロイドと貪欲法 マトロイドの定義 【定義 1.1.1】*2 マトロイドに関する用語 【定義 1.2.1】 【定義 1.2.2】 【定義 1.2.3】 【定義 1.2.4】 【命題 1.2.5】*3 マトロイドと貪欲法 【定義 1.3.1】 【定義 1.…

この記事でやること 全永続セグ木って？ 全永続セグ木の実装例 区間mexクエリの処理方法 オフラインの場合 オンラインの場合 実装例 終わりに 参考文献 この記事でやること 全永続セグ木のPython (PyPy3) による非再帰実装 区間mexクエリのオフライン処理方…

この記事でやること 彩色多項式とは 木の彩色多項式 彩色多項式の漸化式 単純連結グラフの彩色多項式 ACコード 参考文献 この記事でやること ABC294-Ex問題 にてグラフ彩色の通り数に関する問題が出題され、その際彩色多項式なるものを勉強したので備忘録と…

この記事でやること はじめに（茶番） 注意点 Dinic法の概要 概略 実装例 計算量評価 実用上の高速化ポイント BFSは頂点t に到達した時点で打ち切る 実は頂点s からDFSするより頂点t からDFSした方が速い（らしい？） 二部マッチングにおけるDinic法の計算量…