根据H在有限域GF(2^m)上求解生成矩阵G

原理

有时间再补充。

注1:使用高斯消去法。如果Py不为单位阵,则说明进行了列置换,此时G不是系统形式。

注2:校验矩阵H必须是行满秩才存在对应的生成矩阵G,且生成矩阵G通常不唯一。

matlab实现:只做列置换,不做行置换

Matlab 复制代码
function [G, Px, Py] = Gaussian_Elimination_in_GFq(H, q)
    
    % initial
    [m, n] = size(H);
    H_stair = mod(H,q);
    Px = eye(m); 
    Py = eye(n);
    
    for i=1:m
        for j=i:n
            if gcd(H_stair(i,j), q) == 1
                break;
            else
                if j==n
                    error('Gaussian_Elimination_in_GFq: The H is not full rank in GF(%d).',q);
                else
                    continue;
                end
            end
        end

        if j ~= i
            H_stair(:, [i, j]) = H_stair(:, [j, i]);
            Py(:, [i, j]) = Py(:, [j, i]);
        end
    end
    
    for i=1:m
        [~, x, ~] = gcd(H_stair(i,i), q);
        inv_i = mod(x, q);

        H_stair(i, :) = mod(inv_i * H_stair(i, :), q);
        Px(i, :) = mod(inv_i * Px(i, :), q);

        for j=1:m
            if j~=i && H_stair(j,i)~=0
                factor=H_stair(j, i);
                H_stair(j, :) = mod(H_stair(j, :) - factor * H_stair(i, :), q);
                Px(j, :) = mod(Px(j, :) - factor * Px(i, :), q);
            end
        end
    end

    parity_matrix = mod((q-1).*H_stair(:,m+1:n),q);
    G_fixed=[parity_matrix',eye(n-m)];
    G=G_fixed*Py';
end

matlab实现:先做行置换,若无逆元,再做列置换

Matlab 复制代码
function [G, Px, Py] = Gaussian_Elimination_in_GFq(H, q)
    
    [m, n] = size(H);
    H_stair = mod(H,q);
    Px = eye(m); 
    Py = eye(n);
    
    %% column find
    for j=1:m
        for i=j:m
            if gcd(H_stair(i,j), q) == 1
                break;
            else
                if i==m
                    %% row find
                    for k=j+1:n
                        if gcd(H_stair(j,k), q) == 1
                            break;
                        else
                            if k==n
                                error('Gaussian_Elimination_in_GFq: The H is not full rank in GF(%d).',q);
                            else
                                continue;
                            end
                        end
                    end
                    %% column exchange
                    H_stair(:,[j,k]) = H_stair(:,[k,j]);
                    Py(:,[j,k]) = Py(:,[k,j]);
                    i=j;
                    break;
                else
                    continue;
                end
            end
        end
        %% row exchange
        if i ~= j
            H_stair([j, i],:) = H_stair([i, j],:);
            Px([j, i],:) = Px([i, j],:);
        end
    end

    for i=1:m
        [~, x, ~] = gcd(H_stair(i,i), q);
        inv_i = mod(x, q);

        H_stair(i, :) = mod(inv_i * H_stair(i, :), q);
        Px(i, :) = mod(inv_i * Px(i, :), q);

        for j=1:m
            if j~=i && H_stair(j,i)~=0
                factor=H_stair(j, i);
                H_stair(j, :) = mod(H_stair(j, :) - factor * H_stair(i, :), q);
                Px(j, :) = mod(Px(j, :) - factor * Px(i, :), q);
            end
        end
    end

    parity_matrix = mod((q-1).*H_stair(:,m+1:n),q);
    G_fixed=[parity_matrix',eye(n-m)];
    G=G_fixed*Py';
    
end
相关推荐
SsummerC1 小时前
【leetcode100】组合总和Ⅳ
数据结构·python·算法·leetcode·动态规划
2301_807611492 小时前
77. 组合
c++·算法·leetcode·深度优先·回溯
SsummerC3 小时前
【leetcode100】零钱兑换Ⅱ
数据结构·python·算法·leetcode·动态规划
好易学·数据结构4 小时前
可视化图解算法:二叉树的最大深度(高度)
数据结构·算法·二叉树·最大高度·最大深度·二叉树高度·二叉树深度
程序员-King.4 小时前
day47—双指针-平方数之和(LeetCode-633)
算法·leetcode
阳洞洞4 小时前
leetcode 1035. Uncrossed Lines
算法·leetcode·动态规划·子序列问题
小鹿鹿啊5 小时前
C语言编程--15.四数之和
c语言·数据结构·算法
rigidwill6665 小时前
LeetCode hot 100—最长有效括号
数据结构·c++·算法·leetcode·职场和发展
wuqingshun3141596 小时前
蓝桥杯17. 机器人塔
c++·算法·职场和发展·蓝桥杯·深度优先