设p≥1,pK2是p个K2的不相交的并,π=(d1,d2,…,dn)是一个可图序列且n≥2p.如果π有一个实现包含pK2作为子图(即π有一个实现包含一个p条边的匹配),则π称为是蕴含pK2-可图的.给出了蕴含pK2-可图序列π的一个刻划.