速度对比：一个可以快速求解的3SAT例题

热度 1 姜咏江 2016-6-4 16:39

速度对比： 一个可以快速求解的 3SAT 例题 姜咏江 表 1 是手工求解的结果，最快用了 8 分钟。 表 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 1 0 x1 x2 x3 x4 x5 ...

个人分类: 3SAT解法|3556 次阅读|1 个评论 热度 1

一个可以快速求解的3SAT例题 ——答案

姜咏江 2016-5-31 09:37

这个题我做用了8分钟，熟悉子句消去法的读者大约15分钟可以得到满足解的答案。 这里上传一个满足解的答案，供有兴趣的读者参考。 欢迎读者给出3SAT题目，我来替你解答。 姜咏江 2016-5-31 3SAT求解.xls 3SAT求解-答案.xls

个人分类: 教学笔记|3467 次阅读|没有评论

一个可以快速求解的3SAT例题

姜咏江 2016-5-30 12:41

我这里提供一个3SAT可以用子句消去法快速求解的例题。有兴趣的读者不妨试试在十几分钟内求出满足解如何？ 3SAT求解.xls 姜咏江 2016-5-30

个人分类: 3SAT解法|3604 次阅读|没有评论

我搞科技创新最缺什么？

热度 2 姜咏江 2016-5-30 10:21

我搞科技创新最缺什么？ 姜咏江 不怕你笑话，我就是一个想吃“天鹅肉”的穷教书的。我在经济类大学教不被学校看好的计算机类课程。也是自己不入流，一开始就想从无到有设计一台完全自主的计算机。一晃 20 多年，我的愿望实现了。非但能够设计如西方人推崇的计算机 CPU 微体系结构，还有了自己的创新发明。发明 ...

个人分类: 计算机核|4394 次阅读|4 个评论 热度 2

能不能依靠国家的力量挺起中文科学发表？

热度 18 姜咏江 2016-5-29 18:42

能不能依靠国家的力量挺起中文科学发表？ 姜咏江 中国这么一个大国，这些年科学研究界一直在追求着所谓的英文“科学论文发表”。英文科学论文发表对人类来说无疑是一件大好事，然而对追求“中华民族伟大复兴”的国家来说，追求英文发表却未必是一件益处颇多的壮举。 据说，世界上论文发表能够被认可的， ...

个人分类: 科研论文|6127 次阅读|58 个评论 热度 18

类脑计算若过分追求脑结构会让我们裹足不前

热度 9 姜咏江 2016-4-17 09:17

类脑计算若过分追求脑结构会让我们裹足不前 姜咏江 计算机的发展从一开始就是出于仿真脑功能，而不是制造一个脑。这是因为从始至今电子器件的物质构成与生物脑的物质构成有着根本性的区别。做为生物学的脑科学无疑应该将脑的物质结构研究放在第一位，而做为类脑计算的计算机科学界来说，应该将用计算机如何实现脑功 ...

个人分类: 机器计算|8343 次阅读|17 个评论 热度 9

类脑计算必须放弃传统的OS理念

热度 2 姜咏江 2016-4-16 08:53

类脑计算必须放弃传统的 OS 理念 姜咏江 昨天去参加 CCF YOCSEF “类脑计算”报告会。从计算机科学的角度出发，我赞成类脑计算的提法。因为目前的计算机仍然是机器，不是由生物细胞构成的，故直接说人工造脑恐怕为时尚早。 在会上我向清华大学著名教授、中国科学院院士、计算机专家、清华大学类脑计算研究中心 ...

个人分类: 机器计算|5365 次阅读|8 个评论 热度 2

类脑计算之理解

姜咏江 2016-4-15 09:44

类脑计算之理解 姜咏江 今天下午 CCF YOCSEF 报告会 : 类脑计算（ 4 月 15 日 ( 星期五 )14:00-17:30 ） 报告会将要举行，在我看来这是一件大事。 中国脑计划主要属于计算机领域？医学领域？还是计算机医学相互结合的领域？但就“类脑计算”来看，这一定是计算机科学领域的问题。 其实计算机的 ...

个人分类: 计算机核|7935 次阅读|没有评论

图01表示的性质及在同构中的应用

姜咏江 2016-4-11 10:58

姜咏江 将图的每个顶点用 1 表示，而与其相邻的顶点用 0 表示，这样形成的表就表示了一个顶点与周围顶点的相邻关系。全部顶点相邻关系的 01 表示就形成了一张行列数相同的表。 1. 图 01标准表 例如，图 1 的两个图直观来看，它们 ...

个人分类: P/NP问题|4403 次阅读|没有评论

本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏