haskell - 在 GF(2) 中计算 rref 的算法？

Question

我有一个matrix :: [[Int]]元素都是零或一。

如何rref在GF(2)中有效实施？

_{如果可以使用 LU 分解来计算GF(2) 中的rref(matrix)，那么任何关于该算法的示例或详细说明都将不胜感激。}

Answer 1

1. 我认为不可能使用 hmatrix 进行有效的 GF(2) 实现，它旨在处理“大”数字，而不是位。

2. 您绝对不想使用 aDouble来编码位，这比您实际需要的内存多 64 倍。

3. 您是否搜索过rref针对 GF(2) 优化的算法？通用高斯消除或 LU 分解可能不是 GF(2) 中的最佳解决方案。