結果
| 問題 | No.2543 Many Meetings | 
| コンテスト | |
| ユーザー |  Nachia | 
| 提出日時 | 2023-11-16 01:02:35 | 
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 90 ms / 2,000 ms | 
| コード長 | 1,503 bytes | 
| コンパイル時間 | 1,022 ms | 
| コンパイル使用メモリ | 84,652 KB | 
| 最終ジャッジ日時 | 2025-02-17 22:13:33 | 
| ジャッジサーバーID (参考情報) | judge4 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 40 | 
ソースコード
#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <utility>
#include <atcoder/modint>
using namespace std;
using i64 = long long;
using u64 = unsigned long long;
#define rep(i,n) for(i64 i=0; i<(i64)(n); i++)
#define repr(i,n) for(i64 i=(i64)(n)-1; i>=0; i--)
const i64 INF = 1001001001001001001;
using Modint = atcoder::static_modint<998244353>;
int main(){
    ios::sync_with_stdio(false); cin.tie(nullptr);
    int N, K; cin >> N >> K;
    vector<pair<int,int>> A(N);
    for(auto& [l,r] : A) cin >> l >> r;
    sort(A.begin(), A.end());
    vector<int> nx(N+1, N); {
        vector<int> fastend(N+1);
        rep(i,N+1) fastend[i] = i;
        for(int i=N-1; i>=1; i--){
            if(A[i-1].second > A[fastend[i]].second){
                fastend[i-1] = fastend[i];
            }
        }
        rep(i,N){
            int x = A[i].second;
            int p = lower_bound(A.begin(), A.end(), pair<int,int>(x,-1)) - A.begin();
            nx[i] = fastend[p];
        }
    }
    auto dbl = [&](const vector<int>& f) -> vector<int> {
        vector<int> res(N+1);
        rep(i,N+1) res[i] = f[f[i]];
        return res;
    };
    vector<int> tel(N+1);
    rep(i,N+1) tel[i] = i;
    rep(d,20){
        if((K-1)&(1<<d)) rep(i,N+1) tel[i] = nx[tel[i]];
        nx = dbl(nx);
    }
    int ans = 1001001001;
    rep(i,N+1) if(tel[i] < N) ans = min(ans, A[tel[i]].second - A[i].first);
    if(ans == 1001001001) ans = -1;
    cout << ans << endl;
    return 0;
}
            
            
            
        