結果
問題 | 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); } }