【摘 要】
：
空间方向关系推理问题的NP完全性证明是基于两个重要的变换基础之上的,其中一个变换是把空间方向关系推理问题变换为一个限定满足问题,基于这种变换,空间方向关系推理问题中
论文部分内容阅读
空间方向关系推理问题的NP完全性证明是基于两个重要的变换基础之上的,其中一个变换是把空间方向关系推理问题变换为一个限定满足问题,基于这种变换,空间方向关系推理问题中的变量和值域相应地变换为限定满足问题中的空间目标和方向关系限制;另一个变换是从不全等3可满足问题到方向关系限定满足问题,基于这种变换,3可满足问题实例中的变量可以变换为两个方向关系限制.为此,一个满足所有目标方向关系限制的空间结构可以建立,从而可以证明空间方向关系推理问题的NP完全性性质.
其他文献
梁柱平，男，1950年9月生，广西梧州人。现任广西师范大学体育学院院长顾问，教授，硕士研究生导师，国际A级举重裁判员，全国高等学校体育教学指导委员会委员，中国举重协会竞赛技术委员会委
目的观察窄谱中波紫外线联合丙酸氯倍他索乳膏治疗手掌部慢性湿疹的疗效。方法将198例手掌部慢性湿疹患者随机分为2组，治疗组103例用窄谱中波紫外线联合丙酸氯倍他索乳膏治疗；
该文研究的是两束相向超短超激光脉冲与中间薄膜靶相互作用之间产生快电子的一种简单自洽模型理论，由理论推知，当满足一定条件时，由于激光有质动力与靶电子的谐振作用，在靶表面的
介绍台湾微型化学实验的发展状况,并例举一些研发的微型仪器.
引入了序Lipschitz算子的概念,并研究了这种算子不动点的存在性问题和迭代收敛程序的构造,得到了一些新的不动点定理.
目的观察谷氨酰胺强化的TPN对胃肠道手术后蛋白质的合成、免疫功能及胃肠功能的作用.方法采用标准TPN与谷氨酰胺+TPN治疗的两组病人术前术后蛋白质合成、免疫功能及胃肠功能
在基于薛锦云提出的PAR(Partition-and-Recursion)方法的思想上,通过并行划分数据空间--自然地称之为并行分划递推,给出了在PRAM和超立方互联网络模型上的并行最大和最优算法
恩施自治州原属湖北省中流行地区，全州8个县市白50年代开展麻风防治工作，于1999年以前麻风发病率、患病率均达到了卫生部规定的“基本消灭麻风病”指标，通过省级专家组考核验收．2
【正】 多数急性胰腺炎是一种自限性疾病,约15％的病人可能恶化并进展为重症急性胰腺炎(SAP)。SAP临床表现凶险,其死亡率可高达40％。SAP治疗中很多观点颇有争议,手术和非手术治
目的通过对2006～2010年楚雄州无偿献血者HIV检测资料分析,发现HIV在无偿献血人群中流行的特点及影响因素,并提出相应的防治对策。方法对2006年1月～2010年12月楚雄州无偿献血者