https://123dok.net/document/zpn166g4-additive-capacity-problem-quantitative-information-flow.html