如果你在高斯-約旦的过程中把所有自由元换到了后面，那么你在 dfs 中判断是否为自由元的条件应该是：

id<=line

其中 $id$ 为当前矩阵行，$line$ 为你确认存在主元的未知数个数。