基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
合取范式可满足性问题(简称SAT问题)是一个NP完全问题.引入了一个饱和合取范式的概念,利用饱和合取范式的性质,对SAT问题的本质进行了研究.在此基础上,证明了一个SAT问题有解的充要条件,它为SAT问题完全算法和非完全快速算法的深入研究提供了一条新的思路.
推荐文章
Leslie素矩阵的一个充要条件
素矩阵
种群动力学
等同
关联矩阵
实际意义下n-D单边矩阵方程有解的充要条件
n-D系统
矩阵方程
实际意义
信号码的一个充要条件
前缀码
极大前缀码
信号码
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一个SAT问题有解的充要条件
来源期刊 中山大学学报(自然科学版) 学科 工学
关键词 合取范式 SAT问题 NP完全问题
年,卷(期) 2004,(2) 所属期刊栏目
研究方向 页码范围 37-39
页数 3页 分类号 TP30.1
字数 3704字 语种 中文
DOI 10.3321/j.issn:0529-6579.2004.02.010
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 余丰人 中山大学电子与通信工程系 5 10 2.0 3.0
2 丘海明 中山大学电子与通信工程系 10 64 4.0 8.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (2)
节点文献
引证文献  (4)
同被引文献  (0)
二级引证文献  (1)
1994(1)
  • 参考文献(1)
  • 二级参考文献(0)
1996(1)
  • 参考文献(1)
  • 二级参考文献(0)
2004(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2006(2)
  • 引证文献(2)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(1)
  • 引证文献(0)
  • 二级引证文献(1)
2015(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
合取范式
SAT问题
NP完全问题
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
中山大学学报(自然科学版)
双月刊
0529-6579
44-1241/N
大16开
广东省广州市新港西路135号
46-15
1955
chi
出版文献量(篇)
5017
总下载数(次)
6
总被引数(次)
45576
相关基金
广东省自然科学基金
英文译名:Guangdong Natural Science Foundation
官方网址:http://gdsf.gdstc.gov.cn/
项目类型:研究团队
学科类型:
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导