【摘 要】
：
一个图G=(V,E)的树分解是将结点集V的子集作为树T的节点,使得在T上任意一条路径上的两个端节点的交集包含于该路径上的任意一个节点中。将T上最小(节点)对应子集的元素个数减
【基金项目】
：
国家自然科学基金(61762019,61862051)
论文部分内容阅读
一个图G=(V,E)的树分解是将结点集V的子集作为树T的节点,使得在T上任意一条路径上的两个端节点的交集包含于该路径上的任意一个节点中。将T上最小(节点)对应子集的元素个数减1定义为分解树T的宽度,用宽度最小的分解树T的树宽度定义图G的树宽度。一个合取范式(Conjunctive Normal Form,CNF)公式F可以用一个二分图G=(V∪C,E)表示(公式的因子图),其中变元结点集V对应公式F中的变元集,子句结点集C对应公式F中的子句集,变元在子句中的正(负)出现用实(虚)边表示。忽略公式因子图中边
其他文献
北电OM3500与OM4150设备组成的环网和OME6500设备组成的链路均能对其承载的电路实现通道保护切换功能，但这2种设备对接后，穿过环网和链路的电路却无法实现通道保护切换。通过对
本案位于日本名古屋的一个住宅密集的居住区之中,离名古屋车站不远。业主是一位父亲及其女儿,父亲喜欢现代日式风格,而女儿则偏爱色彩鲜明的艺术风格。设计团队综合了二位的
随着电力系统变电站自动化水平的提高,变电站的无人值守方式对安全监控和防盗提出了新的要求。文章分析了淄博变电站的新需求,针对需求提出了解决方案,分别从视频监控系统主
莒县是农业大县,耕地面积6.8万hm^2,现有农村集体产权制度改革认定集体经济组织成员103.4万人,这样的基本县情就是人多地少、土地细碎化严重,因此推广构建农民合作社的联合发