关于 clique 重构图的实现

对于图H和整数k≥1，令“Token Sliding 重构图”$\mathsf{TS}_k(H)$和“Token Jumping 重构图”$\mathsf{TJ}_k(H)$的顶点为H的k-clique，两个顶点相邻当且仅当一个clique通过替换一个相邻非成员来获得另一个clique，分别对应于替换任意非成员。对于目标图G，我们研究可行性集合$\mathcal{K}^{\mathsf{TS}}(G)$和$\mathcal{K}^{\mathsf{TJ}}(G)$，包含所有使得G同构于$\mathsf{TS}_k(H)$和$\mathsf{TJ}_k(H)$的整数k。我们确定完全图、路径、环、完全二分图、书图、友谊图及其补图的精确可行性集合，并给出所有Johnson图的完整分类。