結果
| 問題 |
No.420 mod2漸化式
|
| ユーザー |
nCk_cv
|
| 提出日時 | 2016-09-13 17:35:16 |
| 言語 | Java (openjdk 23) |
| 結果 |
AC
|
| 実行時間 | 215 ms / 1,000 ms |
| コード長 | 3,733 bytes |
| コンパイル時間 | 3,195 ms |
| コンパイル使用メモリ | 79,736 KB |
| 実行使用メモリ | 45,260 KB |
| 最終ジャッジ日時 | 2024-12-24 13:01:18 |
| 合計ジャッジ時間 | 11,567 ms |
|
ジャッジサーバーID (参考情報) |
judge1 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 1 |
| other | AC * 35 |
ソースコード
import java.io.IOException;
import java.io.InputStream;
import java.math.BigInteger;
import java.util.NoSuchElementException;
public class Main {
public static void main(String[] args) {
FastScanner sc = new FastScanner();
int x = sc.nextInt();
long[][] dp = new long[32][32];
//dp[0][0] = 1;
if(x >= 32){
System.out.println(0 + " " + 0);
return;
}
for(int i = 0; i < 31; i++) {
for(int j = 0; j < 32; j++) {
dp[i + 1][j] += dp[i][j];
if(j + 1 < 32) {
dp[i + 1][j + 1] += dp[i][j] + comb(i,j) * (1L << i);
}
}
}
long count = comb(31,x);
System.out.println(count + " " + dp[31][x]);
}
static long dfs(long s, int id,int idx) {
if(id == 0) {
return s;
}
if(idx == 31) return 0;
if(id + idx > 31) return 0;
return dfs(s | 1L << idx,id-1,idx+1) + dfs(s, id, idx+1);
}
static long comb(long n, long k) {
BigInteger a = new BigInteger("1");
BigInteger b = new BigInteger("1");
for(int i = 0; i < k; i++) {
a = a.multiply(new BigInteger(String.valueOf(n - i)));
}
for(int i = 1; i <= k; i++) {
b = b.multiply(new BigInteger(String.valueOf(i)));
}
return a.divide(b).longValue();
}
}
class FastScanner {
private final InputStream in = System.in;
private final byte[] buffer = new byte[1024];
private int ptr = 0;
private int buflen = 0;
private boolean hasNextByte() {
if (ptr < buflen) {
return true;
}else{
ptr = 0;
try {
buflen = in.read(buffer);
} catch (IOException e) {
e.printStackTrace();
}
if (buflen <= 0) {
return false;
}
}
return true;
}
private int readByte() { if (hasNextByte()) return buffer[ptr++]; else return -1;}
private static boolean isPrintableChar(int c) { return 33 <= c && c <= 126;}
private void skipUnprintable() { while(hasNextByte() && !isPrintableChar(buffer[ptr])) ptr++;}
public boolean hasNext() { skipUnprintable(); return hasNextByte();}
public String next() {
if (!hasNext()) throw new NoSuchElementException();
StringBuilder sb = new StringBuilder();
int b = readByte();
while(isPrintableChar(b)) {
sb.appendCodePoint(b);
b = readByte();
}
return sb.toString();
}
public long nextLong() {
if (!hasNext()) throw new NoSuchElementException();
long n = 0;
boolean minus = false;
int b = readByte();
if (b == '-') {
minus = true;
b = readByte();
}
if (b < '0' || '9' < b) {
throw new NumberFormatException();
}
while(true){
if ('0' <= b && b <= '9') {
n *= 10;
n += b - '0';
}else if(b == -1 || !isPrintableChar(b)){
return minus ? -n : n;
}else{
throw new NumberFormatException();
}
b = readByte();
}
}
public int nextInt() {
if (!hasNext()) throw new NoSuchElementException();
int n = 0;
boolean minus = false;
int b = readByte();
if (b == '-') {
minus = true;
b = readByte();
}
if (b < '0' || '9' < b) {
throw new NumberFormatException();
}
while(true){
if ('0' <= b && b <= '9') {
n *= 10;
n += b - '0';
}else if(b == -1 || !isPrintableChar(b)){
return minus ? -n : n;
}else{
throw new NumberFormatException();
}
b = readByte();
}
}
}
nCk_cv