F类低的N个网络和M（M）英寸-C类ut（输出）-M（M）斧头-F类低的T型神灵

彼得·兰米奇 🌐和S.雷扎·塞菲加

2017年6月1日

摘要

我们提出了流网络和Min-Cut-Max-flow的形式化定理。我们的形式证明严格遵循标准的教科书证明，即使不是Isabelle/HOL的专家也可以访问用于形式化的交互式定理证明器。

许可证

许可协议

话题

会话流网络

取决于

使用者

自动相关条目

引用

× 
@文章{Flow_Networks-AFP，作者={彼得·兰米奇和S.雷扎·塞菲加}，title={流网络和Min-Cut-Max-Flow定理}，journal={正式证据存档}，月={6月}，年份={2017年}，注释={\url{https://isa-afp.org/entries/Flow_Networks.html},形式证明发展}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：