もやすうめる

[ei1333]

つりーわんをもやすうめる

https://github.com/ei1333/library/blob/master/graph/flow/burn-bury.hpp

• 簡単にオーバーフローする → int128を使えばいいな　
• k値のもやすうめる　→　よくわかってないができそう（https://noshi91.hatenablog.com/entry/2021/06/29/044225 ）
• 解の復元　→　Dinic に min_cut() を追加する
• 3変数関数　→　よくわかっていないができそう（https://theory-and-me.hatenablog.com/entry/2020/03/17/180157 ）
• k変数関数　→　与えられた変数が全て 0 または全て 1 のとき $W (\ge 0)$ 得る 制約は頻出　→　この場合は簡単にできるが、変数の反転があるときよくわかっていない
• ドキュメントの追加　→　できそうだが面倒

[ei1333]

k変数関数の場合は、与えられた変数の反転がすべて一致するという制約を追加すればひとまずよさそう

[ei1333]

https://twitter.com/ssrs_cp/status/1546554761092427776?s=21&t=1pvwavorNR1IBkReDZ6vUw