結果

問題 No.426 往復漸化式
ユーザー りあん
提出日時 2016-09-22 15:40:53
言語 C#
(csc 2.3.1.61919)
結果
AC  
実行時間 1,555 ms
コード長 8,564 Byte
コンパイル時間 687 ms
使用メモリ 188,912 KB
最終ジャッジ日時 2018-03-13 07:48:50

テストケース

テストケース表示
入力 結果 実行時間
使用メモリ
00_sample1.txt AC 29 ms
9,060 KB
10_small1.txt AC 33 ms
9,948 KB
10_small2.txt AC 33 ms
9,952 KB
20_medium1.txt AC 67 ms
14,596 KB
20_medium2.txt AC 66 ms
14,220 KB
30_large1.txt AC 317 ms
39,128 KB
30_large2.txt AC 318 ms
38,800 KB
40_max1.txt AC 960 ms
163,436 KB
40_max2.txt AC 951 ms
164,016 KB
50_true_max1.txt AC 1,364 ms
187,992 KB
50_true_max2.txt AC 1,384 ms
188,488 KB
80_handmadeX1.txt AC 997 ms
146,284 KB
80_handmadeX2.txt AC 1,281 ms
146,720 KB
80_handmadeX3.txt AC 1,555 ms
188,184 KB
80_handmadeX4.txt AC 1,255 ms
146,848 KB
90_handmadeY1.txt AC 1,049 ms
145,856 KB
90_handmadeY2.txt AC 1,435 ms
145,944 KB
90_handmadeY3.txt AC 1,446 ms
145,960 KB
90_handmadeY4.txt AC 1,417 ms
145,912 KB
99_handmadeZ1.txt AC 869 ms
146,040 KB
99_handmadeZ2.txt AC 1,078 ms
146,436 KB
99_handmadeZ3.txt AC 1,481 ms
188,912 KB
99_handmadeZ4.txt AC 1,061 ms
146,416 KB
テストケース一括ダウンロード

ソースコード

diff #
using System;
using System.Collections.Generic;
using System.Linq;
using System.IO;

class Program
{
    struct Nod { public long[][] A, B, S; }
    static Nod init()
    {
        var mt = new mymath();
        var ret = new Nod();
        ret.A = mt.E(3);
        ret.B = mt.E(2);
        ret.S = new long[2][];
        for (int i = 0; i < 2; i++)
            ret.S[i] = new long[3];

        return ret;
    }
    static Nod init(int i)
    {
        var ret = init();
        for (int j = 0; j < 2; j++)
            for (int k = 0; k < 3; k++)
                ret.S[j][k] = i * 6 + j * 3 + k;

        return ret;
    }

    static void Main()
    {
        var sc = new Scan();
        var mt = new mymath();
        int n = sc.Int;
        var sgA = new Segtree<long[][]>(n + 2, (x, y) => mt.mulmat(y, x), mt.E(3));
        var sgB = new Segtree<long[][]>(n + 2, (x, y) => mt.mulmat(x, y), mt.E(2));
        var sgP = new Segtree<Nod>(n + 2,
        (x, y) =>
        {
            Nod ret = new Nod();
            ret.A = mt.mulmat(y.A, x.A);
            ret.B = mt.mulmat(x.B, y.B);
            ret.S = mt.addmat(mt.mulmat(x.B, mt.mulmat(y.S, x.A)), x.S);
            return ret;
        }, init());

        for (int i = 0; i <= n; i++)
            sgP.assign_without_update(i, init(i));

        sgP.all_update();

        var a = sc.LongArr;
        var b = sc.LongArr;
        int q = sc.Int;
        for (int i = 0; i < q; i++)
        {
            var inp = sc.StrArr;
            int ind = int.Parse(inp[1]);
            Nod nod = sgP.look(ind);
            switch (inp[0])
            {
                case "a":
                    for (int j = 0; j < 3; j++)
                        for (int k = 0; k < 3; k++)
                            nod.A[j][k] = int.Parse(inp[j * 3 + k + 2]);

                    sgA.update(ind, nod.A);
                    sgP.update(ind, nod);
                    break;
                case "b":
                    for (int j = 0; j < 2; j++)
                        for (int k = 0; k < 2; k++)
                            nod.B[j][k] = int.Parse(inp[j * 2 + k + 2]);

                    sgB.update(ind, nod.B);
                    sgP.update(ind, nod);
                    break;
                case "ga":
                    DBG(mt.mulmat(sgA.run(0, ind), a));
                    break;
                case "gb":
                    DBG(mt.addmat(mt.mulmat(sgB.run(ind + 1, n + 1), b), mt.mulmat(sgP.run(ind + 1, n + 1).S, mt.mulmat(sgA.run(0, ind + 1), a))));
                    break;
            }
        }
    }
    static void DBG<T>(params T[] a) { Console.WriteLine(string.Join(" ", a)); }
    static void DBG(params object[] a) { Console.WriteLine(string.Join(" ", a)); }
}
class Scan
{
    public int Int { get { return int.Parse(Str); } }
    public long Long { get { return long.Parse(Str); } }
    public double Double { get { return double.Parse(Str); } }
    public string Str { get { return Console.ReadLine().Trim(); } }
    public int[] IntArr { get { return StrArr.Select(int.Parse).ToArray(); } }
    public long[] LongArr { get { return StrArr.Select(long.Parse).ToArray(); } }
    public double[] DoubleArr { get { return StrArr.Select(double.Parse).ToArray(); } }
    public string[] StrArr { get { return Str.Split(); } }
    T cv<T>(string inp)
    {
        if (typeof(T).Equals(typeof(int)))    return (T)Convert.ChangeType(int.Parse(inp), typeof(T));
        if (typeof(T).Equals(typeof(long)))   return (T)Convert.ChangeType(long.Parse(inp), typeof(T));
        if (typeof(T).Equals(typeof(double))) return (T)Convert.ChangeType(double.Parse(inp), typeof(T));
        if (typeof(T).Equals(typeof(char)))   return (T)Convert.ChangeType(inp[0], typeof(T));
        return (T)Convert.ChangeType(inp, typeof(T));
    }
    public void Multi<T>(out T a) { a = cv<T>(Str); }
    public void Multi<T, U>(out T a, out U b)
    { var ar = StrArr; a = cv<T>(ar[0]); b = cv<U>(ar[1]); }
    public void Multi<T, U, V>(out T a, out U b, out V c)
    { var ar = StrArr; a = cv<T>(ar[0]); b = cv<U>(ar[1]); c = cv<V>(ar[2]); }
    public void Multi<T, U, V, W>(out T a, out U b, out V c, out W d)
    { var ar = StrArr; a = cv<T>(ar[0]); b = cv<U>(ar[1]); c = cv<V>(ar[2]); d = cv<W>(ar[3]); }
    public void Multi<T, U, V, W, X>(out T a, out U b, out V c, out W d, out X e)
    { var ar = StrArr; a = cv<T>(ar[0]); b = cv<U>(ar[1]); c = cv<V>(ar[2]); d = cv<W>(ar[3]); e = cv<X>(ar[4]); }
}
class mymath
{
    static int Mod = 1000000007;
    public void setMod(int m) { Mod = m; }
    public bool isprime(long a)
    {
        if (a < 2) return false;
        for (long i = 2; i * i <= a; i++) if (a % i == 0) return false;
        return true;
    }
    public bool[] sieve(int n)
    {
        var isp = new bool[n + 1];
        for (int i = 2; i <= n; i++) isp[i] = true;
        for (int i = 2; i * i <= n; i++) if (isp[i]) for (int j = i * i; j <= n; j += i) isp[j] = false;
        return isp;
    }
    public List<int> getprimes(int n)
    {
        var prs = new List<int>();
        var isp = sieve(n);
        for (int i = 2; i <= n; i++) if (isp[i]) prs.Add(i);
        return prs;
    }
    public long[][] E(int n)
    {
        var ret = new long[n][];
        for (int i = 0; i < n; i++)
        {
            ret[i] = new long[n];
            ret[i][i] = 1;
        }
        return ret;
    }
    public long[][] powmat(long[][] A, long n)
    {
        if (n == 0) return E(A.Length);
        var t = powmat(A, n / 2);
        if ((n & 1) == 0) return mulmat(t, t);
        return mulmat(mulmat(t, t), A);
    }
    public long[] mulmat(long[][] A, long[] x)
    {
        int n = A.Length, m = x.Length;
        var ans = new long[n];
        for (int i = 0; i < n; i++) for (int j = 0; j < m; j++) ans[i] = (ans[i] + x[j] * A[i][j]) % Mod;
        return ans;
    }
    public long[][] mulmat(long[][] A, long[][] B)
    {
        int n = A.Length, m = B[0].Length, l = B.Length;
        var ans = new long[n][];
        for (int i = 0; i < n; i++)
        {
            ans[i] = new long[m];
            for (int j = 0; j < m; j++) for (int k = 0; k < l; k++) ans[i][j] = (ans[i][j] + A[i][k] * B[k][j]) % Mod;
        }
        return ans;
    }
    public long[][] addmat(long[][] A, long[][] B)
    {
        int n = A.Length, m = A[0].Length;
        var ans = new long[n][];
        for (int i = 0; i < n; i++)
        {
            ans[i] = new long[m];
            for (int j = 0; j < m; j++) ans[i][j] = (A[i][j] + B[i][j]) % Mod;
        }
        return ans;
    }
    public long[] addmat(long[] x, long[] y)
    {
        int n = x.Length;
        var ans = new long[n];
        for (int i = 0; i < n; i++) ans[i] = (x[i] + y[i]) % Mod;
        return ans;
    }
    public long powmod(long a, long b)
    {
        if (a >= Mod) return powmod(a % Mod, b);
        if (a == 0) return 0;
        if (b == 0) return 1;
        var t = powmod(a, b / 2);
        if ((b & 1) == 0) return t * t % Mod;
        return t * t % Mod * a % Mod;
    }
    public long gcd(long a, long b)
    {
        while (b > 0) { var t = a % b; a = b; b = t; }
        return a;
    }
    public long lcm(long a, long b) { return a * (b / gcd(a, b)); }
}
class Segtree<T>
{
    int n;
    T[] tree;
    Func<T, T, T> f;
    T exnum;
    public Segtree(int m, Func<T, T, T> f, T ex)
    {
        this.f = f;
        this.exnum = ex;
        n = 1;
        while (n < m) n <<= 1;

        tree = new T[(n << 1) - 1];
        for (int i = 0; i < tree.Length; i++) tree[i] = ex;
    }
    public Segtree(int m, T ini, Func<T, T, T> f, T ex) : this(m, f, ex)
    {
        for (int i = 0; i < m; ++i) tree[i + n - 1] = ini;
        all_update();
    }
    public void assign_without_update(int j, T x) { tree[j + n - 1] = x; }
    public void update(int j, T x)
    {
        int i = j + n - 1;
        tree[i] = x;
        while (i > 0)
        {
            i = (i - 1) >> 1;
            tree[i] = f(tree[(i << 1) + 1], tree[(i << 1) + 2]);
        }
    }
    public void all_update()
    {
        for (int i = n - 2; i >= 0; i--) tree[i] = f(tree[(i << 1) + 1], tree[(i << 1) + 2]);
    }
    public T look(int i) { return tree[i + n - 1]; }

    // [s, t)
    public T run(int s, int t) { return query(s, t, 0, 0, n); }
    T query(int s, int t, int k, int l, int r)
    {
        if (r <= s || t <= l) return exnum;
        if (s <= l && r <= t) return tree[k];

        return f(query(s, t, (k << 1) + 1, l, (l + r) >> 1), query(s, t, (k + 1) << 1, (l + r) >> 1, r));
    }
}
0