科学网—accsys的博文

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › accsys的博文

accsys

https://blog.sciencenet.cn/?340399

投稿ACM TOCS: 热度 2 姜咏江 2017-6-27 08:37; 投稿 ACM TOCS 昨天将最终定稿的子句消去法论文投向了 ACM TOCS 。看看他们是否有定力能够对我的论文给出评价。我已经设计完成了 3-SAT 的子句消去法测试程序设计，经过我的多方检验没有问题。如果他们需要，我可以将测试程序寄给他们。其实，子句消去法程序在计算机上正确地运行，才具有可靠的说服力。也 ...; 个人分类: 子句消去法|4061 次阅读|6 个评论热度 2

简单求3-SAT解DPLL方法与子句消去法比较: 热度 1 姜咏江 2016-12-19 21:07; SAT 问题求解的 DPLL 算法是一种带回溯的深度优先搜索，其方法简单例子如下： a' b' c a' b' c a' b' c a' b' c a' b c' a' b c ...; 个人分类: 子句消去法|5486 次阅读|4 个评论热度 1

千禧难题P与NP问题（科普1）: 姜咏江 2016-11-17 10:01; 姜咏江 P与NP问题是美国克雷数学所2000年悬赏百万美元的七大世界难题之一。 1. 什么是 P 与 NP 问题？下面这段话是从维基百科的 p 与 np 问题的绍中摘录的。 Inthistheory,theclass P consistsofall&n ...; 个人分类: 子句消去法|3876 次阅读|没有评论

看看英文的反码是如何定义的: 姜咏江 2016-11-13 13:46; 看看英文的反码是如何定义的姜咏江要把我的文章翻译成英文，遇到反码这个词。在维基百科也未找到。找了半天好像找了一个最全的： · baseminusone'scomplement · ...; 个人分类: 子句消去法|5452 次阅读|没有评论

子句消去法求3-SAT满足解的练习题: 姜咏江 2016-10-20 09:12; 这是我在研究子句消去法求3-SAT满足解的部分验证题，具体是否有解可以运用子句消去法检验一下，从这些题目中可以确认子句消去法的正确性。给出这些练习是为了减少朋友们的工作。 3SAT求解.xls 4sat4.xls 10Book2.xls 100.xls Boo2.xls Book1.xls Book2.xls Book3.xls Book4.xls Book5.xls ...; 个人分类: 子句消去法|1959 次阅读|没有评论

会议

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-4-26 23:16

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部