[CF1076F] Summer Practice Report

3726 단어

Description


Transmission Gate

Solution


이 문제는 Dp를 고려하여\(Dp[i][j]\)를 제i 단락에서 j 색을 끝으로 하는 마지막 단락의 길이의 최소값으로 설정할 수 있다.
그러면 먼저 표를 끝으로 하는 상황을 고려할 수 있다.
  • 표의 마지막 선분의 끝은 표를 구분자로 간주한다. 그러면 구분자의 수량은 $lower Bound =\lceil\urac{(Dp[i-1] [j] + a[i])} {k}\rceil - 1\(,'b[i] > cnt`라면\)dp[i] [j] = 1\(, 상계\) upperBound$는 a[i] * k이다.
  • 표는 이전 라인의 끝이고 구분자 수량은 하계가\(lower Bound =\lceil\rac{a [i]} {k}\rceil - 1\), 상계$upperBound $는\(a[i] * k +(k - Dp [i- 1] [j ~ xor ~ 1])\) 마지막 판단\(dp[n][0]\leq | [1]\leq 45918)

    Summary


    처음에 상태\(dp[i][j][l]\)를 설정하면 dp에서 ith 세그먼트까지 표시하고 세그먼트의 마지막 색은 j입니다. 이런 색은 이 세그먼트의 마지막 부분에서 l 길이가 풀렸는지 여부입니다.사실 이렇게 하는 것은 옳지 않다. 산안수 판단이 가능한지 아닌지를 판단하는 방법은 일부 용척수학 문제 (eg. Mobius)에만 적용되기 때문에 1차원적인 불필요한 정보를 많이 가지고 있다.
    문제의 모델은 다음과 같다. 우리는 n개의 단락이 있는데 단락 사이의 앞뒤가 연결되고 단락 중간의 연속적인 칸막이와 공이 k개를 넘지 않도록 요구한다.해답을 구하다.이렇게 하면 우리는 내부의 배열 방식에 관심이 없고 내부 배열이 다르면 다음 단락에 영향을 주지 않는다.이렇게 되면 우리는 외부의 제한을 직접 고려한 상황에서 내부적으로 실행 가능한 방식을 흠정할 수 있다.흠정은 단순 욕심에 대한 고찰이다.
    이전 단락의 영향이 다음 단락에 작을수록 이해에 대한 제한도 작아지기 때문에 직접 욕심을 낼 수 있다.
    먼저 공식을 고려하고, 무관한 공식을 가리개로 보고, 표를 공으로 본다.그리고 최대한 시계를 수용하면 된다.

    Code

    #include
    using std :: min;
    #define rep(i, a, b) for(int i = (a), i##_end_ = (b); i <= i##_end_; ++i)
    #define drep(i, a, b) for(int i = (a), i##_end_ = (b); i >= i##_end_; --i)
    #define clar(a, b) memset((a), (b), sizeof(a))
    #define debug(...) fprintf(stderr, __VA_ARGS__)
    typedef long long LL;
    typedef long double LD;
    int read() {
        char ch = getchar();
        int x = 0, flag = 1;
        for (;!isdigit(ch); ch = getchar()) if (ch == '-') flag *= -1;
        for (;isdigit(ch); ch = getchar()) x = x * 10 + ch - 48;
        return x * flag;
    }
    void write(int x) {
        if (x < 0) putchar('-'), x = -x;
        if (x >= 10) write(x / 10);
        putchar(x % 10 + 48);
    }
    
    const int Maxn = 3e5 + 9;
    static int dp[Maxn][2], n;
    static int x[Maxn], y[Maxn], k;
    
    void init() {
        n = read(), k = read();
        rep (i, 1, n) x[i] = read();
        rep (i, 1, n) y[i] = read();
    }
    
    int getCalc(int preVal, int preSeparator, int nowVal, int nowSeparator) {
        int res = 0x3f3f3f3f;
        if (preVal < 0x3f3f3f3f) {
                LL lowerBound = ceil((1ll * preVal + nowVal) * 1. / k) - 1;
                if (nowSeparator < lowerBound) res = min(res, 0x3f3f3f3f);
                else if (nowSeparator > 1ll * nowVal * k) res = min(res, 0x3f3f3f3f);
                else if (nowSeparator > lowerBound) res = min(res, 1);
                else res = min(1ll * res, (1ll * preVal + nowVal) % k ? (1ll * preVal + nowVal) % k : k);
        }
    
        if (preSeparator < 0x3f3f3f3f) {
            LL lowerBound = ceil(nowVal * 1. / k) - 1;
                if (nowSeparator < lowerBound) res = min(res, 0x3f3f3f3f);
                else if (nowSeparator > 1ll * (nowVal - 1) * k + (k - preSeparator)) res = min(res, 0x3f3f3f3f);
                else if (nowSeparator > lowerBound) res = min(res, 1);
                else res = min(1ll * res, (1ll * nowVal) % k ? (1ll * nowVal) % k : k);
        }
        return res;
    }
    
    void solve() {
        dp[0][0] = 0; dp[0][1] = 0;
    
        rep (i, 1, n) {
            dp[i][0] = getCalc(dp[i - 1][0], dp[i - 1][1], x[i], y[i]);
            dp[i][1] = getCalc(dp[i - 1][1], dp[i - 1][0], y[i], x[i]);
        }
    
        puts(dp[n][0] <= k || dp[n][1] <= k ? "YES" : "NO");
    }
    
    int main() {
    
        init();
        solve();
    
    #ifdef Qrsikno
        debug("
    Running time: %.3lf(s)
    ", clock() * 1.0 / CLOCKS_PER_SEC); #endif return 0; }

    전재 대상:https://www.cnblogs.com/qrsikno/p/10003676.html
  • 좋은 웹페이지 즐겨찾기