切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
集合性质F,■,F~*算法复杂性的关系
集合性质F,■,F~*算法复杂性的关系
来源 :兰州铁道学院学报 | 被引量 : 0次 | 上传用户:blanknan
【摘 要】
:
设 T 为集合,P(T)为 T 的幂集,则 P(F)的子集 F 称为 T 的一个性质。本文证明了 H.P.Yap 提出的两个公开问题:设 F 为有限集 T 上的一个性质,■为 F中的所有关于 T 的补集构
【作 者】
:
刘明华
【机 构】
:
兰州铁道学院基础课部
【出 处】
:
兰州铁道学院学报
【发表日期】
:
1993年1期
【关键词】
:
性质
算法复杂性
图论
关系
properties
computational complexity
graph-theoretical algorithm
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
设 T 为集合,P(T)为 T 的幂集,则 P(F)的子集 F 称为 T 的一个性质。本文证明了 H.P.Yap 提出的两个公开问题:设 F 为有限集 T 上的一个性质,■为 F中的所有关于 T 的补集构成的集合,F~*为■在 T 的幂集中的补集,则 F,■,F~*的算法复杂性均相等。
其他文献
P60货车车辆的动态响应分析与车轴动应力计算
为货车车轴的疲劳寿命预估作计算应力谱准备,以P60货车转8A转向架及TB450—83规定的D轴为例,计算了在满载运行和曲线通过条件下货车车辆的动态响应及车轴动应力。计算结果表
期刊
货车
轮轴
动应力
动态响应
freight car
dynamic
wheel axle
dynamic stress
重组人表皮生长因子生物活性国家标准品的研制
目的 建立测定重组人表皮生长因子(rhEGF)活性用国家标准品。方法 按WHO有关要求,制备并检测标准品,以EGF国际标准品为标准进行协作标定。结果 冻干EGF标准品经外观、无菌、水分
期刊
重组人表皮生长因子
生物活性
国家标准品
研制
RHEGF
自发性食管破裂的诊断和外科治疗
目的 总结自发性食管破裂诊断和外科治疗的经验。方法 对我院1966年至1998年收治的22例自发性食管破裂病例的诊断、治疗、结果进行回顾性分析。结果 本组病例10例在48 h内确
期刊
自发性食管破裂
诊断
外科治疗
Spontaneous rupture of esophagus Diagnosis Surgical treatment
无人值守公目查询平台的实现
随着Web信息发布系统在图书馆联机书目查询系统中的利用,OPAC公目查询系统极大的方便了读者对自己借还信息的了解以及进行网络预约和续借。OPAC也正在逐渐成为读者利用比较广
期刊
公目查询
查询平台
无人值守
Inquiry system
Inquiry platform
Unattended
韶山1型电力机车转向架横向弹性连接装置的设计与研究
兰州铁路局兰西机务段所属的SS1型电力机车在兰州至宝鸡区段运行,轮缘磨耗十分严重.本文针对这一问题,在两个转向架之间采用加装横向弹性连接装置的有效措施,以改善轮缘磨耗。通过设
期刊
电力机车
磨耗
弹性连接装置
electric locomotive
wear and tear
traverse
elastic and connection
网络环境下图书馆参考咨询馆员素质构成
随着信息时代的到来,在日益发展的网络环境下,我国图书馆参考咨询工作已成为我国咨询业的一个重要组成部分。网络条件下的图书馆参考咨询服务是一项复杂且具有创造性的高智力服
期刊
图书馆
参考咨询工作
馆员素质
网络环境
Libraries
Reference work
Staff quality
Network environme
国际金融危机下江苏农村信息化工作发展策略
本文从江苏经济和农村发展的现状出发,分析了国际金融危机影响下江苏农村信息化的应用重点,并为江苏农村信息化加速发展提出了一些建议。
期刊
国际金融危机
农村信息化
发展策略
江苏
international financial crisis
rural informatization
deve
高校图书馆期刊信息化管理探讨
在分析期刊工作特点的基础上,对高校图书馆期刊信息化管理工作进行了探讨,并提出了高校图书馆期刊服务的策略。
期刊
高校图书馆
期刊
信息化管理
university library
journals
information management
网络环境下信息资源共享模式研究
本文介绍了网格技术、Web服务、P2P技术和Z39.50协议的内涵及特点,论述了基于四种技术的信息资源共享的模式的基本原理,并对四种信息资源共享模式进行了比较分析。
期刊
信息资源共享
网格技术
WEB服务
P2P
Z39.50
Sharing of information resources
Grid
Web service
原发性输尿管癌的诊断与治疗(附14例报告)
目的:提高原发性尿管癌的诊治水平.方法:结合有关文献分析收治的14例原发性输尿管癌的临床特点、诊断和治疗并进行讨论.结果:14例术后均经病理证实.首发症状以血尿常见,逆行
期刊
输尿管肿瘤
诊断
治疗
病例分析
与本文相关的学术论文