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