construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 11 x 17 binary matrices (0-indexed, one row per line). A: 01010101010110001 01000011000101100 01100011001111111 10111001001001101 00000001001100110 01011100100010110…
The task
A and B are 11 x 17 binary matrices (0-indexed, one row per line). A: 01010101010110001 01000011000101100 01100011001111111 10111001001001101 00000001001100110 01011100100010110 00001010001010100 00100110011100001 01011100001001101 00001000100010010 11010000010101000 B: 10100101001001011 00000100110001111…