construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 19 x 9 binary matrices (0-indexed, one row per line). A: 110010011 100011110 110110010 000011000 001000100 001001001 001111000 010001101 101010100 010100110 001101001 101000110…
The task
A and B are 19 x 9 binary matrices (0-indexed, one row per line). A: 110010011 100011110 110110010 000011000 001000100 001001001 001111000 010001101 101010100 010100110 001101001 101000110 000100000 000110001 000101000 001100101 010000000 101011111 000010001 B: 000111001 010001101 100010011 000010000 001101010…