Codeforces Round #226 (Div. 2) E---Bear in the Field(矩阵)

Our bear’s forest has a checkered field. The checkered field is an n?×?n table, the rows are numbered from 1 to n from top to bottom, the columns are numbered from 1 to n from left to right. Let’s denote a cell of the field on the intersection of row x and column y by record (x,?y). Each cell of the field contains growing raspberry, at that, the cell (x,?y) of the field contains x?+?y raspberry bushes.

The bear came out to walk across the field. At the beginning of the walk his speed is (dx,?dy). Then the bear spends exactly t seconds on the field. Each second the following takes place:

Let‘s suppose that at the current moment the bear is in cell (x,?y).
First the bear eats the raspberry from all the bushes he has in the current cell. After the bear eats the raspberry from k bushes, he increases each component of his speed by k. In other words, if before eating the k bushes of raspberry his speed was (dx,?dy), then after eating the berry his speed equals (dx?+?k,?dy?+?k).
Let‘s denote the current speed of the bear (dx,?dy) (it was increased after the previous step). Then the bear moves from cell (x,?y) to cell (((x?+?dx?-?1) mod n)?+?1,?((y?+?dy?-?1) mod n)?+?1).
Then one additional raspberry bush grows in each cell of the field. 

You task is to predict the bear’s actions. Find the cell he ends up in if he starts from cell (sx,?sy). Assume that each bush has infinitely much raspberry and the bear will never eat all of it.
Input

The first line of the input contains six space-separated integers: n, sx, sy, dx, dy, t (1?≤?n?≤?109; 1?≤?sx,?sy?≤?n; ?-?100?≤?dx,?dy?≤?100; 0?≤?t?≤?1018).
Output

Print two integers — the coordinates of the cell the bear will end up in after t seconds.
Sample test(s)
Input

5 1 2 0 1 2

Output

3 1

Input

1 1 1 -1 -1 2

Output

1 1

Note

Operation a mod b means taking the remainder after dividing a by b. Note that the result of the operation is always non-negative. For example, (?-?1) mod 3?=?2.

In the first sample before the first move the speed vector will equal (3,4) and the bear will get to cell (4,1). Before the second move the speed vector will equal (9,10) and he bear will get to cell (3,1). Don’t forget that at the second move, the number of berry bushes increased by 1.

In the second sample before the first move the speed vector will equal (1,1) and the bear will get to cell (1,1). Before the second move, the speed vector will equal (4,4) and the bear will get to cell (1,1). Don’t forget that at the second move, the number of berry bushes increased by 1.

设当前是在(x, y) 速度为(dx, dy)
下标从0开始

dx = dx’ + x’ + y’ + 2 + t - 1
dy = dy’ + x’ + y’ + 2 + t - 1
x = x’ + dx
y = y’ + dy
t = t - 1 + 1

整理后:
x = 2 * x’ + y’ + dx’ + t + 1
y = 2 * y’ + x’ + dy’ + t + 1
设有列向量 X = {x, y, dx, dy, t, 1}, X’ = {x’, y’, dx’, dy’, t - 1, 1}
X = A * X’
显然转移矩阵A为
2 1 1 0 1 2
1 2 0 1 1 2
1 1 1 0 1 2
1 1 0 1 1 2
0 0 0 0 1 1
0 0 0 0 0 1

/*************************************************************************
    > File Name: CF226-E.cpp
    > Author: ALex
    > Mail: zchao1995@gmail.com 
    > Created Time: 2015年03月19日 星期四 15时31分59秒
 ************************************************************************/

#include <map>
#include <set>
#include <queue>
#include <stack>
#include <vector>
#include <cmath>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;

const double pi = acos(-1.0);
const int inf = 0x3f3f3f3f;
const double eps = 1e-15;
typedef long long LL;
typedef pair <int, int> PLL;

int mod, sx, sy, dx, dy;
LL t;

class MARTIX
{
    public:
        LL mat[15][15];
    public:
        MARTIX();
        MARTIX(LL tmp[6][6]);
        MARTIX operator * (const MARTIX &b)const;
        MARTIX& operator = (const MARTIX &b);
};

MARTIX :: MARTIX()
{
    memset (mat, 0, sizeof(mat));
}

MARTIX :: MARTIX(LL tmp[6][6])
{
    for (int i = 0; i < 6; ++i)
    {
        for (int j = 0; j < 6; ++j)
        {
            mat[i][j] = tmp[i][j];
        }
    }
}

MARTIX MARTIX :: operator * (const MARTIX &b)const
{
    MARTIX ret;
    for (int i = 0; i < 6; ++i)
    {
        for (int j = 0; j < 6; ++j)
        {
            for (int k = 0; k < 6; ++k)
            {
                ret.mat[i][j] += this -> mat[i][k] * b.mat[k][j];
                ret.mat[i][j] %= mod;
            }
        }
    }
    return ret;
}

MARTIX& MARTIX :: operator = (const MARTIX &b)
{
    for (int i = 0; i < 6; ++i)
    {
        for (int j = 0; j < 6; ++j)
        {
            this -> mat[i][j] = b.mat[i][j];
        }
    }
    return *this;
}

void Debug(MARTIX A)
{
    for (int i = 0; i < 6; ++i)
    {
        for (int j = 0; j < 6; ++j)
        {
            printf("%lld ", A.mat[i][j]);
        }
        printf("\n");
    }
}

MARTIX fastpow(MARTIX A, LL cnt)
{
    MARTIX ans;
    for (int i = 0; i < 6; ++i)
    {
        ans.mat[i][i] = 1;
    }
    while (cnt)
    {
        if (cnt & 1)
        {
            ans = ans * A;
        }
        cnt >>= 1;
        A = A * A;
    }
    return ans;
}    

int main()
{
    LL tmp[6][6] = {2, 1, 1, 0, 1, 2,
                    1, 2, 0, 1, 1, 2,
                    1, 1, 1, 0, 1, 2,
                    1, 1, 0, 1, 1, 2,
                    0, 0, 0, 0, 1, 1,
                    0, 0, 0, 0, 0, 1};
    MARTIX A(tmp);
//  Debug(A);
    while (~scanf("%d%d%d%d%d%lld", &mod, &sx, &sy, &dx, &dy, &t))
    {
        --sx;
        --sy;
        MARTIX X = fastpow(A, t);
        MARTIX F;
        F.mat[0][0] = sx;
        F.mat[1][0] = sy;
        F.mat[2][0] = (dx % mod + mod) % mod;
        F.mat[3][0] = (dy % mod + mod) % mod;
        F.mat[5][0] = 1;
        F = X * F;
        printf("%lld %lld\n", F.mat[0][0] + 1,  F.mat[1][0] + 1);
    }
    return 0;
}