結果

問題 No.389 ロジックパズルの組み合わせ
ユーザー fgwiebfaoishfgwiebfaoish
提出日時 2022-01-07 20:58:17
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 336 ms / 2,000 ms
コード長 8,033 bytes
コンパイル時間 1,280 ms
コンパイル使用メモリ 118,404 KB
実行使用メモリ 93,788 KB
最終ジャッジ日時 2024-11-14 08:18:14
合計ジャッジ時間 14,593 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 27 ms
24,128 KB
testcase_01 AC 28 ms
26,156 KB
testcase_02 AC 26 ms
23,972 KB
testcase_03 AC 26 ms
26,152 KB
testcase_04 AC 147 ms
56,152 KB
testcase_05 AC 39 ms
29,380 KB
testcase_06 AC 87 ms
40,964 KB
testcase_07 AC 235 ms
71,516 KB
testcase_08 AC 99 ms
44,528 KB
testcase_09 AC 199 ms
64,028 KB
testcase_10 AC 55 ms
30,140 KB
testcase_11 AC 206 ms
66,692 KB
testcase_12 AC 46 ms
27,520 KB
testcase_13 AC 274 ms
79,724 KB
testcase_14 AC 65 ms
31,788 KB
testcase_15 AC 56 ms
30,776 KB
testcase_16 AC 96 ms
44,724 KB
testcase_17 AC 145 ms
54,652 KB
testcase_18 AC 221 ms
72,292 KB
testcase_19 AC 26 ms
23,972 KB
testcase_20 AC 27 ms
26,032 KB
testcase_21 AC 26 ms
24,368 KB
testcase_22 AC 26 ms
26,172 KB
testcase_23 AC 26 ms
24,124 KB
testcase_24 AC 26 ms
23,896 KB
testcase_25 AC 31 ms
26,608 KB
testcase_26 AC 27 ms
24,016 KB
testcase_27 AC 30 ms
24,516 KB
testcase_28 AC 26 ms
22,192 KB
testcase_29 AC 26 ms
23,984 KB
testcase_30 AC 27 ms
26,036 KB
testcase_31 AC 26 ms
23,844 KB
testcase_32 AC 27 ms
26,280 KB
testcase_33 AC 26 ms
26,268 KB
testcase_34 AC 26 ms
22,068 KB
testcase_35 AC 25 ms
23,848 KB
testcase_36 AC 25 ms
24,252 KB
testcase_37 AC 25 ms
24,004 KB
testcase_38 AC 26 ms
26,020 KB
testcase_39 AC 26 ms
24,128 KB
testcase_40 AC 27 ms
26,184 KB
testcase_41 AC 26 ms
24,112 KB
testcase_42 AC 27 ms
26,064 KB
testcase_43 AC 26 ms
26,032 KB
testcase_44 AC 26 ms
24,356 KB
testcase_45 AC 26 ms
21,936 KB
testcase_46 AC 26 ms
24,420 KB
testcase_47 AC 27 ms
26,020 KB
testcase_48 AC 27 ms
26,144 KB
testcase_49 AC 237 ms
74,320 KB
testcase_50 AC 66 ms
33,028 KB
testcase_51 AC 43 ms
27,144 KB
testcase_52 AC 195 ms
61,252 KB
testcase_53 AC 67 ms
33,376 KB
testcase_54 AC 247 ms
73,060 KB
testcase_55 AC 51 ms
28,864 KB
testcase_56 AC 43 ms
27,712 KB
testcase_57 AC 140 ms
53,624 KB
testcase_58 AC 271 ms
76,800 KB
testcase_59 AC 208 ms
70,628 KB
testcase_60 AC 89 ms
39,648 KB
testcase_61 AC 336 ms
93,788 KB
testcase_62 AC 140 ms
53,840 KB
testcase_63 AC 224 ms
73,704 KB
testcase_64 AC 219 ms
66,368 KB
testcase_65 AC 62 ms
31,644 KB
testcase_66 AC 77 ms
34,476 KB
testcase_67 AC 142 ms
53,680 KB
testcase_68 AC 235 ms
70,856 KB
testcase_69 AC 154 ms
55,756 KB
testcase_70 AC 109 ms
46,452 KB
testcase_71 AC 73 ms
37,084 KB
testcase_72 AC 187 ms
64,240 KB
testcase_73 AC 79 ms
40,720 KB
testcase_74 AC 77 ms
37,892 KB
testcase_75 AC 75 ms
38,060 KB
testcase_76 AC 104 ms
45,528 KB
testcase_77 AC 108 ms
45,688 KB
testcase_78 AC 56 ms
31,488 KB
testcase_79 AC 66 ms
35,612 KB
testcase_80 AC 52 ms
32,908 KB
testcase_81 AC 33 ms
25,276 KB
testcase_82 AC 177 ms
61,872 KB
testcase_83 AC 89 ms
40,768 KB
testcase_84 AC 56 ms
34,104 KB
testcase_85 AC 208 ms
68,980 KB
testcase_86 AC 184 ms
64,404 KB
testcase_87 AC 36 ms
26,284 KB
testcase_88 AC 27 ms
23,960 KB
testcase_89 AC 129 ms
52,904 KB
testcase_90 AC 290 ms
82,448 KB
testcase_91 AC 248 ms
73,496 KB
testcase_92 AC 70 ms
33,948 KB
testcase_93 AC 202 ms
67,632 KB
testcase_94 AC 161 ms
53,572 KB
testcase_95 AC 166 ms
59,112 KB
testcase_96 AC 269 ms
76,572 KB
testcase_97 AC 231 ms
71,868 KB
testcase_98 AC 211 ms
64,392 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