結果
| 問題 |
No.685 Logical Operations
|
| コンテスト | |
| ユーザー |
takeya_okino
|
| 提出日時 | 2019-06-22 14:33:11 |
| 言語 | Java (openjdk 23) |
| 結果 |
AC
|
| 実行時間 | 146 ms / 2,000 ms |
| コード長 | 5,264 bytes |
| コンパイル時間 | 2,858 ms |
| コンパイル使用メモリ | 85,884 KB |
| 実行使用メモリ | 41,644 KB |
| 最終ジャッジ日時 | 2024-12-26 08:59:52 |
| 合計ジャッジ時間 | 7,467 ms |
|
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 27 |
ソースコード
import java.util.*;
public class Main {
public static void main(String[] args) {
Scanner sc = new Scanner(System.in);
long n = sc.nextLong();
long MOD = (long)Math.pow(10, 9) + 7;
String sn = "";
sn = String.valueOf(n % 2);
n /= 2;
for(int i = 0; i < 100; i++) {
if(n > 0) {
long t = n % 2;
n /= 2;
sn = String.valueOf(t) + sn;
} else {
break;
}
}
int len = sn.length();
int[] bin = new int[len];
for(int i = 0; i < len; i++) {
int t = Integer.parseInt(String.valueOf(sn.charAt(i)));
bin[i] = t;
}
long[][][][][] dp = new long[len][2][2][2][2];
dp[0][0][0][0][1] = 1;
dp[0][1][0][1][0] = 1;
dp[0][0][1][0][0] = 1;
for(int i = 1; i < len; i++) {
// dp[i - 1][0][0][0][0]からの遷移
if(bin[i] == 0) {
dp[i][0][0][0][0] = (dp[i][0][0][0][0] + dp[i - 1][0][0][0][0]) % MOD;
} else {
dp[i][0][0][0][1] = (dp[i][0][0][0][1] + dp[i - 1][0][0][0][0]) % MOD;
dp[i][1][0][1][0] = (dp[i][1][0][1][0] + dp[i - 1][0][0][0][0]) % MOD;
}
// dp[i - 1][0][0][0][1]からの遷移
dp[i][0][0][0][1] = (dp[i][0][0][0][1] + dp[i - 1][0][0][0][1]) % MOD;
dp[i][1][0][1][1] = (dp[i][1][0][1][1] + dp[i - 1][0][0][0][1]) % MOD;
// dp[i - 1][0][0][1][0]からの遷移
if(bin[i] == 0) {
dp[i][0][0][1][0] = (dp[i][0][0][1][0] + dp[i - 1][0][0][1][0]) % MOD;
dp[i][1][0][1][0] = (dp[i][1][0][1][0] + dp[i - 1][0][0][1][0]) % MOD;
} else {
dp[i][1][0][1][1] = (dp[i][0][0][0][1] + dp[i - 1][0][0][1][0]) % MOD;
dp[i][1][0][1][0] = (dp[i][1][0][1][0] + dp[i - 1][0][0][1][0]) % MOD;
dp[i][1][0][1][1] = (dp[i][1][0][1][1] + dp[i - 1][0][0][1][0]) % MOD;
}
// dp[i - 1][0][0][1][1]からの遷移
dp[i][0][0][1][1] = (dp[i][0][0][1][1] + dp[i - 1][0][0][1][1]) % MOD;
dp[i][1][0][1][1] = (dp[i][1][0][1][1] + dp[i - 1][0][0][1][1]) % MOD;
dp[i][1][0][1][1] = (dp[i][1][0][1][1] + dp[i - 1][0][0][1][1]) % MOD;
// dp[i - 1][1][0][0][0]からの遷移
if(bin[i] == 0) {
dp[i][1][0][0][0] = (dp[i][1][0][0][0] + dp[i - 1][1][0][0][0]) % MOD;
} else {
dp[i][1][0][0][1] = (dp[i][1][0][0][1] + dp[i - 1][1][0][0][0]) % MOD;
dp[i][1][0][1][0] = (dp[i][1][0][1][0] + dp[i - 1][1][0][0][0]) % MOD;
dp[i][1][1][0][0] = (dp[i][1][1][0][0] + dp[i - 1][1][0][0][0]) % MOD;
}
// dp[i - 1][1][0][0][1]からの遷移
dp[i][1][0][0][1] = (dp[i][1][0][0][1] + dp[i - 1][1][0][0][1]) % MOD;
dp[i][1][0][1][1] = (dp[i][1][0][1][1] + dp[i - 1][1][0][0][1]) % MOD;
dp[i][1][1][0][1] = (dp[i][1][1][0][1] + dp[i - 1][1][0][0][1]) % MOD;
// dp[i - 1][1][0][1][0]からの遷移
if(bin[i] == 0) {
dp[i][1][0][1][0] = (dp[i][1][0][1][0] + dp[i - 1][1][0][1][0]) % MOD;
dp[i][1][0][1][0] = (dp[i][1][0][1][0] + dp[i - 1][1][0][1][0]) % MOD;
} else {
dp[i][1][0][1][1] = (dp[i][1][0][1][1] + dp[i - 1][1][0][1][0]) % MOD;
dp[i][1][0][1][0] = (dp[i][1][0][1][0] + dp[i - 1][1][0][1][0]) % MOD;
dp[i][1][0][1][1] = (dp[i][1][0][1][1] + dp[i - 1][1][0][1][0]) % MOD;
dp[i][1][1][1][0] = (dp[i][1][1][1][0] + dp[i - 1][1][0][1][0]) % MOD;
}
// dp[i - 1][1][0][1][1]からの遷移
dp[i][1][0][1][1] = (dp[i][1][0][1][1] + dp[i - 1][1][0][1][1]) % MOD;
dp[i][1][0][1][1] = (dp[i][1][0][1][1] + dp[i - 1][1][0][1][1]) % MOD;
dp[i][1][0][1][1] = (dp[i][1][0][1][1] + dp[i - 1][1][0][1][1]) % MOD;
dp[i][1][1][1][1] = (dp[i][1][1][1][1] + dp[i - 1][1][0][1][1]) % MOD;
// dp[i - 1][1][1][0][0]からの遷移
if(bin[i] == 0) {
dp[i][1][1][0][0] = (dp[i][1][1][0][0] + dp[i - 1][1][1][0][0]) % MOD;
} else {
dp[i][1][1][0][1] = (dp[i][1][1][0][1] + dp[i - 1][1][1][0][0]) % MOD;
dp[i][1][1][1][0] = (dp[i][1][1][1][0] + dp[i - 1][1][1][0][0]) % MOD;
dp[i][1][1][0][0] = (dp[i][1][1][0][0] + dp[i - 1][1][1][0][0]) % MOD;
}
// dp[i - 1][1][1][0][1]からの遷移
dp[i][1][1][0][1] = (dp[i][1][1][0][1] + dp[i - 1][1][1][0][1]) % MOD;
dp[i][1][1][1][1] = (dp[i][1][1][1][1] + dp[i - 1][1][1][0][1]) % MOD;
dp[i][1][1][0][1] = (dp[i][1][1][0][1] + dp[i - 1][1][1][0][1]) % MOD;
// dp[i - 1][1][1][1][0]からの遷移
if(bin[i] == 0) {
dp[i][1][1][1][0] = (dp[i][1][1][1][0] + dp[i - 1][1][1][1][0]) % MOD;
dp[i][1][1][1][0] = (dp[i][1][1][1][0] + dp[i - 1][1][1][1][0]) % MOD;
} else {
dp[i][1][1][1][1] = (dp[i][1][1][1][1] + dp[i - 1][1][1][1][0]) % MOD;
dp[i][1][1][1][0] = (dp[i][1][1][1][0] + dp[i - 1][1][1][1][0]) % MOD;
dp[i][1][1][1][1] = (dp[i][1][1][1][1] + dp[i - 1][1][1][1][0]) % MOD;
dp[i][1][1][1][0] = (dp[i][1][1][1][0] + dp[i - 1][1][1][1][0]) % MOD;
}
// dp[i - 1][1][1][1][1]からの遷移
dp[i][1][1][1][1] = (dp[i][1][1][1][1] + 4 * dp[i - 1][1][1][1][1]) % MOD;
}
long ans = 0;
for(int l = 0; l < 2; l++) {
for(int m = 0; m < 2; m++) {
ans = (ans + dp[len - 1][1][1][l][m]) % MOD;
}
}
System.out.println(ans);
}
}
takeya_okino