結果

問題 No.389 ロジックパズルの組み合わせ
ユーザー fgwiebfaoishfgwiebfaoish
提出日時 2022-01-07 20:58:17
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 384 ms / 2,000 ms
コード長 8,033 bytes
コンパイル時間 1,229 ms
コンパイル使用メモリ 111,488 KB
実行使用メモリ 87,808 KB
最終ジャッジ日時 2024-04-26 18:21:37
合計ジャッジ時間 15,748 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 26 ms
18,176 KB
testcase_01 AC 28 ms
18,148 KB
testcase_02 AC 26 ms
18,176 KB
testcase_03 AC 26 ms
18,048 KB
testcase_04 AC 173 ms
47,744 KB
testcase_05 AC 38 ms
21,120 KB
testcase_06 AC 101 ms
34,944 KB
testcase_07 AC 273 ms
61,184 KB
testcase_08 AC 105 ms
36,480 KB
testcase_09 AC 241 ms
56,448 KB
testcase_10 AC 53 ms
24,704 KB
testcase_11 AC 225 ms
57,600 KB
testcase_12 AC 44 ms
22,016 KB
testcase_13 AC 304 ms
71,040 KB
testcase_14 AC 62 ms
26,752 KB
testcase_15 AC 55 ms
24,832 KB
testcase_16 AC 97 ms
34,816 KB
testcase_17 AC 148 ms
45,696 KB
testcase_18 AC 244 ms
64,076 KB
testcase_19 AC 25 ms
18,048 KB
testcase_20 AC 25 ms
17,920 KB
testcase_21 AC 25 ms
18,048 KB
testcase_22 AC 25 ms
17,920 KB
testcase_23 AC 24 ms
17,792 KB
testcase_24 AC 24 ms
18,176 KB
testcase_25 AC 30 ms
18,432 KB
testcase_26 AC 24 ms
18,048 KB
testcase_27 AC 28 ms
18,560 KB
testcase_28 AC 25 ms
17,920 KB
testcase_29 AC 24 ms
18,048 KB
testcase_30 AC 24 ms
18,048 KB
testcase_31 AC 24 ms
17,920 KB
testcase_32 AC 24 ms
18,048 KB
testcase_33 AC 24 ms
18,176 KB
testcase_34 AC 25 ms
17,920 KB
testcase_35 AC 24 ms
17,920 KB
testcase_36 AC 25 ms
17,920 KB
testcase_37 AC 25 ms
17,920 KB
testcase_38 AC 25 ms
18,048 KB
testcase_39 AC 26 ms
17,920 KB
testcase_40 AC 25 ms
18,048 KB
testcase_41 AC 24 ms
17,920 KB
testcase_42 AC 25 ms
17,792 KB
testcase_43 AC 24 ms
17,792 KB
testcase_44 AC 25 ms
17,920 KB
testcase_45 AC 24 ms
18,048 KB
testcase_46 AC 24 ms
17,792 KB
testcase_47 AC 24 ms
18,048 KB
testcase_48 AC 24 ms
17,792 KB
testcase_49 AC 255 ms
66,128 KB
testcase_50 AC 65 ms
27,648 KB
testcase_51 AC 43 ms
21,120 KB
testcase_52 AC 224 ms
56,448 KB
testcase_53 AC 66 ms
27,904 KB
testcase_54 AC 277 ms
65,024 KB
testcase_55 AC 54 ms
24,832 KB
testcase_56 AC 42 ms
22,128 KB
testcase_57 AC 150 ms
46,720 KB
testcase_58 AC 303 ms
74,240 KB
testcase_59 AC 227 ms
62,464 KB
testcase_60 AC 92 ms
33,920 KB
testcase_61 AC 384 ms
87,808 KB
testcase_62 AC 152 ms
45,952 KB
testcase_63 AC 253 ms
65,332 KB
testcase_64 AC 248 ms
59,904 KB
testcase_65 AC 61 ms
26,240 KB
testcase_66 AC 75 ms
30,592 KB
testcase_67 AC 154 ms
45,184 KB
testcase_68 AC 275 ms
64,256 KB
testcase_69 AC 171 ms
49,280 KB
testcase_70 AC 122 ms
40,192 KB
testcase_71 AC 75 ms
30,976 KB
testcase_72 AC 232 ms
55,808 KB
testcase_73 AC 83 ms
32,640 KB
testcase_74 AC 81 ms
31,744 KB
testcase_75 AC 80 ms
32,000 KB
testcase_76 AC 122 ms
39,424 KB
testcase_77 AC 117 ms
39,552 KB
testcase_78 AC 53 ms
25,600 KB
testcase_79 AC 68 ms
29,440 KB
testcase_80 AC 50 ms
24,832 KB
testcase_81 AC 32 ms
19,200 KB
testcase_82 AC 208 ms
53,376 KB
testcase_83 AC 89 ms
34,432 KB
testcase_84 AC 55 ms
25,856 KB
testcase_85 AC 254 ms
58,368 KB
testcase_86 AC 220 ms
54,144 KB
testcase_87 AC 36 ms
20,352 KB
testcase_88 AC 26 ms
17,872 KB
testcase_89 AC 143 ms
43,136 KB
testcase_90 AC 332 ms
76,416 KB
testcase_91 AC 269 ms
67,392 KB
testcase_92 AC 71 ms
28,416 KB
testcase_93 AC 241 ms
61,568 KB
testcase_94 AC 178 ms
47,488 KB
testcase_95 AC 172 ms
53,120 KB
testcase_96 AC 310 ms
70,272 KB
testcase_97 AC 260 ms
62,976 KB
testcase_98 AC 247 ms
60,160 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;
//using nint=System.Int32;
static class Program{
	const long inf=long.MaxValue>>1;
	const int mod=(int)1e9+7;//998244353;
	static Sc sc=new Sc();
	static Pt pt=new Pt();
	static void Main(){
		Solve();
		pt.Sm();
	}
	static void Solve() {
		var n=sc.I+1;
		Cb r=new Cb(n<<1);
		var a=sc.Ia;
		if(a[0]==0){
			pt.Wl(1);
			return;
		}
		int m=a.Length;
		for(int i = 0;i<m;i++) {n-=a[i];}
		pt.Wl(m>n?"NA":r.C1(n,m).ToString());
	}
}
public class Cb{
	private const int mod=(int)1e9+7;
	public long[] r,f,v;
	public Cb(int n){
		r=new long[n];
		f=new long[n];
		v=new long[n];
		r[0]=r[1]=f[0]=f[1]=v[1]=1;
		for(int i=2;i<n;i++){
			r[i]=r[i-1]*i%mod;
			v[i]=mod-v[mod%i]*(mod/i)%mod;
			f[i]=f[i-1]*v[i]%mod;
		}
	}
	public long C1(long n,long k){return r[n]*(f[k]*f[n-k]%mod)%mod;}
	public long C2(long n,long k){
		long l=1;
		n%=mod;
		for(int i=1;i<=k;i++){l=l*(n-i+1)%mod;l=l*v[i]%mod;}
		return l;
	}
	public long C3(long n,long k){return (r[n]*Mi(r[k]*r[n-k]))%mod;}
	public long P1(long n,long k){return n>=k?r[n]*Mi(r[n-k])%mod:0;}
	public long Mi(long a){
		a=(a+mod)%mod;
		long b=mod,u=1,v=0;
		while(b>0){long t=a/b;a-=t*b;(a,b)=(b,a);u-=t*v;(u,v)=(v,u);}
		u%=mod;
		if(u<0){u+=mod;}
		return u%mod;
	}
}
public class Pt{
	private StringBuilder sb=new StringBuilder();
	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(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(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 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 Scs:Sc{
	private StreamReader sr;
	public Scs(string t){sr=new StreamReader(t);}
	[MethodImpl(MethodImplOptions.AggressiveInlining)]
	protected override string Rl(){return sr.ReadLine();}
}
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 Scs2:Sc2{
	private StreamReader sr;
	public Scs2(string t){sr=new StreamReader(t);}
	[MethodImpl(MethodImplOptions.AggressiveInlining)]
	protected override string Rl(){return sr.ReadLine();}
}
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;}
}
0