你如果正在寻找一个轻量级的 SAT 求解器，tinysat会是个不错的选择。它是一个基于 JavaScript 的最小化 CDCL SAT 求解器，实现了第一唯一蕴涵点（1UIP）子句学习单元传播算法。最重要的是，tinysat不仅能和node.js一起运行（执行命令node tinysat_nod
Nodejs 0 次浏览
算法导论，最经典的算法书算法研究，ACMer必备
C++ 24 次浏览
Python算法,可以大幅度提高你的面试和实战能力,只要看了本书便可实战攻击各种大公司的面试官
Python 21 次浏览
算法导论全面介绍了算法设计、分析和实现的基础知识。它包含众多实用算法、示例和习题，为学生和从业者提供了全面了解算法领域的扎实基础。
C 25 次浏览
主要是使用C语言，利用Dijkstra算法实现计算出任意两点之间的最短路径
C 20 次浏览
这就是双线性内插值法。双线性内插值法计算量大，但缩放后图像质量高，不会出现像素值不连续的的情况。由于双线性插值具有低通滤波器的性质，使高频分量受损，所以可能会使图像轮廓在一定程度上变得模糊
Delphi 19 次浏览
TLD算法全称是Tracking-Learning-Detection算法。
C++ 23 次浏览