結果
問題 | No.243 出席番号(2) |
ユーザー | tanzaku |
提出日時 | 2015-07-11 10:14:41 |
言語 | Java21 (openjdk 21) |
結果 |
AC
|
実行時間 | 144 ms / 2,000 ms |
コード長 | 5,957 bytes |
コンパイル時間 | 2,305 ms |
コンパイル使用メモリ | 87,660 KB |
実行使用メモリ | 51,932 KB |
最終ジャッジ日時 | 2024-07-08 02:47:09 |
合計ジャッジ時間 | 6,078 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 50 ms
50,492 KB |
testcase_01 | AC | 50 ms
50,184 KB |
testcase_02 | AC | 49 ms
50,592 KB |
testcase_03 | AC | 75 ms
51,412 KB |
testcase_04 | AC | 72 ms
51,456 KB |
testcase_05 | AC | 77 ms
51,540 KB |
testcase_06 | AC | 73 ms
51,492 KB |
testcase_07 | AC | 72 ms
51,268 KB |
testcase_08 | AC | 83 ms
51,428 KB |
testcase_09 | AC | 85 ms
51,604 KB |
testcase_10 | AC | 83 ms
51,592 KB |
testcase_11 | AC | 82 ms
51,648 KB |
testcase_12 | AC | 82 ms
51,400 KB |
testcase_13 | AC | 95 ms
51,588 KB |
testcase_14 | AC | 92 ms
51,572 KB |
testcase_15 | AC | 92 ms
51,624 KB |
testcase_16 | AC | 89 ms
51,932 KB |
testcase_17 | AC | 92 ms
51,680 KB |
testcase_18 | AC | 119 ms
51,632 KB |
testcase_19 | AC | 119 ms
51,876 KB |
testcase_20 | AC | 127 ms
51,928 KB |
testcase_21 | AC | 121 ms
51,524 KB |
testcase_22 | AC | 121 ms
51,780 KB |
testcase_23 | AC | 144 ms
51,724 KB |
testcase_24 | AC | 140 ms
51,908 KB |
testcase_25 | AC | 138 ms
51,784 KB |
testcase_26 | AC | 139 ms
51,632 KB |
testcase_27 | AC | 143 ms
51,572 KB |
testcase_28 | AC | 49 ms
50,660 KB |
testcase_29 | AC | 49 ms
50,440 KB |
testcase_30 | AC | 50 ms
50,412 KB |
testcase_31 | AC | 48 ms
50,476 KB |
testcase_32 | AC | 49 ms
50,528 KB |
ソースコード
import java.io.*; import java.math.*; import java.util.*; import static java.util.Arrays.*; public class Main { 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) { int n = io.nextInt(); int[] cnt = new int[5000]; for(int v : io.nextIntArray(n)) { cnt[v]++; } long[] fact = new long[n+1]; fact[0] = 1; for(int i = 1; i < fact.length; i++) { fact[i] = fact[i-1] * i % mod; } long[] dp = new long[n+1]; dp[0] = 1; for(int i = 0; i < n; i++) { for(int j = n - 1; j >= 0; j--) { dp[j+1] = (dp[j+1] + dp[j] * cnt[i]) % mod; } } long ans = 0; for(int i = 0; i <= n; i++) { ans += (i%2==0?1:-1) * dp[i] * fact[n-i] % mod; } io.out.println((ans % mod + mod) % mod); } } static int[] montmort(int n, int mod) { int[] res = new int[n]; res[2] = 1; for(int i = 3; i < n; i++) { int x = res[i - 1] + res[i - 2]; if(x >= mod) x -= mod; res[i] = (int)((i - 1) * x % mod); } 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 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 Main().main(); } static class EndOfFileRuntimeException extends RuntimeException { private static final long serialVersionUID = -8565341110209207657L; } static public class IOFast { private BufferedReader in = new BufferedReader(new InputStreamReader(System.in)); private PrintWriter out = new PrintWriter(System.out); void setFileIn(String ins) throws IOException { in.close(); in = new BufferedReader(new FileReader(ins)); } void setFileOut(String outs) throws IOException { out.flush(); out.close(); out = new PrintWriter(new FileWriter(outs)); } void setFileIO(String ins, String outs) throws IOException { setFileIn(ins); setFileOut(outs); } private static int pos, readLen; private static final char[] buffer = new char[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 int 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 { int len = 0; str[len++] = nextChar(); len = reads(len, isSpace); int i = 0; int 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 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 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; } } }