一种用于识别不含冲突用户解释的算法

来源 :计算机学报 | 被引量 : 0次 | 上传用户:h_heart
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据用户解释特点和问题求解的需要扩充了图论中有向图的定义,使其结点既可以是普通的结点,又可以是一个有向图,并把用于表示用户解释的这种有向图称为GD-约束图,在此基础上,对不含冲突的用户解释表现于GD-约束图中的特征进行了抽取,最后,总结出用户解释不含冲突的充要条件并根据这个充要条件提出了一个时间复杂性为O(m×n)的多项式时间识别算法,同时还对算法的正确性和时间复杂性进行了证明和分析。
其他文献
工业化的软件复用从通用类库进化到了面向领域的应用框架和设计模式,与框架相比,设计模式更集中于软件体系结构中重复出现的设计韵律,它主要由可复用的抽象设计结构组成,特定领域
日前,由金思维公司承担的华能平凉电厂燃料管理系统成功通过电厂验收,同时,鉴于对燃料管理系统的高度认可,华能平凉电厂毫不犹豫地把生产管理系统的信息化接力棒交给金思维公司。
文中通过定性分析典型并行应用程序,提出产蒙义了消息传递无关因子R,即堆中的数据的传递在整个消息传递中所占比例,而且后在一个实际的NPC环境中对一组典型并行应用程序进行踪迹统计
The influence of anti-freezing admixture on the alkali aggregate reaction in mortar was analyzed with accelerated methods. It is confirmed that the addition of
按照华北电网有限公司ECM系统总体实施进度,张家口和承德供电公司上线切换在"十一"国庆期间紧张而有序开展,并提前26小时完成了所有切换工作任务,于2008年10月6日4:30正式上
针对IP多点组播视频控制信息组播传输的可靠扩展问题,将组播扩展性方案超立方体(hypercube)拓扑思想与组播可靠性方案反馈重发局部化(localization)思想用于控制机制,提出了
综述了Internet在区分服务(Differentiated services,Diffserv)研究方面的一些最新的工作,分析了Diffserv的体系结构、Diffserv的典型服务与技术,并着重论述了Internet Diffserv所面临的问题,包括Diffserv与综合服务(Integrated services,Intserv)相结合的端到端服务质量(QoS)提供机制、Diffserv
引进在建筑行业流行的绿色评价方法——全生命周期评价方法,分析了如何实施评价的——全生命周期评价,5个阶段:决策、设计,施工、运营维护和废弃处置。通过引入全生命周期成本等
以地理信息系统(GIS)为核心,结合遥感技术(RS)和全球定位系统(GPS)构建贵州电网输电信息管理系统,将输电设备空间分布信息、属性信息、状态信息及相关环境信息集成共享,实现了与雷电定位系统、生产管理系统、调度实时信息系统等的数据交换,绘制了与线路相关的污区、浮冰区、林区及特殊区域等,提供了对输电设备实施虚拟化、可视化和网络化管理的现代信息技术手段,有效提升了工作效率和管理水平,取得了良好的效果
为提高供电质量和服务水平,需要对与用户直接相关的低压电网运行状态进行实时监测,及时掌握低压配电网运行的情况,适时根据供电需求的增长调整电网负荷,及时发现和定位电网故障,杜