construct/rlve round robin scores
construct/rlve round robin scores: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Construct an 18 x 18 matrix A (0-indexed) with entries in {0, 1, 2} such that 1. A i i = 0 for all i; 2. A i j + A j i = 2 for all i != j; 3. W i = 3 {j : A i j = 2} + 1 {j : A i j = 1} equals the…
The task
Construct an 18 x 18 matrix A (0-indexed) with entries in {0, 1, 2} such that 1. A[i][i] = 0 for all i; 2. A[i][j] + A[j][i] = 2 for all i != j; 3. W[i] = 3 * #{j : A[i][j] = 2} + 1 * #{j : A[i][j] = 1} equals the target below for every i.