Submission #1123023

#TimeUsernameProblemLanguageResultExecution timeMemory
1123023RequiemOlympiads (BOI19_olympiads)C++20
44 / 100
2094 ms107484 KiB
#include<bits/stdc++.h>
#define int long long
#define pb push_back
#define fast ios_base::sync_with_stdio(false), cin.tie(nullptr), cout.tie(nullptr);
#define MOD 1000000007
#define inf 1e18
#define fi first
#define se second
#define FOR(i,a,b) for(int i=a;i<=b;i++)
#define FORD(i,a,b) for(int i=a;i>=b;i--)
#define sz(a) ((int)(a).size())
#define endl '\n'
#define pi 3.14159265359
#define TASKNAME "olympiad"
using namespace std;
template<typename T> bool maximize(T &res, const T &val) { if (res < val){ res = val; return true; }; return false; }
template<typename T> bool minimize(T &res, const T &val) { if (res > val){ res = val; return true; }; return false; }
typedef pair<int,int> ii;
typedef pair<int,ii> iii;
typedef vector<int> vi;
const int MAXN = 5e5 + 9;
int n, k, c;
int a[MAXN][7];

namespace subtask1{
    bool check(){
        return n <= 500 and k <= 2 and  c <= 2000;
    }

    vector<int> listVal;

    void solve(){
        FOR(i, 1, n){
            FOR(j, i + 1, n){
                int p = 0;
                FOR(t, 1, k){
                    p += max(a[i][t], a[j][t]);
                }
                listVal.pb(p);
            }
        }
        sort(listVal.rbegin(), listVal.rend());

        cout << listVal[c - 1] << ' ';
    }

}


namespace subtask2{
    bool check(){
        return n <= 40 or (n <= 500 and k <= 2);
    }

    int cnt[6000009];
    vector<int> curTeam, listVal, sortedListVal;

    int getScore(){
        int ans = 0;
        FOR(i, 1, k){
            int cur = 0;
            FOR(j, 0, (int) curTeam.size() - 1){
                maximize(cur, a[curTeam[j]][i]);
            }
            ans += cur;
        }
        return ans;
    }

    void backtrack(int pos){
        if (curTeam.size() == k){
            listVal.pb(getScore());
            return;
        }
        if (pos == n + 1){
            return;
        }

        backtrack(pos + 1);
        curTeam.pb(pos);
        backtrack(pos + 1);
        curTeam.pop_back();
    }
    void solve(){
        backtrack(1);
        sortedListVal.resize(listVal.size() + 9);
        FOR(i, 0, (int) listVal.size() - 1){
            cnt[listVal[i]]++;
        }
        FORD(i, 6000000, 0){
            cnt[i] += cnt[i + 1];
        }

        FOR(i, 0, (int) listVal.size() - 1){
            sortedListVal[--cnt[listVal[i]]] = listVal[i];
        }

        cout << sortedListVal[c - 1] << endl;
    }
}

/**
dp[5000][10][10][10][10][10][10][7]
**/


namespace subtask3{
    bool check(){
        FOR(i, 1, n){
            FOR(j, 1, k){
                if (a[i][j] > 10) return false;
            }
        }
        return true;
        return n <= 500 and k <= 6 and c <= 2000;
    }

    /**
    aij <= 10. Số điểm của ta <= 60.
    Ta chỉ có tối đa 10^6 cấu hình thỏa mãn. Việc của ta bây giờ là đếm số cấu hình thỏa mãn 1 biểu thức.

    Giả sử ta có cấu hình là: x1 x2 x3 x4 x5 x6
    Thì tất cả các thằng của ta thỏa mãn:
    <=> ai1 ai2 ai3 ai4 ai5 ai6
    và tồn tại 1 i sao cho aij = xj với mọi thằng j.

    Bao hàm bù trừ:
    Cái trạng thái mà tất
    **/

    vector<int> ord;
    bitset<501> b[7][12];

    int C(int n, int k){
        int res = 1;
        if (n < k) return 0;
        FOR(i, n - k + 1, n){
            res *= i;
            res /= (i - n + k);
        }
        return res;
    }

    int listScore[64];
    vector<int> currentScore;
    int cntValid(vector<int> &listScore){
        int res = 0;
        bitset<501> unite;

        FOR(i, 1, k){
            if (i == 1) unite = b[i][listScore[i - 1]];
            else unite &= b[i][listScore[i - 1]];
        }
        return C(unite.count(), k);

    }
    int countSolution(vector<int> &listScore){
        int ans = cntValid(listScore);
        FOR(i, 1, (1 << k) - 1){
            for(int j = i, b = __builtin_ctzll(j); j > 0; j -= j & (-j), b = __builtin_ctzll(j)){

                listScore[b]--;
            }

            int v = cntValid(listScore);

            if (__builtin_popcount(i)&1) ans -= v;
            else ans += v;

            for(int j = i, b = __builtin_ctzll(j); j > 0; j -= j & (-j), b = __builtin_ctzll(j)){
                listScore[b]++;
            }
        }
        return ans;
    }

    void backtrack(int pos, int sum = 0){
        if (pos == k + 1) {
            listScore[sum] += (countSolution(currentScore));
            return;
        }

        FORD(i, 10, 0){
            currentScore.pb(i);
            backtrack(pos + 1, sum + i);
            currentScore.pop_back();
        }
    }
    void solve(){
        FOR(i, 1, n){
            FOR(j, 1, k){
                FOR(t, a[i][j], 10){
                    b[j][t][i] = 1;
                }
            }
        }
        backtrack(1);
        FORD(i, k * 10, 0){
             if (c <= listScore[i]){
                 cout << i << endl;
                 exit(0);
             }
             else c -= listScore[i];
        }

    }
}
main()
{
    fast;
    if (fopen(TASKNAME".inp","r")){
        freopen(TASKNAME".inp","r",stdin);
        freopen(TASKNAME".out","w",stdout);
    }
    cin>> n>> k >> c;
    FOR(i, 1, n){
        FOR(j, 1, k){
            cin >> a[i][j];
        }
    }

//    if (subtask1::check()) return subtask1::solve(), 0;
    if (subtask2::check()) return subtask2::solve(), 0;
    if (subtask3::check()) return subtask3::solve(), 0;
}
/**
Warning:
Đọc sai đề???
Cận lmao
Code imple thiếu case nào không.
Limit.
**/

Compilation message (stderr)

olympiads.cpp:208:1: warning: ISO C++ forbids declaration of 'main' with no type [-Wreturn-type]
  208 | main()
      | ^~~~
olympiads.cpp: In function 'int main()':
olympiads.cpp:212:16: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
  212 |         freopen(TASKNAME".inp","r",stdin);
      |         ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
olympiads.cpp:213:16: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
  213 |         freopen(TASKNAME".out","w",stdout);
      |         ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...