CSES - Aalto Competitive Programming 2024 - wk12 - Mon - Results
Submission details
Task:Practice Sessions
Sender:aalto2024m_002
Submission time:2024-11-25 17:15:25 +0200
Language:C++ (C++20)
Status:READY
Result:
Test results
testverdicttime
#1ACCEPTED0.33 sdetails
#2ACCEPTED0.33 sdetails
#3ACCEPTED0.33 sdetails
#4ACCEPTED0.33 sdetails
#5ACCEPTED0.33 sdetails
#6ACCEPTED0.33 sdetails
#7ACCEPTED0.33 sdetails
#8ACCEPTED0.33 sdetails
#9ACCEPTED0.33 sdetails
#10ACCEPTED0.33 sdetails
#110.36 sdetails
#120.36 sdetails
#130.42 sdetails
#140.41 sdetails
#150.40 sdetails
#160.41 sdetails
#17--details
#18--details
#19--details
#20--details

Code

#ifdef ONPC
    #define _GLIBCXX_DEBUG
#endif
#include <bits/stdc++.h>

#define char unsigned char
#define rep(i, a, b) for(int i=a; i< (b); ++i)
#define all(x) begin(x), end(x)
#define sz(x) (int)(x).size()
#define eb emplace_back
#define mp make_pair
#define mt make_tuple
#define fi first
#define se second
#define pb push_back

#define LSOne(S) ((S) & -(S))

using namespace std;
// mt19937 rnd(239);
mt19937 rnd(chrono::steady_clock::now().time_since_epoch().count());

template <typename T> int sgn(T x) { return (T(0) < x) - (x < T(0)); }
typedef long double T;
typedef complex<T> pt;
#define X real()
#define Y imag()

template<class T>
istream& operator>> (istream& is, complex<T>& p) {
    T value;
    is >> value;
    p.real(value);
    is >> value;
    p.imag(value);
    return is;
}

typedef long long ll;
typedef long double ld;

using pi = pair<ll, ll>;
using vi = vector<ll>;
template <class T>
using pq = priority_queue<T>;
template <class T>
using pqg = priority_queue<T, vector<T>, greater<T>>;

int popcnt(int x) { return __builtin_popcount(x); }
int popcnt(ll x) { return __builtin_popcountll(x); }

#define MIN(v) *min_element(all(v))
#define MAX(v) *max_element(all(v))
#define LB(c, x) distance((c).begin(), lower_bound(all(c), (x)))
#define UB(c, x) distance((c).begin(), upper_bound(all(c), (x)))

void __print(int x) {cerr << x;}
void __print(long x) {cerr << x;}
void __print(long long x) {cerr << x;}
void __print(unsigned x) {cerr << x;}
void __print(unsigned long x) {cerr << x;}
void __print(unsigned long long x) {cerr << x;}
void __print(float x) {cerr << x;}
void __print(double x) {cerr << x;}
void __print(long double x) {cerr << x;}
void __print(char x) {cerr << '\'' << x << '\'';}
void __print(const char *x) {cerr << '\"' << x << '\"';}
void __print(const string &x) {cerr << '\"' << x << '\"';}
void __print(bool x) {cerr << (x ? "true" : "false");}

template<typename T, typename V>
void __print(const pair<T, V> &x) {cerr << '{'; __print(x.first); cerr << ", "; __print(x.second); cerr << '}';}
template<typename T>
void __print(const T &x) {int f = 0; cerr << '{'; for (auto &i: x) cerr << (f++ ? ", " : ""), __print(i); cerr << "}";}
void _print() {cerr << "]\n";}
template <typename T, typename... V>
void _print(T t, V... v) {__print(t); if (sizeof...(v)) cerr << ", "; _print(v...);}
#ifdef DEBUG
#define dbg(x...) cerr << "\e[91m"<<__func__<<":"<<__LINE__<<" [" << #x << "] = ["; _print(x); cerr << "\e[39m" << endl;
#else
#define dbg(x...)
#endif

template<typename S, typename T = S> void chmin(S &s, T t) {s = s < t ? s : t;}
template<typename S, typename T = S> void chmax(S &s, T t) {s = s > t ? s : t;}

const int INF = 1e9; // 10^9 = 1B is < 2^31-1
const ll LLINF = 4e18; // 4*10^18 is < 2^63-1
const double EPS = 1e-9;
const ll MOD = 1e9+7;

ll N, K;
ll dp1[5050][5050], dp2[5050][5050];

ll rec(int n, int a1, bool inc) {
    if(inc) {
        if(dp1[n][a1]!=-1) return dp1[n][a1];
        dp1[n][a1]=0;
        //std::cout << "from " << n << " " << a1 << "|"<< (inc) << " " << a1+1 << " to " << n-a1 << " with " << n-a1 << std::endl;
        for (int i = a1+1; i <= n-a1; i++) {
            dp1[n][a1]+= rec(n-a1, i, false);
        }
        //std::cout << n << " " << a1 << " " << (inc) << ": " << dp1[n][a1] << std::endl;
        return dp1[n][a1];
    } else {
        if(dp2[n][a1]!=-1) return dp2[n][a1];
        dp2[n][a1]=0;
        //std::cout << 1 << " to " << a1-1 << " with " << n-a1 << std::endl;
        for (int i = 1; i <= a1-1; i++) {
            if(i<=n-a1) {

            //std::cout << "from " << n << " " << a1 << "|"<< (inc) << " " << 1 << " to " << a1-2 << " with " << n-a1 << std::endl;
                dp2[n][a1]+=rec(n-a1, i, true);
            }
        } 
        //std::cout << n << " " << a1 << " " << (inc) << ": " << dp2[n][a1] << std::endl;
        return dp2[n][a1];
    }


}

int solve() {
    std::cin >> N >> K;
    for (int i = 0; i <= 5000; i++) {
        for (int j = 0; j <= 5000; j++) {
            dp1[i][j]=-1;
            dp2[i][j]=-1;
            if(i==j) {
                dp1[i][j]=1;
                dp2[i][j]=1;
            } else if(i+1==j) {
                dp1[i][j]=1;
                dp2[i][j]=1;
            }
        }
    }

    rec(N, K, true);
    rec(N, K, false);


    /*
    for (int n = 1; n <= N; n++) {
        for (int k = 1; k <= n; k++) {
            //std::cout << n << " " << k << std::endl;
            std::cout << k+1 << " " << n-k-1 << std::endl;
            for (int l = k+1; l < n-k; l++) {
                std::cout << "["<<n <<","<<k <<"]" << ": " << n-k << " " << l << std::endl;
                dp[n][k]+=dp[n-k][l];
            }
        }
    }

    for (int i = 1; i <= N; i++) {
        for (int j = 1; j <= K; j++) {
            std::cout << dp[i][j] << " ";
        }
        std::cout  << std::endl;
    }
    */

    if(N==K) {
        std::cout << 1 << std::endl;
        return 0;
    }
    std::cout << dp1[N][K]+dp2[N][K] << std::endl;

    return 0;
}

int32_t main() {
    ios::sync_with_stdio(0);
    cin.tie(0);
    int TET = 1;
    //cin >> TET;
    for (int i = 1; i <= TET; i++) {
        #ifdef ONPC
            cout << "TEST CASE#" << i << endl;
        #endif
        
        if (solve()) {
            break;
        }

        #ifdef ONPC
            cout << "__________________________" << endl;
        #endif
    }
    #ifdef ONPC
        cerr << endl << "finished in " << clock() * 1.0 / CLOCKS_PER_SEC << " sec" << endl;
    #endif
}

Test details

Test 1

Verdict: ACCEPTED

input
6 2

correct output
4

user output
4

Test 2

Verdict: ACCEPTED

input
3 3

correct output
1

user output
1

Test 3

Verdict: ACCEPTED

input
2 1

correct output
0

user output
0

Test 4

Verdict: ACCEPTED

input
3 2

correct output
1

user output
1

Test 5

Verdict: ACCEPTED

input
5 2

correct output
2

user output
2

Test 6

Verdict: ACCEPTED

input
7 3

correct output
3

user output
3

Test 7

Verdict: ACCEPTED

input
10 1

correct output
23

user output
23

Test 8

Verdict: ACCEPTED

input
30 10

correct output
3798

user output
3798

Test 9

Verdict: ACCEPTED

input
28 3

correct output
44442

user output
44442

Test 10

Verdict: ACCEPTED

input
29 4

correct output
43031

user output
43031

Test 11

Verdict:

input
333 2

correct output
420856463

user output
-9059938422175864302

Test 12

Verdict:

input
357 1

correct output
21271311

user output
-3194954951825501621

Test 13

Verdict:

input
500 9

correct output
665929071

user output
8361463349439057131

Test 14

Verdict:

input
500 17

correct output
493880105

user output
5637167373720817853

Test 15

Verdict:

input
500 49

correct output
43728321

user output
-7837803484398987579

Test 16

Verdict:

input
499 19

correct output
128412292

user output
-1807525774515540037

Test 17

Verdict:

input
5000 100

correct output
686974306

user output
(empty)

Test 18

Verdict:

input
4589 1

correct output
67768215

user output
(empty)

Test 19

Verdict:

input
4321 987

correct output
890135419

user output
(empty)

Test 20

Verdict:

input
4987 222

correct output
626500635

user output
(empty)