项链t-图和完全t-图中活的和安全的标识类个数的证明

本文证明了：有k个结点（变迁）的项链型t-图nk和有n个结点（变迁）的完全t-图k。这两种特定结构的t-图中活的和安全的标识类的个数分别为：k-1和（n-1）!个。