论文部分内容阅读
鸽巢公式的一个真值指派可以用一个边带标记的完全二分图表示.在完全二分图中插入一个新的中介结点集,可以将鸽巢公式推广到带中介的情形,从而形成一类新的消解难例公式.文中提供了一种新的消解难例的构造方法.
带中介的鸽巢公式
【摘 要】
：
鸽巢公式的一个真值指派可以用一个边带标记的完全二分图表示.在完全二分图中插入一个新的中介结点集,可以将鸽巢公式推广到带中介的情形,从而形成一类新的消解难例公式.文中
【机 构】
：
贵州大学计算机科学系
【出 处】
：
贵州大学学报：自然科学版
【发表日期】
：
2004年4期
【基金项目】
：
贵州省省长基金
其他文献
一、总结典型意象,感知主题情感意象是诗歌的精灵,是诗歌中熔铸了作者主观情感的客观物象。从某个角度来说,找准了典型意象,就能很好地感知作者的思想情感。在我国古典诗歌漫
本文用液体聚异戊二烯橡胶和马来酸酐的接枝物与丙烯酸-β-羟乙酯在碱性条件下酯化制备了改性物,并探讨了反应温度、接枝物浓度、反应物配比、催化剂用量、反应时间对酯化反
软件演化过程描述语言是一种面向对象的可视化建模语言。使用软件演化过程描述语言，在建模过程中不仅可以建立整体的软件演化框架，还能以极强的描述能力在不同的抽象层次上描述
目的分析护理流程管理在纤维支气管镜检查患者健康教育中的应用效果。探讨纤维支气管镜检查患者的健康教育最佳实施方法，确保检查顺利而安全。方法将纤维支气管镜检查患者随机
该文运用协整理论对我国农村居民人均收入和农业各税总额的关系进行实证分析,拟研究国家农业税收政策对农民收入的影响程度,为税收政策的制定和完善提供比较有效的依据.结果
为了平衡测验中限制条件而提出最大优先级指标（MPI）一阶段选题方法可能出现越界,对该情况进行分析,并给出修正方案,修正后基本解决了限制条件越界的问题.
目的应用石蜡油联合早期肠内营养支持及综合护理措施，对老年食管胃结合部癌空肠间置术后患者进行治疗，探讨恢复的效果。方法对120例老年食管胃结合部癌空肠间置术后患者（试验组6
近日我校年轻教师李春燕、陈娇娜、游丽萍将开设公开课，选择的是人教版必修4诗歌单元。文学硕士毕业的她们，对文本的解读自然有其独到之处，让我感觉到后生可畏。她们提出名篇名
一、体察语境究内涵散文的哲思之美在具体的文本中不是孤立存在的，而是借助于具体的语言环境加以表达的。因此对散文哲思的感受、分析，同样必须借助于具体的语言环境，即从文本上
为了消除电力系统的混沌现象，克服其对大面积电网的不利影响，对电力系统的四维非线性模型进行了复杂动力学特征分析，包括相轨迹图、分岔图、庞加莱映射图，这些特征加深了对其混沌