結果

問題 No.817 Coin donation
ユーザー fgwiebfaoishfgwiebfaoish
提出日時 2020-06-17 21:52:45
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 691 ms / 2,000 ms
コード長 6,098 bytes
コンパイル時間 3,783 ms
コンパイル使用メモリ 107,432 KB
実行使用メモリ 57,908 KB
最終ジャッジ日時 2023-09-16 11:42:17
合計ジャッジ時間 8,515 ms
ジャッジサーバーID
(参考情報)
judge15 / judge12
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 61 ms
20,940 KB
testcase_01 AC 61 ms
20,768 KB
testcase_02 AC 61 ms
20,964 KB
testcase_03 AC 62 ms
22,768 KB
testcase_04 AC 60 ms
20,736 KB
testcase_05 AC 67 ms
18,860 KB
testcase_06 AC 111 ms
30,552 KB
testcase_07 AC 121 ms
30,664 KB
testcase_08 AC 450 ms
50,096 KB
testcase_09 AC 135 ms
30,428 KB
testcase_10 AC 691 ms
57,636 KB
testcase_11 AC 660 ms
57,908 KB
testcase_12 AC 683 ms
57,720 KB
testcase_13 AC 61 ms
22,832 KB
testcase_14 AC 60 ms
18,884 KB
testcase_15 AC 60 ms
18,776 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

diff #

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;}
}
0