digitDP

Library Files

digitDP/ADFA

• digitDP/ADFA/digit_dp_adfa.hpp
• digitDP/ADFA/geq_adfa.hpp
• digitDP/ADFA/intersection_adfa.hpp
• digitDP/ADFA/leq_adfa.hpp

digitDP/ProductofDFA

• digitDP/ProductofDFA/and_zero.hpp
• digitDP/ProductofDFA/leq_digits.hpp
• digitDP/ProductofDFA/product_of_adfa.hpp
• digitDP/ProductofDFA/product_of_dfa.hpp
• digitDP/ProductofDFA/same_msd.hpp
• digitDP/ProductofDFA/sum_leq.hpp

digitDP

• オートマトン (digitDP/automaton.hpp)
• digitDP/count_number.hpp
• digitDP/digit_dp_leq.hpp
• digitDP/forbidden.hpp
• digitDP/include_all.hpp
• digitDP/intersection.hpp
• digitDP/kadomatsu.hpp
• 状態最小化 (digitDP/minimize.hpp)
• digitDP/modulo.hpp
• digitDP/prod_of_digits.hpp
• digitDP/simple.hpp
• digitDP/sum_of_digits.hpp
• digitDP/union.hpp
• digitDP/zigzag.hpp

other

• other/mint.hpp
• other/partition_refinement.hpp

test/atcoder

• test/atcoder/ABC007_D.cpp
• test/atcoder/ABC129_E.cpp
• test/atcoder/ABC129_E_2.cpp
• test/atcoder/ABC138_F.cpp
• test/atcoder/ABC154_E.cpp
• test/atcoder/ABC235_F.cpp
• test/atcoder/EDPC_S.cpp

Verification Files

test/aoj

• test/aoj/0570.test.cpp

test/yukicoder

• test/yukicoder/0315.test.cpp
• test/yukicoder/0362.test.cpp
• test/yukicoder/0685.test.cpp
• test/yukicoder/1417.test.cpp
• test/yukicoder/1740.test.cpp
• test/yukicoder/1953.test.cpp