#138139 (C#(csc)) No.462 6日知らずのコンピュータ

提出ソース

結果

問題	No.462 6日知らずのコンピュータ
ユーザー	kuuso1
提出日時	2016-12-13 01:15:28
言語	C#(csc) (csc 3.9.0)
結果	WA
実行時間	-
コード長	5,149 bytes
コンパイル時間	1,202 ms
コンパイル使用メモリ	115,584 KB
実行使用メモリ	25,884 KB
最終ジャッジ日時	2024-11-29 23:56:20
合計ジャッジ時間	5,688 ms
ジャッジサーバーID （参考情報）	judge2 / judge4

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	25 ms 23,516 KB
testcase_01	AC	25 ms 25,636 KB
testcase_02	AC	25 ms 23,392 KB
testcase_03	AC	25 ms 23,516 KB
testcase_04	AC	25 ms 25,636 KB
testcase_05	AC	25 ms 21,300 KB
testcase_06	WA	-
testcase_07	AC	25 ms 23,596 KB
testcase_08	AC	25 ms 25,552 KB
testcase_09	AC	25 ms 23,592 KB
testcase_10	AC	25 ms 21,428 KB
testcase_11	AC	25 ms 23,512 KB
testcase_12	AC	25 ms 23,744 KB
testcase_13	AC	24 ms 23,600 KB
testcase_14	AC	25 ms 25,648 KB
testcase_15	AC	24 ms 23,512 KB
testcase_16	AC	24 ms 21,432 KB
testcase_17	AC	25 ms 25,644 KB
testcase_18	AC	25 ms 23,596 KB
testcase_19	WA	-
testcase_20	WA	-
testcase_21	WA	-
testcase_22	WA	-
testcase_23	WA	-
testcase_24	WA	-
testcase_25	WA	-
testcase_26	WA	-
testcase_27	WA	-
testcase_28	WA	-
testcase_29	WA	-
testcase_30	WA	-
testcase_31	WA	-
testcase_32	WA	-
testcase_33	WA	-
testcase_34	AC	25 ms 25,688 KB
testcase_35	WA	-
testcase_36	WA	-
testcase_37	WA	-
testcase_38	WA	-
testcase_39	WA	-
testcase_40	WA	-
testcase_41	WA	-
testcase_42	WA	-
testcase_43	WA	-
testcase_44	WA	-
testcase_45	WA	-
testcase_46	WA	-
testcase_47	WA	-
testcase_48	WA	-
testcase_49	AC	25 ms 23,604 KB
testcase_50	AC	25 ms 23,476 KB
testcase_51	AC	24 ms 23,384 KB
testcase_52	AC	25 ms 23,472 KB
testcase_53	AC	24 ms 23,604 KB
testcase_54	AC	24 ms 23,520 KB
testcase_55	AC	25 ms 23,516 KB
testcase_56	AC	24 ms 23,740 KB
testcase_57	AC	25 ms 25,636 KB
testcase_58	AC	25 ms 23,608 KB
testcase_59	AC	25 ms 23,264 KB
testcase_60	AC	25 ms 25,520 KB
testcase_61	AC	25 ms 23,728 KB
testcase_62	AC	25 ms 23,640 KB
testcase_63	AC	24 ms 21,560 KB
testcase_64	AC	25 ms 23,344 KB
testcase_65	AC	25 ms 23,644 KB
testcase_66	AC	25 ms 25,632 KB
testcase_67	AC	25 ms 23,472 KB
testcase_68	AC	25 ms 23,596 KB
testcase_69	AC	25 ms 23,256 KB
testcase_70	AC	27 ms 25,884 KB
testcase_71	AC	25 ms 23,464 KB
testcase_72	AC	26 ms 23,468 KB
testcase_73	AC	25 ms 23,604 KB
testcase_74	AC	25 ms 23,384 KB
testcase_75	AC	26 ms 23,384 KB
testcase_76	AC	25 ms 25,644 KB
testcase_77	AC	25 ms 25,644 KB
testcase_78	AC	25 ms 23,588 KB
testcase_79	AC	25 ms 25,380 KB
testcase_80	AC	25 ms 23,480 KB
testcase_81	AC	25 ms 23,516 KB
testcase_82	AC	24 ms 23,508 KB
testcase_83	AC	24 ms 23,596 KB
testcase_84	AC	26 ms 25,520 KB
testcase_85	AC	25 ms 23,604 KB
testcase_86	AC	25 ms 23,856 KB

権限があれば一括ダウンロードができます

コンパイルメッセージ

Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

raw source code

using System;
using System.Collections;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.IO;

class TEST{
	static void Main(){
		Sol mySol =new Sol();
		mySol.Solve();
	}
}

class Sol{
	public void Solve(){
		
		long mod = (long)1e9 + 7;
		
		long[] Fact = new long[N+1];
		Fact[0] = 1;
		for(int i=1;i<=N;i++){
			Fact[i] = Fact[i-1] * i;
			Fact[i] %= mod;
		}
		
		if(K==0){
			Console.WriteLine(Fact[N]);
			return;
		}
		
		int[] bc = new int[N];
		int tot = N;
		long ans = 1;
		for(int i=0;i<K;i++){
			long inc = A[i];
			if(i>0) inc -= A[i-1];
			int cnt = 0;
			for(int j=0;j<N;j++){
				if(((inc >> j)&1) == 1){ bc[j]++; cnt++;}
				if(bc[j]>1){
					Console.WriteLine(0);
					return;
				}
			}
			ans *= Fact[cnt];
			ans %= mod;
			tot -= cnt;
		}
		
		ans *= Fact[tot];
		ans %= mod;
		Console.WriteLine(ans);
		
		
		
		
		
	}
	int N,K;
	long[] A;
	public Sol(){
		using(var r = new FastIn()){
			N = r.ReadInt();
			K = r.ReadInt();
			if(K>0){
				A = new long[K];
				for(int i=0;i<K;i++) A[i] = r.ReadLong();
			}
		}
	}

	static String rs(){return Console.ReadLine();}
	static int ri(){return int.Parse(Console.ReadLine());}
	static long rl(){return long.Parse(Console.ReadLine());}
	static double rd(){return double.Parse(Console.ReadLine());}
	static String[] rsa(char sep=' '){return Console.ReadLine().Split(sep);}
	static int[] ria(char sep=' '){return Array.ConvertAll(Console.ReadLine().Split(sep),e=>int.Parse(e));}
	static long[] rla(char sep=' '){return Array.ConvertAll(Console.ReadLine().Split(sep),e=>long.Parse(e));}
	static double[] rda(char sep=' '){return Array.ConvertAll(Console.ReadLine().Split(sep),e=>double.Parse(e));}
}

class FastIn:IDisposable {
	int Size;
	byte[] Mem;
	int ptr;
	int rsize;
	bool unfinished;
	Stream stdin;
	void Init(int n) {
		Size = n;
		Mem = new byte[Size];
		rsize=(stdin=Console.OpenStandardInput()).Read(Mem, 0, Size);
		ptr = 0;
		unfinished=(rsize == Size);
	}
	void Next() {
		if (unfinished == false) return;
		rsize=stdin.Read(Mem, 0, Size);
		ptr = 0;
		unfinished = (rsize == Size);
	}
	
	~FastIn(){
		stdin.Dispose();
	}
	void IDisposable.Dispose(){
		stdin.Dispose();
	}
	public void Dispose(){
		stdin.Dispose();
	}
	
	public FastIn() {
		Init(100000);
	}
	public FastIn(int n) {
		Init(n);
	}
	public int ReadInt() {
		int ret = 0;
		int sig = 1;
		while (ptr < rsize && Mem[ptr] != ' ' && Mem[ptr] != '\n' && Mem[ptr] != '\r' ) {
			if(ret==0 && Mem[ptr] == '-'){
				sig *= -1; ptr++; continue;
			}
			ret = ret * 10 + Mem[ptr++] - '0';
			if (ptr == Size) Next();
		}
		while (ptr < rsize && (Mem[ptr] == ' ' || Mem[ptr] == '\n' || Mem[ptr] == '\r') ) {
			ptr++;
			if (ptr == Size) Next();
		}
		return ret*sig;
	}
	public uint ReadUint() {
		uint ret = 0;
		uint sig = 1;
		while (ptr < rsize && Mem[ptr] != ' ' && Mem[ptr] != '\n' && Mem[ptr] != '\r' ) {
			ret = ret * 10 + Mem[ptr++] - '0';
			if (ptr == Size) Next();
		}
		while (ptr < rsize && (Mem[ptr] == ' ' || Mem[ptr] == '\n' || Mem[ptr] == '\r') ) {
			ptr++;
			if (ptr == Size) Next();
		}
		return ret*sig;
	}
	public long ReadLong() {
		long ret = 0;
		long sig = 1;
		while (ptr < rsize && Mem[ptr] != ' ' && Mem[ptr] != '\n' && Mem[ptr] != '\r' ) {
			if(ret==0 && Mem[ptr] == '-'){
				sig *= -1; ptr++; continue;
			}
			ret = ret * 10 + Mem[ptr++] - '0';
			if (ptr == Size) Next();
		}
		while (ptr < rsize &&  (Mem[ptr] == ' ' || Mem[ptr] == '\n' || Mem[ptr] == '\r')  ) {
			ptr++;
			if (ptr == Size) Next();
		}
		return ret*sig;
	}
	
	public double ReadDouble() {
		double ret = 0;
		double sig = 1;
		bool dot = false;
		double keta = 0.1;
		while (ptr < rsize && Mem[ptr] != ' ' && Mem[ptr] != '\n' && Mem[ptr] != '\r' ) {
			if(ret==0 && Mem[ptr] == '-'){
				sig *= -1; ptr++;
				if (ptr == Size) Next();
				continue;
			}
			if(Mem[ptr] == '.'){
				dot = true;
				ptr++;
				if (ptr == Size) Next();
				continue;
			}
			if(!dot){
				ret = ret * 10 + Mem[ptr++] - '0';
				if (ptr == Size) Next();
			}else{
				ret = ret + (Mem[ptr++] - '0')*keta;
				keta /= 10.0;
				if (ptr == Size) Next();
			}
		}
		while (ptr < rsize && (Mem[ptr] == ' ' || Mem[ptr] == '\n' || Mem[ptr] == '\r') ) {
			ptr++;
			if (ptr == Size) Next();
		}
		return ret*sig;
	}

	public String ReadStr() {
		//2byte文字はNG
		StringBuilder sb = new StringBuilder();
		while (ptr < rsize && Mem[ptr] != ' ' && Mem[ptr] != '\n' && Mem[ptr] != '\r') {
			sb.Append((char)Mem[ptr++]);
			if (ptr == Size && unfinished) Next();
		}
		while (ptr < rsize &&  (Mem[ptr] == ' ' || Mem[ptr] == '\n' || Mem[ptr] == '\r') ) {
			ptr++;
			if (ptr == Size && unfinished) Next();
		}
		return sb.ToString();
	}
	public String ReadLine() {
		//極力使わない(split/parseするくらいなら上をつかう）
		StringBuilder sb = new StringBuilder();
		while (ptr < rsize && Mem[ptr] != '\n' && Mem[ptr] != '\r') {
			sb.Append((char)Mem[ptr++]);
			if (ptr == Size && unfinished) Next();
		}
		while (ptr < rsize &&  (Mem[ptr] == ' ' || Mem[ptr] == '\n' || Mem[ptr] == '\r')) {
			ptr++;
			if (ptr == Size && unfinished) Next();
		}
		return sb.ToString();
	}
}

yukicoder

結果

テストケース

コンパイルメッセージ

ソースコード