結果

問題 No.1242 高橋君とすごろく
ユーザー fgwiebfaoishfgwiebfaoish
提出日時 2020-10-02 22:59:07
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 66 ms / 2,000 ms
コード長 4,305 bytes
コンパイル時間 2,454 ms
コンパイル使用メモリ 110,868 KB
実行使用メモリ 24,652 KB
最終ジャッジ日時 2023-09-27 08:44:18
合計ジャッジ時間 5,592 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 63 ms
24,652 KB
testcase_01 AC 64 ms
22,688 KB
testcase_02 AC 64 ms
20,580 KB
testcase_03 AC 63 ms
22,620 KB
testcase_04 AC 64 ms
24,608 KB
testcase_05 AC 63 ms
22,668 KB
testcase_06 AC 63 ms
22,528 KB
testcase_07 AC 63 ms
22,560 KB
testcase_08 AC 63 ms
22,532 KB
testcase_09 AC 64 ms
22,668 KB
testcase_10 AC 66 ms
22,532 KB
testcase_11 AC 64 ms
22,744 KB
testcase_12 AC 64 ms
22,568 KB
testcase_13 AC 64 ms
22,644 KB
testcase_14 AC 64 ms
22,748 KB
testcase_15 AC 63 ms
22,536 KB
testcase_16 AC 64 ms
22,564 KB
testcase_17 AC 65 ms
22,644 KB
testcase_18 AC 65 ms
22,812 KB
testcase_19 AC 65 ms
22,812 KB
testcase_20 AC 64 ms
24,608 KB
testcase_21 AC 64 ms
20,616 KB
testcase_22 AC 65 ms
22,616 KB
testcase_23 AC 63 ms
22,588 KB
testcase_24 AC 64 ms
22,696 KB
testcase_25 AC 63 ms
22,696 KB
testcase_26 AC 64 ms
22,596 KB
testcase_27 AC 62 ms
22,700 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;
using System.Threading;
using System.Runtime.CompilerServices;
using System.Diagnostics;
//using nint=System.Int32;
static class Program{
	const int mod=(int)1e9+7;
	//const double eps=1e-11;
	static void Main(){
		Sc sc=new Sc();
		var s=sc.La;
		var a=sc.La;
		var hs=new HashSet<long>();
		var pq=new Pq<long>(128,false);
		for(int i = 0;i<s[1];i++) {
			pq.Push(a[i]);
			hs.Add(a[i]);
		}
		var ans="Yes";
		while(pq.cnt>0){
			var e=pq.Top;
			if(e<=1){break;}
			pq.Pop();
			if(hs.Contains(e+1)&&!hs.Contains(e-3)){
				if(e>=10){ans="No";break;}
				pq.Push(e-3);
				hs.Add(e-3);
			}
			if(hs.Contains(e+3)&&!hs.Contains(e-2)){
				if(e>=6){ans="No";break;}
				pq.Push(e-2);
				hs.Add(e-2);
			}
			if(hs.Contains(e+5)&&!hs.Contains(e-1)){
				if(e>=9){ans="No";break;}
				pq.Push(e-1);
				hs.Add(e-1);
			}
		}
		if(hs.Contains(1)){ans="No";}
		Console.WriteLine("{0}",ans);
	}
}

public class Dt<T>:IComparable{
	public int n;
	public T d;
	public Dt(int n,T d){this.n=n;this.d=d;}
	public int CompareTo(object obj){
		Dt<T> mymo=(Dt<T>)obj;
		if(mymo.n>n){return -1;}
		else if(mymo.n<n){return 1;}
		else{return 0;}
	}
	public override string ToString()=>"d:"+d.ToString()+" n:"+n.ToString();
}
public class Pq<T> where T:IComparable{
	private T[] he;
	public int cnt=0,max=0;
	private Func<T,T,int> compare;
	public Pq(int max,bool mm){
		this.max=max;
		he=new T[max];
		if(mm){compare=Ao;}
		else{compare=Do;}
	}
	public void Push(T x){
		if(cnt==max){Extend();}
		int j=cnt;
		while(j!=0&&compare(x,he[(j-1)>>1])>0){he[j]=he[(j-1)>>1];j=(j-1)>>1;}
		he[j]=x;
		cnt++;
	}
	public void Pop(){
		cnt--;
		T r=he[cnt];
		int j=0;
		while(true){
			if(j*2+1<cnt){
				if(compare(he[j*2+1],he[j*2+2])>0){j=j*2+1;}
				else{j=j*2+2;}
			}
			else if(j*2<cnt){j=j*2+1;}
			else{break;}
			if(compare(he[j],r)<=0){j=(j-1)>>1;break;}
			he[(j-1)>>1]=he[j];
		}
		he[j]=r;
	}
	private int Ao(T x,T y){return y.CompareTo(x);}
	private int Do(T x,T y){return x.CompareTo(y);}
	public T Top{get{return he[0];}}
	private void Extend(){
		T[] nhe=new T[max<<1];
		Array.Copy(he,nhe,max);
		he=nhe;
		max<<=1;
	}
}
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 int[] Ia3(int a){return Array.ConvertAll((Console.ReadLine()+" "+a.ToString()).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 long[] La3(int a){return Array.ConvertAll((Console.ReadLine()+" "+a.ToString()).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