結果

問題 No.382 シャイな人たち (2)
ユーザー xenon_motsuxenon_motsu
提出日時 2020-11-02 18:30:08
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 4,402 ms / 8,000 ms
コード長 2,682 bytes
コンパイル時間 2,171 ms
コンパイル使用メモリ 211,084 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-07-22 06:33:40
合計ジャッジ時間 80,914 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 4,402 ms
6,816 KB
testcase_01 AC 4,291 ms
6,812 KB
testcase_02 AC 3,663 ms
6,940 KB
testcase_03 AC 3,514 ms
6,944 KB
testcase_04 AC 3,479 ms
6,940 KB
testcase_05 AC 3,851 ms
6,940 KB
testcase_06 AC 3,083 ms
6,940 KB
testcase_07 AC 4,099 ms
6,944 KB
testcase_08 AC 3,145 ms
6,944 KB
testcase_09 AC 3,257 ms
6,944 KB
testcase_10 AC 3,402 ms
6,940 KB
testcase_11 AC 3,236 ms
6,944 KB
testcase_12 AC 3,499 ms
6,940 KB
testcase_13 AC 3,567 ms
6,940 KB
testcase_14 AC 3,947 ms
6,940 KB
testcase_15 AC 4,002 ms
6,944 KB
testcase_16 AC 3,505 ms
6,940 KB
testcase_17 AC 3,075 ms
6,944 KB
testcase_18 AC 3,928 ms
6,940 KB
testcase_19 AC 3,532 ms
6,940 KB
testcase_20 AC 2 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
template<class T,class U> inline bool chmin(T&x,U y){if(x>y){x=y;return true;}return false;}
template<class T,class U> inline bool chmax(T&x,U y){if(x<y){x=y;return true;}return false;}

void rec_MIS(int n, std::vector<std::vector<int>>&e, std::vector<bool>&vis, std::vector<int>&d, std::vector<int>&tmp, std::vector<int>&ans){
    int D{}, idx{-1};
    for(int i{};i<n;++i){
        if(vis[i]) continue;
        if(d[i] == 0){
            vis[i]=true;
            tmp.push_back(i);
            rec_MIS(n, e, vis, d, tmp, ans);
            tmp.pop_back();
            vis[i]=false;
            return;
        }
        if(d[i] == 1){
            vis[i]=true;
            for(auto&j:e[i]) if(!vis[j]){
                vis[j]=true;
                for(auto&k:e[j]) --d[k];
                tmp.push_back(i);
                rec_MIS(n, e, vis, d, tmp, ans);
                tmp.pop_back();
                for(auto&k:e[j]) ++d[k];
                vis[j]=false;
                break;
            }
            vis[i]=false;
            return;
        }
        if(D < d[i]){
            D = d[i];
            idx = i;
        }
    }
    if(idx==-1){
        if(ans.size() < tmp.size()) ans = tmp;
        return;
    }
    vis[idx] = true;
    std::vector<int> idxs;
    idxs.reserve(D);
    for(auto&j:e[idx]) if(!vis[j]){
        idxs.push_back(j);
        vis[j]=true;
        for(auto&k:e[j]) --d[k];
    }
    tmp.push_back(idx);
    rec_MIS(n, e, vis, d, tmp, ans);
    tmp.pop_back();
    for(auto&j:idxs){
        vis[j]=false;
        for(auto&k:e[j]) ++d[k];
        if(D>2) --d[j];
    }
    if(D>2){
        rec_MIS(n, e, vis, d, tmp, ans);
        for(auto&j:idxs) ++d[j];
    }
    vis[idx] = false;
}

std::vector<int> MIS(std::vector<std::vector<int>>&e){
    int n = e.size();
    std::vector<bool> vis(n);
    std::vector<int> d;
    d.reserve(n);
    for(auto&v:e) d.push_back(v.size());
    std::vector<int> tmp,ans;
    rec_MIS(n, e, vis, d, tmp, ans);
    return ans;
}

int main(){
    int64_t s;
    constexpr int64_t base = 12345, mod = 1000003;
    std::cin>>s;
    (s*=base) %= mod;
    int n = s%120 + 2;
    (s*=base) %= mod;
    int p = s;
    std::vector<std::vector<int>> e(n);
    for(int i{};i<(n);++i){
        for(int j{i+1};j<n;++j){
            (s*=base) %= mod;
            if(s>=p){
                e[i].push_back(j);
                e[j].push_back(i);
            }
        }
    }
    auto v=MIS(e);
    int N = v.size();
    if(n==N){
        std::cout<<-1<<'\n';
        return 0;
    }
    std::cout<<N+1<<'\n';
    for(int i{};i<(N-1);++i){
        std::cout<<v[i]+1<<" ";
    }
    std::cout<<v.back()+1<<'\n';
}
0