论文部分内容阅读
考虑具备位置胜利条件的动态博弈的复杂性,证明了有限博弈的策略问题是多项式时间可解的及一阶逻辑的模型检测博弈问题是PSPACE-完全的.
一类动态博弈的复杂性分析
【摘 要】
：
考虑具备位置胜利条件的动态博弈的复杂性,证明了有限博弈的策略问题是多项式时间可解的及一阶逻辑的模型检测博弈问题是PSPACE-完全的.
【机 构】
：
贵州大学理学院
【出 处】
：
广西师范学院学报：自然科学版
【发表日期】
：
2012年3期
【基金项目】
：
国家自然科学基金（11161008）, 教育部博士点基金（20115201110002）
其他文献
当前，钢铁行业生产经营遇到了前所未有的困难。面对严峻的市场形势，作为邯钢的女工工作者，在传递压力、体会危机的同时，该为企业做些什么来应对市场的变化和挑战？
胸部恶性肿瘤、气管内膜结核常引起气管、主支气管狭窄、闭塞,导致患者呼吸困难,严重者可危及生命。本院2005年4月—2008年7月采用支气管镜置入钛记忆合金支架治疗中心气道狭
差序政府信任作为我国政府信任的特有格局,近些年成为学术界研究的热点话题。通过系统梳理,可以发现差序政府信任的已有研究主要集中在特征、形成逻辑与政治影响三个方面。在
高校是知识创新和科技创新的生力军。而当下部分高校科研管理模式滞后于科研活动的实际需要,在服务和助推科研工作方面不到位。变革高校科研管理模式,有利于提升科研活动的质
目的观察鼻内窥镜下治疗老年顽固性鼻出血的疗效。方法对35例鼻出血患者行鼻内窥镜下检查并采取相应治疗，术后随访观察3个月以上。结果治疗后均无鼻腔粘连、鼻中隔穿孔等并发
公立医院是医疗体系中的重要组成部分,而护理人员正在医院服务体系中占据了重要的位置,护理人员的素质水平高低将直接影响到医疗治疗的高低,因此是医疗活动开展过程中核心要
<正>再生障碍性贫血是血液科的常见病,病情重,病程长,给患者生理、心理、生活及家庭带来极大的影响,严重影响了患者的生活质量。我科自2003年5月把对患者及其家属的健康教育
会议