@ComeIntoPower 定义是有的
令 N(x)N(x)N(x) 为满足与 xxx 直接有边相连且在完美消除序列上的 xxx 之后的点集。则弦图的极大团一定为 {x}+N(x)\{x\}+N(x){x}+N(x) 。