結果

問題 No.462 6日知らずのコンピュータ
ユーザー Grenache
提出日時 2016-12-13 00:58:11
言語 Java
(openjdk 23)
結果
AC  
実行時間 153 ms / 2,000 ms
コード長 1,488 bytes
コンパイル時間 3,907 ms
コンパイル使用メモリ 81,572 KB
実行使用メモリ 42,032 KB
最終ジャッジ日時 2024-11-29 23:49:48
合計ジャッジ時間 18,661 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 84
権限があれば一括ダウンロードができます

ソースコード

diff # 

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


public class Main_yukicoder462 {

	private static Scanner sc;
	private static Printer pr;

	private static void solve() {
		final int MOD = 1_000_000_007;

		int n = sc.nextInt();
		int k = sc.nextInt();

		Pair[] a = new Pair[k];
		Set<Integer> hs = new TreeSet<>();
		for (int i = 0; i < k; i++) {
			long tmp = sc.nextLong();
			a[i] = new Pair(tmp, Long.bitCount(tmp));
			if (hs.contains(a[i].b)) {
				pr.println(0);
				return;
			} else {
				hs.add(a[i].b);
			}
		}
		Arrays.sort(a);

		for (int i = 1; i < k; i++) {
			if ((a[i].a & a[i - 1].a) != a[i - 1].a) {
				pr.println(0);
				return;
			}
		}

		hs.add(0);
		hs.add(n);

		long ret = 1;
		List<Integer> al = new ArrayList<>(hs);
//		Collections.sort(al);
		for (int i = 1, size = al.size(); i < size; i++) {
			int tmp = al.get(i) - al.get(i - 1);
			for (int j = 1; j <= tmp; j++) {
				ret = ret * j % MOD;
			}
		}

		pr.println(ret);
	}

	private static class Pair implements Comparable<Pair> {
		long a;
		int b;

		Pair(long a, int b) {
			this.a = a;
			this.b = b;
		}

		@Override
		public int compareTo(Pair o) {
			return Integer.compare(b, o.b);
		}

	}

	// ---------------------------------------------------
	public static void main(String[] args) {
		sc = new Scanner(System.in);
		pr = new Printer(System.out);

		solve();

		pr.close();
		sc.close();
	}

	private static class Printer extends PrintWriter {
		Printer(PrintStream out) {
			super(out);
		}
	}
}
0