結果
| 問題 |
No.817 Coin donation
|
| ユーザー |
 fgwiebfaoish
|
| 提出日時 | 2020-06-17 21:52:45 |
| 言語 | C#(csc) (csc 3.9.0) |
| 結果 |
AC
|
| 実行時間 | 598 ms / 2,000 ms |
| コード長 | 6,098 bytes |
| コンパイル時間 | 2,387 ms |
| コンパイル使用メモリ | 110,660 KB |
| 実行使用メモリ | 60,812 KB |
| 最終ジャッジ日時 | 2024-07-03 12:28:35 |
| 合計ジャッジ時間 | 6,264 ms |
|
ジャッジサーバーID （参考情報） |
judge2 / judge1 |
（要ログイン）
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 14 |
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc) Copyright (C) Microsoft Corporation. All rights reserved.
ソースコード
using System;
using System.Collections.Generic;
using System.Collections;
using System.Collections.Specialized;
using System.Linq;
using System.Text;
using System.IO;
using System.Reflection;
using static System.Math;
using System.Numerics;
static class Program{
const int mod=(int)1e9+7;
const double eps=1e-11;
static void Main(){
Sc sc=new Sc();
var s=sc.Ia;
var avl=new Avl2();
int inf=(int)1e9;
avl.Ud(0,inf,0);
for(int i = 0;i<s[0];i++) {
var e=sc.Ia;
avl.Ud(e[0],e[1],1);
}
int lb=0,ub=inf,mid=0;
while(lb+1!=ub){
mid=(ub+lb)>>1;
if(avl.Get(1,mid)>=s[1]){ub=mid;}
else{lb=mid;}
}
Console.WriteLine("{0}",ub);
}
}
public class Avl2{
public class Nd{
public int h=1;
public int nl,nr;
public long d,ds=0,dd=0;
public Nd l,r;
public bool lf;
public Nd(int nl,int nr,long d,Nd du){this.nl=nl;this.nr=nr;this.d=d;ds=(nr-nl+1)*d;l=du;r=du;lf=true;}
public Nd(int nl,int nr,Nd l,Nd r){
this.nl=nl;this.nr=nr;this.l=l;this.r=r;
ds=l.ds+r.ds;
h=Max(l.h,r.h)+1;
lf=false;
}
}
public Nd root,du;
public int cnt=0;
public Avl2(){
du=new Nd(int.MinValue,int.MaxValue,0,du);
du.h=0;
root=du;
}
private void Sum(Nd nd){nd.ds=nd.l.ds+nd.r.ds;}
private void Sum2(Nd nd,long d){
nd.d+=d;
nd.ds+=(nd.nr-nd.nl+1)*d;
}
public void Ud(int a,int b,long d){
if(a>b){a^=b;b^=a;a^=b;}
if(root!=du){
root=Fu(root,a,b,d);
if(Abs(root.l.h-root.r.h)>1){root=Rotate(root);}
}
else{root=new Nd(a,b,d,du);}
}
private Nd Fu(Nd t,int nl,int nr,long d){
Fdd(t);
if(!t.lf){
if(t.nl==nl&&t.nr==nr){
Sum2(t,d);
t.l.dd+=d;
t.r.dd+=d;
return t;
}
if(t.l.nr>=nl){t.l=Fu(t.l,nl,Min(t.l.nr,nr),d);}
if(t.l.nr<nr){t.r=Fu(t.r,Max(t.l.nr+1,nl),nr,d);}
if(Abs(t.l.l.h-t.l.r.h)>1){t.l=Rotate(t.l);}
if(Abs(t.r.l.h-t.r.r.h)>1){t.r=Rotate(t.r);}
Fdd(t.l);Fdd(t.r);
Sum(t);
t.nl=t.l.nl;
t.nr=t.r.nr;
t.h=Max(t.l.h,t.r.h)+1;
}
else{
if(t.nr<nl){return new Nd(t.nl,nr,t,new Nd(nl,nr,d,du));}
else if(t.nl>nr){return new Nd(nl,t.nr,new Nd(nl,nr,d,du),t);}
else if(t.nl<nl){
if(t.nr<nr){
Nd e=new Nd(nl,nr,new Nd(nl,t.nr,t.d+d,du),new Nd(t.nr+1,nr,d,du));
t.nr=nl-1;
t.ds=(t.nr-t.nl+1)*t.d;
return new Nd(t.nl,nr,t,e);
}
else if(t.nr>nr){
Nd e=new Nd(nl,t.nr,new Nd(nl,nr,t.d+d,du),new Nd(nr+1,t.nr,t.d,du));
int z=t.nr;
t.nr=nl-1;
t.ds=(t.nr-t.nl+1)*t.d;
return new Nd(t.nl,z,t,e);
}
else{
t.nr=nl-1;
t.ds=(t.nr-t.nl+1)*t.d;
return new Nd(t.nl,nr,t,new Nd(nl,nr,t.d+d,du));
}
}
else if(t.nl>nl){
if(t.nr<nr){
Sum2(t,d);
Nd e=new Nd(nl,nr,new Nd(nl,t.nl-1,d,du),new Nd(t.nl,nr,t,new Nd(t.nr+1,nr,d,du)));
return e;
}
else if(t.nr>nr){
Nd e=new Nd(nl,nr,new Nd(nl,t.nl-1,d,du),new Nd(t.nl,nr,t.d+d,du));
t.nl=nr+1;
t.ds=(t.nr-t.nl+1)*t.d;
return new Nd(nl,t.nr,e,t);
}
else{
Sum2(t,d);
return new Nd(nl,nr,new Nd(nl,t.nl-1,d,du),t);
}
}
else{
if(t.nr<nr){
Sum2(t,d);
return new Nd(nl,nr,t,new Nd(t.nr+1,nr,d,du));
}
else if(t.nr>nr){
t.nl=nr+1;
t.ds=(t.nr-t.nl+1)*t.d;
return new Nd(nl,t.nr,new Nd(nl,nr,t.d+d,du),t);
}
else{
Sum2(t,d);
return t;
}
}
}
return t;
}
public long Get(int a,int b){
return Fdg(root,a,b);
}
private long Fdg(Nd t,int nl,int nr){
Fdd(t);
if(t.lf){
return (Min(t.nr,nr)-Max(t.nl,nl)+1)*t.d;
}
if(nl<=t.nl&&nr>=t.nr){return t.ds;}
long d=0;
if(t.l.nr>=nl){d=Fdg(t.l,nl,nr);}
if(t.r.nl<=nr){d+=Fdg(t.r,nl,nr);}
return d;
}
private void Fdd(Nd t){
if(t.dd!=0){
Sum2(t,t.dd);
t.l.dd+=t.dd;
t.r.dd+=t.dd;
t.dd=0;
}
}
private Nd Rotate(Nd t){
Nd nd=du;
Fdd(t);
if(t.l.h>t.r.h){
Fdd(t.l);
if(t.l.l.h>t.l.r.h){
nd=t.l;t.l=t.l.r;nd.r=t;
Ft(t);
}
else{
Fdd(t.l.r);
nd=t.l.r;
t.l.r=nd.l;nd.l=t.l;
Ft(t.l);
t.l=nd.r;nd.r=t;
Ft(t);
}
}
else{
Fdd(t.r);
if(t.r.l.h>t.r.r.h){
Fdd(t.r.l);
nd=t.r.l;
t.r.l=nd.r;nd.r=t.r;
Ft(t.r);
t.r=nd.l;nd.l=t;
Ft(t);
}
else{
nd=t.r;t.r=t.r.l;nd.l=t;
Ft(t);
}
}
Ft(nd);
return nd;
}
private void Ft(Nd t){
if(!t.lf){
t.h=Max(t.l.h,t.r.h)+1;
Fdd(t.l);Fdd(t.r);
Sum(t);
t.nl=t.l.nl;
t.nr=t.r.nr;
}
}
}
public class Sc{
public int I{get{return int.Parse(Console.ReadLine());}}
public long L{get{return long.Parse(Console.ReadLine());}}
public double D{get{return double.Parse(Console.ReadLine());}}
public string S{get{return Console.ReadLine();}}
public int[] Ia{get{return Array.ConvertAll(Console.ReadLine().Split(),int.Parse);}}
public long[] La{get{return Array.ConvertAll(Console.ReadLine().Split(),long.Parse);}}
public double[] Da{get{return Array.ConvertAll(Console.ReadLine().Split(),double.Parse);}}
public string[] Sa{get{return Console.ReadLine().Split();}}
public object[] Oa{get{return Console.ReadLine().Split();}}
public int[] Ia2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),int.Parse);}}
public int[] Ia3(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),int.Parse);}
public long[] La2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),long.Parse);}}
public long[] La3(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),long.Parse);}
public double[] Da2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),double.Parse);}}
public double[] Da3(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),double.Parse);}
public T[] Arr<T>(int n,Func<T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f();}return a;}
public T[] Arr<T>(int n,Func<int,T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(i);}return a;}
public T[] Arr<T>(int n,Func<string[],T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(Console.ReadLine().Split());}return a;}
public T[] Arr<T>(int n,Func<int,string[],T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(i,Console.ReadLine().Split());}return a;}
}