题解/算法 {5575. 改变数值}

题解/算法 {5575. 改变数值}

@LINK: https://www.acwing.com/problem/content/5578/;

显然是凑数, 即凑出来1即可;

千万别瞎猜… (比如其他的数之和 等于 最大数的+1或-1???) 这都是错误的, 必须要拿出理性的客观的绝对的数学公式和证明出来;

比如我们选择A,B,C, 如何检验他是否合法呢?
这等价于一个数学公式: 存在整数k1,k2,k3, 使得k1 * A + k2 * B + k3 * C == 1;
根据裴蜀定理, Bezout( A, B, C) == GCD(A,B,C)的倍数, 也就是说 不管你怎么选 最终的值 一定是GCD(A,B,C)的倍数;
因此, 这等价于: 你选择若干数 使得他们的GCD等于1;

虽然A[i]很大1e9, 但实际上 从N个数中 选择若干数 他的GCD 所组成的集合, 并不大! 因此 使用map的递推DP;

unordered_map< int, int> DP[ 302];
FOR_( i, 0, N-1){
    auto & curDP = DP[i];
    if( i == 0){
        curDP[ A[i].first] = A[i].second;
        continue;
    }

    curDP = DP[ i-1]; // 继承

    //>> 自己单独
    if( curDP.find( A[i].first) == curDP.end()){ curDP[A[i].first] = A[i].second;}
    else{ curDP[ A[i].first] = std::min( curDP[ A[i].first], A[i].second);}

    //>> 组合
    for( auto & [k,v] : DP[i-1]){
        int gcd;
        { vector<int> a{ k, A[i].first}; gcd = ___GCD( a.data(), a.size());}

        if( curDP.find( gcd) == curDP.end()){ curDP[gcd] = v + A[i].second;}
        else{ curDP[ gcd] = std::min( curDP[ gcd], v + A[i].second);}
    }

    DE_( i, curDP);
}
if( DP[ N-1].find( 1) != DP[N-1].end()){
    cout<< DP[N-1][1];
}
else{ cout<< -1;}