集合性质F,■,F~*算法复杂性的关系

来源 :兰州铁道学院学报 | 被引量 : 0次 | 上传用户:blanknan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
设 T 为集合,P(T)为 T 的幂集,则 P(F)的子集 F 称为 T 的一个性质。本文证明了 H.P.Yap 提出的两个公开问题:设 F 为有限集 T 上的一个性质,■为 F中的所有关于 T 的补集构成的集合,F~*为■在 T 的幂集中的补集,则 F,■,F~*的算法复杂性均相等。
其他文献
为货车车轴的疲劳寿命预估作计算应力谱准备,以P60货车转8A转向架及TB450—83规定的D轴为例,计算了在满载运行和曲线通过条件下货车车辆的动态响应及车轴动应力。计算结果表
目的 建立测定重组人表皮生长因子(rhEGF)活性用国家标准品。方法 按WHO有关要求,制备并检测标准品,以EGF国际标准品为标准进行协作标定。结果 冻干EGF标准品经外观、无菌、水分
目的 总结自发性食管破裂诊断和外科治疗的经验。方法 对我院1966年至1998年收治的22例自发性食管破裂病例的诊断、治疗、结果进行回顾性分析。结果 本组病例10例在48 h内确
随着Web信息发布系统在图书馆联机书目查询系统中的利用,OPAC公目查询系统极大的方便了读者对自己借还信息的了解以及进行网络预约和续借。OPAC也正在逐渐成为读者利用比较广
兰州铁路局兰西机务段所属的SS1型电力机车在兰州至宝鸡区段运行,轮缘磨耗十分严重.本文针对这一问题,在两个转向架之间采用加装横向弹性连接装置的有效措施,以改善轮缘磨耗。通过设
随着信息时代的到来,在日益发展的网络环境下,我国图书馆参考咨询工作已成为我国咨询业的一个重要组成部分。网络条件下的图书馆参考咨询服务是一项复杂且具有创造性的高智力服
本文从江苏经济和农村发展的现状出发,分析了国际金融危机影响下江苏农村信息化的应用重点,并为江苏农村信息化加速发展提出了一些建议。
在分析期刊工作特点的基础上,对高校图书馆期刊信息化管理工作进行了探讨,并提出了高校图书馆期刊服务的策略。
本文介绍了网格技术、Web服务、P2P技术和Z39.50协议的内涵及特点,论述了基于四种技术的信息资源共享的模式的基本原理,并对四种信息资源共享模式进行了比较分析。
目的:提高原发性尿管癌的诊治水平.方法:结合有关文献分析收治的14例原发性输尿管癌的临床特点、诊断和治疗并进行讨论.结果:14例术后均经病理证实.首发症状以血尿常见,逆行