結果

問題 No.1955 Not Prime
ユーザー fgwiebfaoishfgwiebfaoish
提出日時 2022-05-24 21:26:09
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 311 ms / 2,000 ms
コード長 9,624 bytes
コンパイル時間 2,074 ms
コンパイル使用メモリ 116,172 KB
実行使用メモリ 43,868 KB
最終ジャッジ日時 2023-10-20 18:56:17
合計ジャッジ時間 5,328 ms
ジャッジサーバーID
(参考情報)
judge11 / judge14
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 34 ms
24,496 KB
testcase_01 AC 34 ms
24,496 KB
testcase_02 AC 33 ms
24,552 KB
testcase_03 AC 34 ms
24,552 KB
testcase_04 AC 33 ms
24,552 KB
testcase_05 AC 34 ms
24,552 KB
testcase_06 AC 43 ms
24,500 KB
testcase_07 AC 180 ms
29,544 KB
testcase_08 AC 156 ms
29,536 KB
testcase_09 AC 271 ms
29,484 KB
testcase_10 AC 257 ms
28,908 KB
testcase_11 AC 311 ms
43,868 KB
testcase_12 AC 97 ms
28,988 KB
testcase_13 AC 276 ms
29,672 KB
testcase_14 AC 73 ms
29,008 KB
testcase_15 AC 71 ms
28,972 KB
testcase_16 AC 126 ms
29,452 KB
testcase_17 AC 227 ms
30,936 KB
testcase_18 AC 275 ms
29,832 KB
testcase_19 AC 270 ms
30,672 KB
testcase_20 AC 34 ms
24,496 KB
testcase_21 AC 105 ms
28,996 KB
testcase_22 AC 34 ms
24,552 KB
testcase_23 AC 34 ms
24,552 KB
testcase_24 AC 33 ms
24,496 KB
testcase_25 AC 34 ms
24,552 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.Text.RegularExpressions;
using System.IO;
using System.Reflection;
using static System.Math;
using System.Numerics;
using System.Threading;
using System.Runtime.CompilerServices;
using System.Diagnostics;
static class Program{
	const long inf=long.MaxValue>>1;
	const int mod=998244353;
	static Sc sc=new Sc();
	static void Main(){
		Pt pt=new Pt(Solve);
		pt.Sm();
	}
	static void Solve(Pt pt) {
		var n=sc.I;
		Se se=new Se(999999);
		var sat=new Tsat(n,0);
		var h=new string[n][];
		for(int i = 0;i < n;i++) {
			h[i]=sc.Sa;
			if(se[int.Parse(h[i][0]+h[i][1])]) {
				sat.Edge((i+1)%n,0,i,1);
				sat.Edge((i+1)%n,1,i,1);
			}
			if(se[int.Parse(h[i][1]+h[i][0])]) {
				sat.Edge((i+1)%n,0,i,0);
				sat.Edge((i+1)%n,1,i,0);
			}
			for(int j = i - 1;j >= 0;j--) {
				for(int k = 0;k < 2;k++) {
					for(int l = 0;l < 2;l++) {
						if(se[int.Parse(h[i][k]+h[j][l])]) {
							sat.Edge(i,k,j,l);
							sat.Edge(j,l^1,i,k^1);
						}
						if(se[int.Parse(h[j][l]+h[i][k])]) {
							sat.Edge(j,l,i,k);
							sat.Edge(i,k^1,j,l^1);
						}
					}
				}
			}
		}
		sat.Scc();
		int ans=0;
		for(int i = 0;i < n;i++) {ans=Min(ans,sat.Ck(i));}
		pt.Wl(ans!=-1?"Yes":"No");
	}
}
public class Tsat{
	private List<int>[] li;
	private int[] h;
	private int n,m;
	public Tsat(int n,int z){
		m=n<<1;
		this.n=m+z;
		li=new List<int>[this.n];
		for(int i=0;i<this.n;i++){li[i]=new List<int>();}
	}
	public void Edge(int a,int b){li[a].Add(b);}
	public void Edge(int a,int c,int b,int d){
		if(c==2){a+=m;}
		else if(c!=3){a=(a<<1)+c;}
		if(d==2){b+=m;}
		else if(d!=3){b=(b<<1)+d;}
		li[a].Add(b);
	}
	public int Ck(int a){
		a<<=1;
		return h[a]==h[a+1]?-1:(h[a]<h[a+1]?0:1);
	}
	public void Scc(){
		int n=li.Length,p=1;
		var b=new bool[n];
		var b2=new bool[n];
		var b3=new bool[n];
		var low=new int[n];
		h=new int[n];
		var sk=new Stack<int>();
		var lid=new List<List<int>>();
		for(int i = 0;i<n;i++) {if(!b[i]){Fud(i);}}
		void Fud(int a){
			b[a]=true;
			low[a]=p++;
			sk.Push(a);
			for(int i=0;i<li[a].Count;i++){
				if(b2[li[a][i]]){continue;}
				if(!b[li[a][i]]){Fud(li[a][i]);}
				if(low[a]>low[li[a][i]]){
					low[a]=low[li[a][i]];
					b3[a]=true;
				}
			}
			if(b3[a]){return;}
			int v=-1;
			lid.Add(new List<int>());
			while(v!=a){
				v=sk.Pop();
				lid[lid.Count-1].Add(v);
				b2[v]=true;
				h[v]=lid.Count-1;
			}
		}
	}
}
public class Se{
	public bool[] b;
	public Se(int n){
		b=new bool[n+1];
		b[0]=b[1]=true;
		int m=(int)Sqrt(n);
		for(int i=2;i<=m;i++){
			if(!b[i]){
				for(int j=i*i;j<=n;j+=i){b[j]=true;}
			}
		}
	}
	public bool this[int i]{get{return !b[i];}}
}
public class Pt{
	private StringBuilder sb=new StringBuilder();
	public Pt(Action<Pt> f){f(this);}
	public void W(int s){sb.Append(s);}
	public void W(long s){sb.Append(s);}
	public void W(double s){sb.Append(s);}
	public void W(decimal s){sb.Append(s);}
	public void W(char s){sb.Append(s);}
	public void W(string s){sb.Append(s);}
	public void W(object s){sb.Append(s);}
	public void W(string f,int s){sb.Append(s.ToString(f));}
	public void W(string f,long s){sb.Append(s.ToString(f));}
	public void W(string f,double s){sb.Append(s.ToString(f));}
	public void W(string f,decimal s){sb.Append(s.ToString(f));}
	public void Wl(int s){sb.Append(s).Append(Environment.NewLine);}
	public void Wl(long s){sb.Append(s).Append(Environment.NewLine);}
	public void Wl(double s){sb.Append(s).Append(Environment.NewLine);}
	public void Wl(decimal s){sb.Append(s).Append(Environment.NewLine);}
	public void Wl(char s){sb.Append(s).Append(Environment.NewLine);}
	public void Wl(string s){sb.Append(s).Append(Environment.NewLine);}
	public void Wl(object s){sb.Append(s).Append(Environment.NewLine);}
	public void Wl(string f,int s){sb.Append(s.ToString(f)).Append(Environment.NewLine);}
	public void Wl(string f,long s){sb.Append(s.ToString(f)).Append(Environment.NewLine);}
	public void Wl(string f,double s){sb.Append(s.ToString(f)).Append(Environment.NewLine);}
	public void Wl(string f,decimal s){sb.Append(s.ToString(f)).Append(Environment.NewLine);}
	public void Wl(int[] s){sb.Append(string.Join(" ",s)).Append(Environment.NewLine);}
	public void Wl(long[] s){sb.Append(string.Join(" ",s)).Append(Environment.NewLine);}
	public void Wl(double[] s){sb.Append(string.Join(" ",s)).Append(Environment.NewLine);}
	public void Wl(string[] s){sb.Append(string.Join(" ",s)).Append(Environment.NewLine);}
	public void Wl(object[] s){sb.Append(string.Join(" ",s)).Append(Environment.NewLine);}
	public void Wl(){sb.Append(Environment.NewLine);}
	public void Sm(){Console.Write(sb);}
	public static bool operator==(Pt a,Pt b){return a.sb.ToString()==b.sb.ToString();}
	public static bool operator!=(Pt a,Pt b){return a.sb.ToString()!=b.sb.ToString();}
	public override bool Equals(object obj){return false;}
	public override int GetHashCode(){return 0;}
}
public class Sc{
	[MethodImpl(MethodImplOptions.AggressiveInlining)]
	protected virtual string Rl(){return Console.ReadLine();}
	[MethodImpl(MethodImplOptions.AggressiveInlining)]
	protected virtual string[] Sp(string st){return st.Split();}
	[MethodImpl(MethodImplOptions.AggressiveInlining)]
	private T Ct<T>(string s){return (T)Convert.ChangeType(s,typeof(T));}
	public virtual int I{get{return int.Parse(Rl());}}
	public virtual long L{get{return long.Parse(Rl());}}
	public virtual double D{get{return double.Parse(Rl());}}
	public virtual string S{get{return Rl();}}
	public int[] Ia{get{return Array.ConvertAll(Sp(Rl()),int.Parse);}}
	public long[] La{get{return Array.ConvertAll(Sp(Rl()),long.Parse);}}
	public double[] Da{get{return Array.ConvertAll(Sp(Rl()),double.Parse);}}
	public string[] Sa{get{return Sp(Rl());}}
	public object[] Oa{get{return Sp(Rl());}}
	public int[] Ia2{get{return Array.ConvertAll(Sp("0 "+Rl()+" 0"),int.Parse);}}
	public int[] Ia3(string a,string b){return Array.ConvertAll(Sp(a+Rl()+b),int.Parse);}
	public int[] Ia3(int a){return Array.ConvertAll(Sp(Rl()+" "+a.ToString()),int.Parse);}
	public long[] La2{get{return Array.ConvertAll(Sp("0 "+Rl()+" 0"),long.Parse);}}
	public long[] La3(string a,string b){return Array.ConvertAll(Sp(a+Rl()+b),long.Parse);}
	public long[] La3(int a){return Array.ConvertAll(Sp(Rl()+" "+a.ToString()),long.Parse);}
	public double[] Da2{get{return Array.ConvertAll(Sp("0 "+Rl()+" 0"),double.Parse);}}
	public double[] Da3(string a,string b){return Array.ConvertAll(Sp(a+Rl()+b),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(Sp(Rl()));}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,Sp(Rl()));}return a;}
	[MethodImpl(MethodImplOptions.AggressiveInlining)]
	public (T,T) Tp2<T>(){var s=Sp(Rl());return (Ct<T>(s[0]),Ct<T>(s[1]));}
	[MethodImpl(MethodImplOptions.AggressiveInlining)]
	public (T,T,T) Tp3<T>(){var s=Sp(Rl());return (Ct<T>(s[0]),Ct<T>(s[1]),Ct<T>(s[2]));}
	[MethodImpl(MethodImplOptions.AggressiveInlining)]
	public (T,T,T,T) Tp4<T>(){var s=Sp(Rl());return (Ct<T>(s[0]),Ct<T>(s[1]),Ct<T>(s[2]),Ct<T>(s[3]));}
	[MethodImpl(MethodImplOptions.AggressiveInlining)]
	public (T,T,T,T,T) Tp5<T>(){var s=Sp(Rl());return (Ct<T>(s[0]),Ct<T>(s[1]),Ct<T>(s[2]),Ct<T>(s[3]),Ct<T>(s[4]));}
	[MethodImpl(MethodImplOptions.AggressiveInlining)]
	public (T,T,T,T,T,T) Tp6<T>(){var s=Sp(Rl());return (Ct<T>(s[0]),Ct<T>(s[1]),Ct<T>(s[2]),Ct<T>(s[3]),Ct<T>(s[4]),Ct<T>(s[5]));}
	[MethodImpl(MethodImplOptions.AggressiveInlining)]
	public (T1,T2) Tp2<T1,T2>(){var s=Sp(Rl());return (Ct<T1>(s[0]),Ct<T2>(s[1]));}
	[MethodImpl(MethodImplOptions.AggressiveInlining)]
	public (T1,T1,T2) Tp3<T1,T2>(){var s=Sp(Rl());return (Ct<T1>(s[0]),Ct<T1>(s[1]),Ct<T2>(s[2]));}
}
public class Scr:Sc{
	private List<string> li=new List<string>();
	private int l=0;
	private bool bo=false;
	[MethodImpl(MethodImplOptions.AggressiveInlining)]
	protected override string Rl(){
		if(bo){return li[l++%li.Count];}
		li.Add(Console.ReadLine());
		return li[li.Count-1];
	}
	public void Again(){bo=true;}
}
public class Sc2:Sc{
	private string[] sps=new string[]{" "," ","\t"};
	[MethodImpl(MethodImplOptions.AggressiveInlining)]
	protected override string[] Sp(string st){return st.Split(sps,StringSplitOptions.RemoveEmptyEntries);}
	public override int I{get{return int.Parse(Sp(Rl())[0]);}}
	public override long L{get{return long.Parse(Sp(Rl())[0]);}}
	public override double D{get{return double.Parse(Sp(Rl())[0]);}}
	public override string S{get{return Sp(Rl())[0];}}
}
public class Sct:Sc{
	private List<string> li=new List<string>();
	private int l=0;
	public void Add(int s){li.Add(s.ToString());}
	public void Add(long s){li.Add(s.ToString());}
	public void Add(double s){li.Add(s.ToString());}
	public void Add(string s){li.Add(s.ToString());}
	public void Add(object s){li.Add(s.ToString());}
	public void Add(int[] s){li.Add(string.Join(" ",s));}
	public void Add(long[] s){li.Add(string.Join(" ",s));}
	public void Add(double[] s){li.Add(string.Join(" ",s));}
	public void Add(string[] s){li.Add(string.Join(" ",s));}
	public void Add(object[] s){li.Add(string.Join(" ",s));}
	protected override string Rl(){return li[l++];}
	public void Clear(){li.Clear();l=0;}
	public void Again(){l=0;}
	public void Pf(){Console.WriteLine(string.Join("\n",li));}
}
0