結果
問題 | No.1242 高橋君とすごろく |
ユーザー |
![]() |
提出日時 | 2020-10-02 22:59:07 |
言語 | C#(csc) (csc 3.9.0) |
結果 |
AC
|
実行時間 | 29 ms / 2,000 ms |
コード長 | 4,305 bytes |
コンパイル時間 | 2,872 ms |
コンパイル使用メモリ | 109,184 KB |
実行使用メモリ | 19,968 KB |
最終ジャッジ日時 | 2024-07-20 02:49:48 |
合計ジャッジ時間 | 2,776 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 24 |
コンパイルメッセージ
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;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;}}