【摘 要】
:
我们考虑具有优先代表资格的NP完全问题——析取范式的永真性判定问题。本文从全局性构造的角度对它作了某种分析,得出如下结果:在由n个确定的命题变元所可能构成的一切析取
【机 构】
:
华中理工大学计算机系,华中理工大学计算机系
论文部分内容阅读
我们考虑具有优先代表资格的NP完全问题——析取范式的永真性判定问题。本文从全局性构造的角度对它作了某种分析,得出如下结果:在由n个确定的命题变元所可能构成的一切析取范式中,永真析取范式的个数与非永真析取范式的个数之比当n趋于无穷时为无穷大。 基于所得结果,对于析取范式永真性判定问题得出了一个近似快速的求解算法,按此算法,对绝大多数的析取范式,其永真性问题,在多项式时间内都可解决。
其他文献
作为CAD/CAM/Robotics一体化系统的一个组成部分,机器人图形模拟系统的通用性是在构造系统时必须解决的问题。本文引入了一个迭代型的算法来解决机器人运动学模拟系统的通用性问题。使用此算法,构造了一个通用的工业机器人运动学图形模拟系统,该系统能建立起由多台具有不同结构的机器人组成的工作现场的模型,并可对其中的机器人进行示教编程。机器人的形态和被编程的动作都可以用三维图形的形式显示在图形终端上
本文引进了一种新的关系操作S_j-reduce,它能以较少的通信开销,去直接求解分布式数据库中有回路的查询。
RTSS是一个实时系统性能模拟工具,用于分析预测实时系统中最为重要的时间相关类性能指标.它支持模型说明,自动实现模拟过程以降低模拟系统实现代价.本文介绍RTSS所基于的性能