#138175 (Java21) No.462 6日知らずのコンピュータ

提出ソース

結果

問題	No.462 6日知らずのコンピュータ
ユーザー	tanzaku
提出日時	2016-12-13 01:53:38
言語	Java21 (openjdk 21)
結果	AC
実行時間	53 ms / 2,000 ms
コード長	6,480 bytes
コンパイル時間	6,630 ms
コンパイル使用メモリ	85,832 KB
実行使用メモリ	37,320 KB
最終ジャッジ日時	2024-11-29 18:33:49
合計ジャッジ時間	10,701 ms
ジャッジサーバーID （参考情報）	judge4 / judge3

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

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	52 ms 36,876 KB
testcase_01	AC	51 ms 37,236 KB
testcase_02	AC	51 ms 36,904 KB
testcase_03	AC	50 ms 37,128 KB
testcase_04	AC	50 ms 36,980 KB
testcase_05	AC	50 ms 37,216 KB
testcase_06	AC	51 ms 36,904 KB
testcase_07	AC	50 ms 36,556 KB
testcase_08	AC	50 ms 37,068 KB
testcase_09	AC	50 ms 36,688 KB
testcase_10	AC	48 ms 37,052 KB
testcase_11	AC	51 ms 36,904 KB
testcase_12	AC	51 ms 36,896 KB
testcase_13	AC	51 ms 37,064 KB
testcase_14	AC	50 ms 36,712 KB
testcase_15	AC	50 ms 37,016 KB
testcase_16	AC	49 ms 36,864 KB
testcase_17	AC	52 ms 36,608 KB
testcase_18	AC	49 ms 36,976 KB
testcase_19	AC	50 ms 37,012 KB
testcase_20	AC	50 ms 36,864 KB
testcase_21	AC	49 ms 36,828 KB
testcase_22	AC	51 ms 36,644 KB
testcase_23	AC	52 ms 37,076 KB
testcase_24	AC	53 ms 37,232 KB
testcase_25	AC	51 ms 37,040 KB
testcase_26	AC	51 ms 37,044 KB
testcase_27	AC	50 ms 37,144 KB
testcase_28	AC	49 ms 36,664 KB
testcase_29	AC	50 ms 37,016 KB
testcase_30	AC	51 ms 37,076 KB
testcase_31	AC	52 ms 36,836 KB
testcase_32	AC	51 ms 36,864 KB
testcase_33	AC	52 ms 36,788 KB
testcase_34	AC	51 ms 36,900 KB
testcase_35	AC	50 ms 37,112 KB
testcase_36	AC	50 ms 37,164 KB
testcase_37	AC	51 ms 36,736 KB
testcase_38	AC	51 ms 36,848 KB
testcase_39	AC	51 ms 36,948 KB
testcase_40	AC	52 ms 36,772 KB
testcase_41	AC	51 ms 37,040 KB
testcase_42	AC	52 ms 37,160 KB
testcase_43	AC	51 ms 37,208 KB
testcase_44	AC	50 ms 37,076 KB
testcase_45	AC	50 ms 37,044 KB
testcase_46	AC	51 ms 36,900 KB
testcase_47	AC	49 ms 36,920 KB
testcase_48	AC	50 ms 37,036 KB
testcase_49	AC	52 ms 37,144 KB
testcase_50	AC	50 ms 36,912 KB
testcase_51	AC	50 ms 37,072 KB
testcase_52	AC	50 ms 37,112 KB
testcase_53	AC	51 ms 36,704 KB
testcase_54	AC	51 ms 36,916 KB
testcase_55	AC	50 ms 37,064 KB
testcase_56	AC	50 ms 37,232 KB
testcase_57	AC	50 ms 37,092 KB
testcase_58	AC	50 ms 36,756 KB
testcase_59	AC	51 ms 36,652 KB
testcase_60	AC	52 ms 37,112 KB
testcase_61	AC	51 ms 36,840 KB
testcase_62	AC	52 ms 37,204 KB
testcase_63	AC	53 ms 37,180 KB
testcase_64	AC	51 ms 36,912 KB
testcase_65	AC	52 ms 36,688 KB
testcase_66	AC	51 ms 36,884 KB
testcase_67	AC	52 ms 37,036 KB
testcase_68	AC	50 ms 36,604 KB
testcase_69	AC	51 ms 37,148 KB
testcase_70	AC	51 ms 36,904 KB
testcase_71	AC	51 ms 37,132 KB
testcase_72	AC	50 ms 36,932 KB
testcase_73	AC	49 ms 37,064 KB
testcase_74	AC	49 ms 37,088 KB
testcase_75	AC	49 ms 37,100 KB
testcase_76	AC	49 ms 36,688 KB
testcase_77	AC	48 ms 36,776 KB
testcase_78	AC	50 ms 37,068 KB
testcase_79	AC	50 ms 37,032 KB
testcase_80	AC	49 ms 37,048 KB
testcase_81	AC	49 ms 37,108 KB
testcase_82	AC	49 ms 36,912 KB
testcase_83	AC	49 ms 37,008 KB
testcase_84	AC	49 ms 36,680 KB
testcase_85	AC	50 ms 37,320 KB
testcase_86	AC	50 ms 37,136 KB

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

ソースコード

raw source code

import java.io.*;
import java.math.*;
import java.util.*;

import static java.util.Arrays.*;

public class _462 {
	private static final int mod = (int)1e9+7;

	final Random random = new Random(0);
	final IOFast io = new IOFast();

	/// MAIN CODE
	public void run() throws IOException {
//		int TEST_CASE = Integer.parseInt(new String(io.nextLine()).trim());
		int TEST_CASE = 1;
		while(TEST_CASE-- != 0) {
			n = io.nextInt();
//			if (n >= 10) throw new RuntimeException();
			k = io.nextInt();
			a = new long[k+2];
			for (int i = 1; i <= k; i++) a[i] = io.nextLong();
			a[k+1] = (1L<<n)-1;
			Arrays.sort(a);
			long[] fact = new long[100];
			fact[0] = 1;
			for (int i = 1; i < fact.length; i++) fact[i] = fact[i-1] * i % mod;
			long ans = 1;
			for (int i = 1; i < a.length; i++) {
//				dump(a[i-1], a[i], a[i-1]&a[i]);
				if ((a[i-1]&a[i]) != a[i-1]) {
					ans = 0;
					break;
				}
				ans = ans * fact[Long.bitCount(~a[i-1] & a[i])] % mod;
			}
//			dump(ans, dfs(0, 0));
			io.out.println(ans);
//			io.out.println(dfs(0, 0));
		}
	}
	
	int n, k;
	long[] a;
	long dfs(int idx, long v) {
		while (idx < a.length && a[idx] == v) idx++;
		if (v == (1L<<n)-1) return idx >= a.length ? 1 : 0;
		long res = 0;
		for (int i = 0; i < n; i++) {
			if ((v >>> i & 1) == 0) {
				res += dfs(idx, v | 1L<<i);
			}
		}
		return res;
	}
	
	/// TEMPLATE
	static int gcd(int n, int r) { return r == 0 ? n : gcd(r, n%r); }
	static long gcd(long n, long r) { return r == 0 ? n : gcd(r, n%r); }
	
	static <T> void swap(T[] x, int i, int j) { T t = x[i]; x[i] = x[j]; x[j] = t; }
	static void swap(int[] x, int i, int j) { int t = x[i]; x[i] = x[j]; x[j] = t; }

	void printArrayLn(int[] xs) { for(int i = 0; i < xs.length; i++) io.out.print(xs[i] + (i==xs.length-1?"\n":" ")); }
	void printArrayLn(long[] xs) { for(int i = 0; i < xs.length; i++) io.out.print(xs[i] + (i==xs.length-1?"\n":" ")); }
	
	static void dump(Object... o) { System.err.println(Arrays.deepToString(o)); } 
	
	void main() throws IOException {
		//		IOFast.setFileIO("rle-size.in", "rle-size.out");
		try { run(); }
		catch (EndOfFileRuntimeException e) { }
		io.out.flush();
	}
	public static void main(String[] args) throws IOException { new _462().main(); }
	
	static class EndOfFileRuntimeException extends RuntimeException {
		private static final long serialVersionUID = -8565341110209207657L; }

	static
	public class IOFast {
		private InputStream in = System.in;
		private PrintWriter out = new PrintWriter(System.out);

		private static int pos, readLen;
		private static final byte[] buffer = new byte[1024 * 8];
		private static char[] str = new char[500*8*2];
		private static boolean[] isDigit = new boolean[256];
		private static boolean[] isSpace = new boolean[256];
		private static boolean[] isLineSep = new boolean[256];

		static { for(int i = 0; i < 10; i++) { isDigit['0' + i] = true; } isDigit['-'] = true; isSpace[' '] = isSpace['\r'] = isSpace['\n'] = isSpace['\t'] = true; isLineSep['\r'] = isLineSep['\n'] = true; }
		public byte read() throws IOException { if(pos >= readLen) { pos = 0; readLen = in.read(buffer); if(readLen <= 0) { throw new EndOfFileRuntimeException(); } } return buffer[pos++]; }
		public int nextInt() throws IOException {
			byte first = (byte)nextChar();
			boolean minus = false;
			int res = 0;
			if (first == '-') {
				minus = true;
			} else {
				res = first - '0';
			}
			while (true) {
				byte b = read();
				if (isSpace[b]) break;
				res = res * 10 + b - '0';
			}
			return minus ? -res : res;
		}
		public long nextLong() throws IOException { int len = 0; str[len++] = nextChar(); len = reads(len, isSpace); int i = 0; long ret = 0; if(str[0] == '-') { i = 1; } for(; i < len; i++) ret = ret * 10 + str[i] - '0'; if(str[0] == '-') { ret = -ret; } return ret; }
		public char nextChar() throws IOException { while(true) { final int c = read(); if(!isSpace[c]) { return (char)c; } } }
		int reads(int len, boolean[] accept) throws IOException { try { while(true) { final int c = read(); if(accept[c]) { break; } if(str.length == len) { char[] rep = new char[str.length * 3 / 2]; System.arraycopy(str, 0, rep, 0, str.length); str = rep; } str[len++] = (char)c; } } catch(EndOfFileRuntimeException e) { ; } return len; }
		int reads(char[] cs, int len, boolean[] accept) throws IOException { try { while(true) { final int c = read(); if(accept[c]) { break; } cs[len++] = (char)c; } } catch(EndOfFileRuntimeException e) { ; } return len; }
		public char[] nextLine() throws IOException { int len = 0; str[len++] = nextChar(); len = reads(len, isLineSep); try { if(str[len-1] == '\r') { len--; read(); } } catch(EndOfFileRuntimeException e) { ; } return Arrays.copyOf(str, len); }
		public String nextString() throws IOException { return new String(next()); }
		public char[] next() throws IOException { int len = 0; str[len++] = nextChar(); len = reads(len, isSpace); return Arrays.copyOf(str, len); }
//		public int next(char[] cs) throws IOException { int len = 0; cs[len++] = nextChar(); len = reads(cs, len, isSpace); return len; }
//		public double nextDouble() throws IOException { return Double.parseDouble(nextString()); }
		public double nextDouble() throws IOException {
			double res = nextChar() - '0';
			while (true) {
				byte c = read();
				if (isSpace[c]) return res;
				if (c == '.') break;
				res = res * 10 + c - '0';
			}
			double d = 1;
			while (true) {
				byte c = read();
//				dump(c);
				if (!isDigit[c]) break;
				res = res * 10 + c - '0';
				d *= 10;
			}
//			dump(1);
			return res / d;
		}
		public long[] nextLongArray(final int n) throws IOException { final long[] res = new long[n]; for(int i = 0; i < n; i++) { res[i] = nextLong(); } return res; }
		public int[] nextIntArray(final int n) throws IOException { final int[] res = new int[n]; for(int i = 0; i < n; i++) { res[i] = nextInt(); } return res; }
		public int[][] nextIntArray2D(final int n, final int k) throws IOException { final int[][] res = new int[n][]; for(int i = 0; i < n; i++) { res[i] = nextIntArray(k); } return res; }
		public int[][] nextIntArray2DWithIndex(final int n, final int k) throws IOException { final int[][] res = new int[n][k+1]; for(int i = 0; i < n; i++) { for(int j = 0; j < k; j++) { res[i][j] = nextInt(); } res[i][k] = i; } return res; }
		public double[] nextDoubleArray(final int n) throws IOException { final double[] res = new double[n]; for(int i = 0; i < n; i++) { res[i] = nextDouble(); } return res; }
	}
}

yukicoder

結果

テストケース

ソースコード