论文部分内容阅读
证明存在一个保持最大元１的可计算枚举高度的钻石格。
一个高的钻石定理
【摘 要】
：
证明存在一个保持最大元１的可计算枚举高度的钻石格。
【机 构】
：
中国科学院软件研究所
【出 处】
：
软件学报
【发表日期】
：
2000年1期
【基金项目】
：
国家自然科学基金! ,,No.6 99730 4 8,,国家 8 6 3高科技项目基金!No.86 3- 30 6 - 0 5- 0 9- 2 B,,中国科学院青年基金
其他文献
在技校制图教学中,轴测图中椭圆的画法虽不是重点,但难度较大,学生学习较为困难。一是椭圆用菱形法作图繁;二是椭圆长、短轴方向确定难。笔者在教学中采用:“以原圆直径画椭
电路中各点电位的计算是《电工基础》的难点与重点之一,学生有几个方面难于理解和掌握:①电位与电压的关系;②两点之间电压正负的确定;③路径电压议程的建
由于组播群组的动态性和数据传送的不可靠性,相对于点到点通信,组播通信的安全认证更为复杂.在组播数据发送源认证问题中,签字的速度和长度是实现认证的主要障碍.为了解决这
针对造纸黑液的特点,提出应用水煤浆技术治理黑液的思路.该技术视黑液为资源,对黑液进行合理应用,从而达到了污水零排放目的.使用热天平对黑液水煤浆进行了热重分析.研究表明
烧伤补液是防治烧伤休克的主要措施，补液公式通常用于指导早期的液体复苏治疗。我院1998年以前烧伤补液基本参照医学院校教科书中的“国内常用公式”，但经常观察到患者休克期度
在高速分组交换网络中，分组调度策略和算法的设计是一个关键问题，由于网络分组调度策略有着多方面性能的要求，如何同时满足多个性能目标是当前的研究难点，基于比例公平性原则，提出