1) Cover the Vertices of a Graph by Induced Matchings
图的导出匹配覆盖
2) induced matching cover
导出匹配覆盖
1.
Aim To solve the induced matching cover problem of some graphs,such as the product of two paths and the nontrivial tree.
目的解决某些图类的导出匹配覆盖问题,特别是两条路的乘积图和非平凡树。
3) matching cover
匹配覆盖
1.
The matching cover number of a graphGwithout isolated vertices,denoted bymc(G),is the mini mumin-tegerksuch thatGhaskmatchingsM1,M2,…,MkthatM1∪M2∪…∪MkcoverV(G).
图G的匹配覆盖数,记为mc(G),是指满足如下条件的最小正整数k:G有k个匹配M1,M2,…,Mk覆盖图G的所有顶点。
4) IM-extendable graphs
导出匹配可扩图
1.
Characterizations of locally isomorphic 5-regular claw-free connected IM-extendable graphs.
本文研究了图论中与图的导出匹配可扩性有关的一些问题，由以下两部分组成： ⅰ局部同构的连通的5-正则无爪导出匹配可扩图的刻划 ⅱ单位区间图与循环图C_(2n)(1，m)的导出匹配可扩性 1 局部同构的连通的5-正则无爪导出匹配可扩图的刻划 对边集M(?)E(G)，如果G的任意顶点至多与M中的一条边关联，则称M是G的匹配。
5) Induced Matching
导出匹配
1.
The Induced Matching Partition Number of Some Special Graphs;
一些特殊图类的导出匹配划分数
2.
The induced matching extendability of cyclic graph with 2n vertices and step length 1 and 4;
步长为1和4的2n阶循环图的导出匹配可扩性
6) 1-edge-edletable IM-extendable graphs
1边可删的导出匹配可扩图
补充资料：导出法则
导出法则
derived rule
导出法则l山幼，目n此;npo”翔口“oe np姗月。]，给定演算中的推演法则的 如果一个推演法则的结论可以由它的取自所考虑的演算中的诸前提推出，则称此推演法则为导出法则.例如在命题演算(pmpeslt10nal calculus)中，由于 AOB，BOC卜A，C成立，所以推演法则 A OB，B OC A OC是命题演算中的一个导出法则.每一个导出法则均是合理法则(so山ld们目e).然而并非所有合理法则皆为一个导出法则.例如在命题演算中代换法则(sul比titu-tion rule)是合理的，但它不是一个导出法则.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条