流网络

流网络和最小割最大流定理。我们提出了流网络的形式化和最小割Max Flow定理。我们的形式证明紧跟着一个标准的教科书证明,即使在没有伊莎贝尔/ HO的专家的情况下也是可以访问的,用于形式化的交互式定理证明器。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。


ZBMaCT中的参考文献(1篇文章中提到)

显示1的结果1。
按年份排序(引文

  1. Lammich,彼得;Sefidgar,S. Reza:形式化的网络流算法:伊莎贝尔/HOL(2019)中的一种改进方法