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