算法证明

算法证明技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

算法证明 全部资料 500 份

算法，数据结构和用c++解决问题，一些外文课件，介绍的很有意思，看看帮助很大！

2013-12-26 145 算法证明

算法，文件及openGL等多种实现源码，用C++完成

2014-01-14 124 算法证明

算法，k-mean搜索方法，执行起来很快，推荐。

2017-08-20 47 算法证明

算法，采用Dijk算法，求网络所有点的最短路径和网络的平均最短路径

2017-05-26 168 算法证明

本文讲述一些有关算法的设计技巧及相关例子，希望对大家的思维有所帮助。

2025-01-30 8 算法证明

提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实...

2015-11-08 120 算法证明