Docs dp

[NachiaVivias]

dp ディレクトリにあるライブラリの docs

[NachiaVivias]

2 点とも修正しました。

ところで、分枝限定法の型の制約は書いたほうがよいですか？（コードでは判断できない）（このライブラリあまり使わなさそう）

[NyaanNyaan]

分枝限定法は最悪ケースで要素数の指数時間かかるはずです。

• ただし、入力によっては計算量が worst $O(2^N)$ になってしまうので注意が要る。

のような一節があるとよいかもしれません。 (ちなみに分枝限定法はテストケースが弱いのを狙った嘘解法用に作ったライブラリです、使ったことはないですが…)

[NachiaVivias]

型の制約、というのは重み$w,W$や価値$v$のデータ型の制約のことでした。浮動小数とかも入るかもしれないと思いましたが、使わないなら制約は厳しくして鑑賞専用にするのも楽でよいと思います。

計算量 O(N2^N) とは書いていますが、確かに O(2^N) です。それは修正します。
"入力によって" 計算量が "worst" "O"(2^N) はニュアンスのつけすぎだと思います。

[NyaanNyaan]

「型の」というフレーズを読み飛ばしていました ><　浮動小数点数でちゃんと動くのかちょっと自信ないので整数に限定して良さそうだと思います。

修正確認しました。

• このライブラリは、弱いテストケースを狙う嘘解法での利用を想定したものである。

こういう一節は入っていると良さそうだと思ったので入れて頂きありがとうございます！