結果
問題 | No.194 フィボナッチ数列の理解(1) |
ユーザー | eitaho |
提出日時 | 2015-04-28 01:25:43 |
言語 | C#(csc) (csc 3.9.0) |
結果 |
AC
|
実行時間 | 289 ms / 5,000 ms |
コード長 | 6,641 bytes |
コンパイル時間 | 1,231 ms |
コンパイル使用メモリ | 112,000 KB |
実行使用メモリ | 27,520 KB |
最終ジャッジ日時 | 2024-07-05 04:59:26 |
合計ジャッジ時間 | 6,650 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 35 ms
22,144 KB |
testcase_01 | AC | 36 ms
22,144 KB |
testcase_02 | AC | 289 ms
24,960 KB |
testcase_03 | AC | 58 ms
22,784 KB |
testcase_04 | AC | 127 ms
23,680 KB |
testcase_05 | AC | 106 ms
23,424 KB |
testcase_06 | AC | 126 ms
23,296 KB |
testcase_07 | AC | 189 ms
23,936 KB |
testcase_08 | AC | 50 ms
22,656 KB |
testcase_09 | AC | 152 ms
23,680 KB |
testcase_10 | AC | 76 ms
22,912 KB |
testcase_11 | AC | 80 ms
23,296 KB |
testcase_12 | AC | 109 ms
23,424 KB |
testcase_13 | AC | 62 ms
22,784 KB |
testcase_14 | AC | 42 ms
22,528 KB |
testcase_15 | AC | 231 ms
24,192 KB |
testcase_16 | AC | 192 ms
24,064 KB |
testcase_17 | AC | 75 ms
22,912 KB |
testcase_18 | AC | 204 ms
24,064 KB |
testcase_19 | AC | 272 ms
24,832 KB |
testcase_20 | AC | 62 ms
26,368 KB |
testcase_21 | AC | 70 ms
27,520 KB |
testcase_22 | AC | 62 ms
26,368 KB |
testcase_23 | AC | 45 ms
23,680 KB |
testcase_24 | AC | 54 ms
25,216 KB |
testcase_25 | AC | 53 ms
24,832 KB |
testcase_26 | AC | 53 ms
25,216 KB |
testcase_27 | AC | 54 ms
24,960 KB |
testcase_28 | AC | 43 ms
23,424 KB |
testcase_29 | AC | 64 ms
26,240 KB |
testcase_30 | AC | 278 ms
24,832 KB |
testcase_31 | AC | 38 ms
22,400 KB |
testcase_32 | AC | 100 ms
23,168 KB |
testcase_33 | AC | 139 ms
23,424 KB |
testcase_34 | AC | 117 ms
23,424 KB |
testcase_35 | AC | 101 ms
23,296 KB |
testcase_36 | AC | 214 ms
24,320 KB |
testcase_37 | AC | 49 ms
22,656 KB |
testcase_38 | AC | 242 ms
24,192 KB |
testcase_39 | AC | 111 ms
23,424 KB |
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc) Copyright (C) Microsoft Corporation. All rights reserved.
ソースコード
using System; using System.IO; using System.Linq; using System.Text; using System.Collections.Generic; using System.Diagnostics; using System.Numerics; using Enu = System.Linq.Enumerable; class Program { static readonly int SmallN = (int)1e6; static readonly int Mod = (int)1e9 + 7; public void Solve() { int L = Reader.Int(); long N = Reader.Long(); var F = new[] { 0 }.Concat(Reader.IntArray(L)).Concat(new int[SmallN]).ToArray(); var S = new int[SmallN + 1]; for (int i = 1; i <= L; i++) S[i] = (F[i] + S[i - 1]) % Mod; if (N <= SmallN) { for (int i = L + 1; i <= N; i++) { F[i] = (S[i - 1] - S[i - L - 1] + Mod) % Mod; S[i] = (F[i] + S[i - 1]) % Mod; } Console.WriteLine(F[N] + " " + S[N]); } else { var M = new Matrix(L, L, Mod); for (int c = 0; c < L; c++) M[0, c] = 1; for (int r = 1; r < L; r++) M[r, r - 1] = 1; var vec = new Matrix(F.Skip(1).Take(L).Reverse().ToArray(), Mod); long f, s; M.SumPower(N, vec, out f, out s); Console.WriteLine(f + " " + s); } } class Matrix { public readonly int H, W; public readonly long Mod; private readonly long[][] M; public long this[int r, int c] { get { return M[r][c]; } set { M[r][c] = value >= 0 ? value % Mod : value % Mod + Mod; } } public Matrix(int h, int w, long mod) { H = h; W = w; Mod = mod; M = new long[h][]; for (int r = 0; r < H; r++) M[r] = new long[w]; } public Matrix(long[] vec, long mod) { H = vec.Length; W = 1; Mod = mod; M = new long[H][]; for (int r = 0; r < H; r++) { M[r] = new long[1]; this[r, 0] = vec[r]; } } public Matrix(int[] vec, long mod) { H = vec.Length; W = 1; Mod = mod; M = new long[H][]; for (int r = 0; r < H; r++) { M[r] = new long[1]; this[r, 0] = vec[r]; } } public static Matrix operator +(Matrix A, Matrix B) { Debug.Assert(A.H == B.H && A.W == B.W && A.Mod == B.Mod); var res = A.Clone(); for (int r = 0; r < res.H; r++) for (int c = 0; c < res.W; c++) if ((res.M[r][c] += B.M[r][c]) >= A.Mod) res.M[r][c] -= A.Mod; return res; } public static Matrix operator *(Matrix A, Matrix B) { Debug.Assert(A.W == B.H && A.Mod == B.Mod); long mod = A.Mod; var res = new Matrix(A.H, B.W, mod); int h = res.H, w1 = A.W, w2 = res.W; long[][] C = res.M, a = A.M, b = B.M; for (int r = 0; r < h; r++) for (int i = 0; i < w1; i++) for (int c = 0; c < w2; c++) if ((C[r][c] += a[r][i] * b[i][c] % mod) >= mod) C[r][c] -= mod; return res; } public Matrix Power(long pow) { Debug.Assert(H == W); var A = Clone(); var res = new Matrix(H, W, Mod); for (int i = 0; i < H; i++) res[i, i] = 1; while (pow > 0) { if ((pow & 1) == 1) res = res * A; A = A * A; pow >>= 1; } return res; } // A + A^2 + A^3 + ... + A^pow public void SumPower(long pow, Matrix vec, out long A, out long S) { Debug.Assert(H == W && W == vec.H); Debug.Assert(pow >= H); var M = new Matrix(H * 2, H * 2, Mod); var IO = new Matrix(H * 2, H, Mod); for (int r = 0; r < H; r++) for (int c = 0; c < W; c++) M[r, c] = this[r, c]; for (int i = 0; i < H; i++) M[H + i, i] = M[H + i, H + i] = IO[i, i] = 1; M = M.Power(pow - H + 1) * IO; for (int i = 0; i < H; i++) M[H + i, i] -= 1; M = M * vec; A = M[1, 0]; S = M[H, 0]; for (int i = 0; i < H; i++) S = (S + vec[i, 0]) % Mod; } public Matrix Clone() { var res = new Matrix(H, W, Mod); for (int r = 0; r < H; r++) Array.Copy(M[r], res.M[r], res.W); return res; } public override string ToString() { var s = new StringBuilder(); int L = 2; for (int r = 0; r < H; r++) for (int c = 0; c < W; c++) L = Math.Max(L, this[r, c].ToString().Length); for (int r = 0; r < H; r++) { for (int c = 0; c < W; c++) s.Append(this[r, c].ToString().PadLeft(L + 1, ' ')); s.AppendLine(); } return s.ToString(); } } } class Entry { static void Main() { new Program().Solve(); } } class Reader { private static TextReader reader = Console.In; private static readonly char[] separator = { ' ' }; private static readonly StringSplitOptions op = StringSplitOptions.RemoveEmptyEntries; private static string[] A = new string[0]; private static int i; private static void Init() { A = new string[0]; } public static void Set(TextReader r) { reader = r; Init(); } public static void Set(string file) { reader = new StreamReader(file); Init(); } public static bool HasNext() { return CheckNext(); } public static string String() { return Next(); } public static int Int() { return int.Parse(Next()); } public static long Long() { return long.Parse(Next()); } public static double Double() { return double.Parse(Next()); } public static int[] IntLine() { return Array.ConvertAll(Split(Line()), int.Parse); } public static int[] IntArray(int N) { return Enu.Range(0, N).Select(i => Int()).ToArray(); } public static int[][] IntTable(int H) { return Enu.Range(0, H).Select(i => IntLine()).ToArray(); } public static string[] StringArray(int N) { return Enu.Range(0, N).Select(i => Line()).ToArray(); } public static string Line() { return reader.ReadLine().Trim(); } private static string[] Split(string s) { return s.Split(separator, op); } private static string Next() { CheckNext(); return A[i++]; } private static bool CheckNext() { if (i < A.Length) return true; string line = reader.ReadLine(); if (line == null) return false; if (line == "") return CheckNext(); A = Split(line); i = 0; return true; } }