結果

問題 No.462 6日知らずのコンピュータ
ユーザー tamago324_padtamago324_pad
提出日時 2016-12-25 03:48:26
言語 Java21
(openjdk 21)
結果
RE  
実行時間 -
コード長 3,166 bytes
コンパイル時間 3,370 ms
コンパイル使用メモリ 79,308 KB
実行使用メモリ 37,024 KB
最終ジャッジ日時 2024-05-08 14:09:38
合計ジャッジ時間 9,442 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 RE -
testcase_01 RE -
testcase_02 RE -
testcase_03 RE -
testcase_04 RE -
testcase_05 RE -
testcase_06 RE -
testcase_07 RE -
testcase_08 RE -
testcase_09 RE -
testcase_10 RE -
testcase_11 RE -
testcase_12 RE -
testcase_13 RE -
testcase_14 RE -
testcase_15 RE -
testcase_16 RE -
testcase_17 RE -
testcase_18 RE -
testcase_19 RE -
testcase_20 RE -
testcase_21 RE -
testcase_22 RE -
testcase_23 RE -
testcase_24 RE -
testcase_25 RE -
testcase_26 RE -
testcase_27 RE -
testcase_28 RE -
testcase_29 RE -
testcase_30 RE -
testcase_31 RE -
testcase_32 RE -
testcase_33 RE -
testcase_34 RE -
testcase_35 RE -
testcase_36 RE -
testcase_37 RE -
testcase_38 RE -
testcase_39 RE -
testcase_40 RE -
testcase_41 RE -
testcase_42 RE -
testcase_43 RE -
testcase_44 RE -
testcase_45 RE -
testcase_46 RE -
testcase_47 RE -
testcase_48 RE -
testcase_49 RE -
testcase_50 RE -
testcase_51 RE -
testcase_52 RE -
testcase_53 RE -
testcase_54 RE -
testcase_55 RE -
testcase_56 RE -
testcase_57 RE -
testcase_58 RE -
testcase_59 RE -
testcase_60 RE -
testcase_61 RE -
testcase_62 RE -
testcase_63 RE -
testcase_64 RE -
testcase_65 RE -
testcase_66 RE -
testcase_67 RE -
testcase_68 RE -
testcase_69 RE -
testcase_70 RE -
testcase_71 RE -
testcase_72 RE -
testcase_73 RE -
testcase_74 RE -
testcase_75 RE -
testcase_76 RE -
testcase_77 RE -
testcase_78 RE -
testcase_79 RE -
testcase_80 RE -
testcase_81 RE -
testcase_82 RE -
testcase_83 RE -
testcase_84 RE -
testcase_85 RE -
testcase_86 RE -
権限があれば一括ダウンロードができます

ソースコード

diff # 

package q462;

import java.math.BigInteger;
import java.util.ArrayList;
import java.util.Collections;
import java.util.List;

public class Test1 {


	private static BigInteger patternSum = new BigInteger("0");
	private static BigInteger RESULT_THEN_DIV = new BigInteger("1000000007");
	private static BigInteger BI_ONE = new BigInteger("1");

	public static void main(String[] args) {

//		Scanner scaner = new Scanner(System.in);

//		int n = scaner.nextInt();
//		int k = scaner.nextInt();

		int n = Integer.parseInt(args[0]);
		int k = Integer.parseInt(args[1]);

		List<Long> numList = new ArrayList<Long>();

		for(int i = 0; i < k; i++){
			// 3つ目以降を格納
//			numList.add(scaner.nextLong());
			numList.add(Long.parseLong(args[i + 2]));
		}

		if(isEnabled(numList, k, n)){
			System.out.println(patternSum.remainder(RESULT_THEN_DIV));
		}else{
			System.out.println(0);
		}
	}

	/**
	 * 受け取った配列が有効か
	 * @param args 整数の文字列の配列 α1 ～ αk の配列
	 * @param arrLen 配列の長さ k
	 * @param n N
	 * @return true: 有効<br>false: 無効
	 */
	private static boolean isEnabled(List<Long> numList, int arrLen, int n){

		// ソートする
//		Arrays.sort(args);
//		System.out.println(Arrays.toString(args));
		Collections.sort(numList);

		long large = 0;
		long small = 0;

		// 差
		long rem;

		// ORした結果
		long orResult;

		boolean rtn = true;

		if(arrLen == 0){
			// すべてのパターン数を求める
			patternSum = findPatternsCount((long) Math.pow(2, n) - 1);
		}else{
			// 0と最初の要素の間は何通りあるか求める
			patternSum = findPatternsCount(numList.get(0));

			for(int i = 1; i < arrLen; i++){
				large = numList.get(i);
				small = numList.get(i - 1);

				rem = large - small;

				orResult = small | rem;

				// 1度立ったものが下がっていなければ一致するはず
				if(large == orResult){
					rtn = true;
					patternSum = patternSum.multiply(findPatternsCount(rem));
				}else{
					rtn = false;
				}
			}

			// 最後の要素と(2^n - 1)の間は何通りあるか求める
			rem = (long) Math.pow(2, n) - 1 - large;
			patternSum = patternSum.multiply(findPatternsCount(rem));
		}
		return rtn;
	}

	/**
	 * 差から２つの間のパターン数を求める
	 * @param rem 差
	 * @return 差の間は何通りか
	 */
	private static BigInteger findPatternsCount(long rem){

		int upBitSum = 0;
		BigInteger rtnFact = BI_ONE;
		if(rem != 0){
			// 2進数に変換
			String binStr = Long.toBinaryString(rem);

			int strLen = binStr.length();
			for(int i = 0; i < strLen; i++){
				// charをintに変換
				upBitSum += Character.getNumericValue(binStr.charAt(i));
			}

			rtnFact = getFact(new BigInteger(String.valueOf(upBitSum)));
		}
		return rtnFact;
	}

	/**
	 * 階乗を求める
	 * @param n 階乗を求めたい値
	 * @return 階乗
	 */
	private static BigInteger getFact(BigInteger n){

		if (n.equals(new BigInteger("0")))
            return BI_ONE;
        else {
        	BigInteger bi = new BigInteger(String.valueOf(n));
        	return bi.multiply(getFact(bi.subtract(BI_ONE)));
        }

	}
}
0