package q462; import java.util.ArrayList; import java.util.Collections; import java.util.List; public class Test1 { private static long patternSum = 0; public static void main(String[] args) { int n = Integer.parseInt(args[0]); int k = Integer.parseInt(args[1]); List numList = new ArrayList(); for(int i = 2; i < args.length; i++){ // 3つ目以降を格納 numList.add(Long.parseLong(args[i])); } if(isEnabled(numList, k, n)){ System.out.println(patternSum % ((long)Math.pow(10, 9) - 7)); }else{ System.out.println(0); } } /** * 受け取った配列が有効か * @param args 整数の文字列の配列 α1 ~ αk の配列 * @param arrLen 配列の長さ k * @param n N * @return true: 有効
false: 無効 */ private static boolean isEnabled(List 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((int) 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); // ソートしたらこれいらない // if(large < small){ // // 2つの大小を確認する // int temp = large; // large = small; // small = temp; // } rem = large - small; orResult = small | rem; // 1度立ったものが下がっていなければ一致するはず if(large == orResult){ rtn = true; patternSum *= findPatternsCount(rem); }else{ rtn = false; } } // 最後の要素と(2^n - 1)の間は何通りあるか求める rem = (int) Math.pow(2, n) - 1 - large; patternSum *= findPatternsCount(rem); } return rtn; } /** * 差から2つの間のパターン数を求める * @param rem 差 * @return 差の間は何通りか */ private static long findPatternsCount(long rem){ int upBitSum = 0; long rtnFact = 1; 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(upBitSum); } return rtnFact; } /** * 階乗を求める * @param n 階乗を求めたい値 * @return 階乗 */ private static long getFact(int n){ if (n == 0) return 1; else // nが1以上の時 return n * getFact(n - 1); } }