SAT问题

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

资源总数
500

SAT问题 热门资料

查看全部 500 份 →

本实验中的问题是一个逻辑问题，而实验的目的是运用邻接矩阵解决图存储并解决在此结构情况下对矩阵中元素的扫描计算。其关键是怎样储存和计算。储存用的是邻接矩阵，而计算是用迪杰斯特拉算法。

2014-01-19 58 SAT问题