結果
| 問題 | 
                            No.1189 Sum is XOR
                             | 
                    
| コンテスト | |
| ユーザー | 
                             tenten
                         | 
                    
| 提出日時 | 2023-11-16 17:04:56 | 
| 言語 | Java  (openjdk 23)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 420 ms / 2,000 ms | 
| コード長 | 2,428 bytes | 
| コンパイル時間 | 2,751 ms | 
| コンパイル使用メモリ | 89,428 KB | 
| 実行使用メモリ | 122,976 KB | 
| 最終ジャッジ日時 | 2024-09-26 05:09:54 | 
| 合計ジャッジ時間 | 9,895 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge2 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 2 | 
| other | AC * 21 | 
ソースコード
import java.io.*;
import java.util.*;
import java.util.stream.*;
public class Main {
    static int[] counts = new int[1024];
    static long[][][] dp;
    static final int MOD = 998244353;
    public static void main(String[] args) throws Exception {
        Scanner sc = new Scanner();
        int n = sc.nextInt();
        int k = sc.nextInt();
        if (k > 10) {
            System.out.println(0);
            return;
        }
        for (int i = 0; i < n; i++) {
            counts[sc.nextInt()]++;
        }
        dp = new long[1024][k][1024];
        for (long[][] arr1 : dp) {
            for (long[] arr2 : arr1) {
                Arrays.fill(arr2, -1);
            }
        }
        System.out.println(dfw(1023, k - 1, 0));
    }
    
    static long dfw(int idx, int v, int w) {
        if (v < 0) {
            return 1;
        }
        if (idx < 0) {
            return 0;
        }
        if (dp[idx][v][w] < 0) {
            dp[idx][v][w] = dfw(idx - 1, v, w);
            if ((w & idx) == 0) {
                dp[idx][v][w] += dfw(idx - 1, v - 1, w | idx) * counts[idx] % MOD;
                dp[idx][v][w] %= MOD;
            }
        }
        return dp[idx][v][w];
    }
}
class Utilities {
    static String arrayToLineString(Object[] arr) {
        return Arrays.stream(arr).map(x -> x.toString()).collect(Collectors.joining("\n"));
    }
    
    static String arrayToLineString(int[] arr) {
        return String.join("\n", Arrays.stream(arr).mapToObj(String::valueOf).toArray(String[]::new));
    }
}
class Scanner {
    BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
    StringTokenizer st = new StringTokenizer("");
    StringBuilder sb = new StringBuilder();
    
    public Scanner() throws Exception {
        
    }
    
    public int nextInt() throws Exception {
        return Integer.parseInt(next());
    }
    
    public long nextLong() throws Exception {
        return Long.parseLong(next());
    }
    
    public double nextDouble() throws Exception {
        return Double.parseDouble(next());
    }
    
    public int[] nextIntArray() throws Exception {
        return Stream.of(br.readLine().split(" ")).mapToInt(Integer::parseInt).toArray();
    }
    
    public String next() throws Exception {
        while (!st.hasMoreTokens()) {
            st = new StringTokenizer(br.readLine());
        }
        return st.nextToken();
    }
    
}
            
            
            
        
            
tenten