optimize/fs cycle independent set
optimize/fs cycle independent set: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Let C 7 be the cycle graph on vertices 0..6 (i adjacent to i+1 mod 7). Its 5-th strong power C 7^5 has vertex set {0..6}^5; two distinct vertices x, y are adjacent iff for every coordinate i, x i - y i…
The task
Let C_7 be the cycle graph on vertices 0..6 (i adjacent to i+1 mod 7). Its 5-th strong power C_7^5 has vertex set {0..6}^5; two distinct vertices x, y are adjacent iff for every coordinate i, x_i - y_i is -1, 0 or 1 modulo 7. Find an independent set in C_7^5 (no two of its vertices adjacent) that is as large as…