机器人
题目背景
![](https://cdn.luogu.com.cn/upload/image_hosting/sub3kd3c.png)
> 画师:白森 さわ(from pixiv),侵删。
题目描述
真寻连清理炸弹都懒得自己使用,于是美波里又发明了一款全自动扫地机器人来清理房间。
真寻的房间由 $n$ 行 $m$ 列的方砖组成,第 $i$ 行第 $j$ 列的方砖上的灰尘数量为 $a_{i,j}$。美波里的机器人每天会从房间的左上角出发,每次随机往右或往下走一步。
若机器人在没有撞墙的情况下走到了右下角,那么它会返回**它经过的所有方砖的灰尘数量的异或和**给美波里;若机器人在走到右下角之前撞了墙,即某一步的目标位置不存在,那么机器人会返回一个错误值 $x$ 并结束移动。
现给出某一天真寻的房间中每一块方砖上的灰尘数量,请你求出机器人返回值的期望值。
形式化地,给定一 $n\times m$ 的矩阵 $a$,第 $i$ 行第 $j$ 列的权值为 $a_{i,j}$,现有一机器人从 $(1,1)$ 出发,每次各有 $\frac{1}{2}$ 的概率从 $(i,j)$ 移动至 $(i,j+1)$ 或 $(i+1,j)$;若机器人移动至 $(n,m)$,则返回**路径点权异或和**;若在移动至 $(n,m)$ 前有任意时刻移动至矩阵外,则返回 $x$;求返回值的期望值。
答案对 $10^9+7$ 取模。
输入输出格式
输入格式
第一行三个整数 $n,m,x$,分别表示方砖行数、列数及错误值;
接下来 $n$ 行,每行 $m$ 个整数,第 $i$ 行第 $j$ 列的整数表示 $a_{i,j}$,描述每一块方砖上的灰尘数量。
输出格式
一行一个整数 $ans$,表示期望值在模 $10^9+7$ 意义下的值。
若对有理数取余有疑惑,请参照 [P2613 【模板】有理数取余](https://www.luogu.com.cn/problem/P2613)。
输入输出样例
输入样例 #1
2 3 5
7 18 4
10 6 3
输出样例 #1
375000011
输入样例 #2
6 5 0
9 4 6 2 3
6 4 4 0 1
2 0 4 3 0
1 5 7 3 4
5 0 2 1 5
6 4 9 8 3
输出样例 #2
99609378
说明
**样例** $\mathbf{1}$ **解释**
若机器人第一步往下走,则:
- 若机器人第二步往下走,则撞墙,返回 $5$,概率为 $\frac{1}{4}$;
- 若机器人第二步往右走,则:
- 若机器人第三步往下走,则撞墙,返回 $5$,概率为 $\frac{1}{8}$;
- 若机器人第三步往右走,则到达右下角,返回 $7\oplus 10\oplus 6\oplus 3=8$,概率为 $\frac{1}{8}$;
若机器人第一步往右走,则:
- 若机器人第二步往下走,则:
- 若机器人第三步往下走,则撞墙,返回 $5$,概率为 $\frac{1}{8}$;
- 若机器人第三步往右走,则到达右下角,返回 $7\oplus 18\oplus 6\oplus 3=16$,概率为 $\frac{1}{8}$;
- 若机器人第二步往右走,则:
- 若机器人第三步往下走,则到达右下角,返回 $7\oplus 18\oplus 4\oplus 3=18$,概率为 $\frac{1}{8}$;
- 若机器人第三步往右走,则撞墙,返回 $5$,概率为 $\frac{1}{8}$;
因此,返回值的期望值为 $\frac{3\times 5+8+16+18}{8}+\frac{5}{4}=\frac{67}{8}$,在模 $10^9+7$ 意义下为 $375000011$。
**数据范围**
对于所有数据,$1\leq n,m\leq 10^3$,$0\leq a_{i,j},x\leq 10^9$。
本题共 $22$ 个测试点,**采用捆绑测试**,子任务及数据点分配如下:
| 子任务编号 | 数据点编号 | 特殊性质 | 分值 |
| :-: | :-: | :-: | :-: |
| $0$ | $1\sim 4$ | $n,m\leq 12$ | $10$ |
| $1$ | $5\sim 8$ | $n,m\leq 20$ | $20$ |
| $2$ | $9\sim 12$ | $a_{i,j}\leq 20$ | $20$ |
| $3$ | $13\sim 16$ | $x=0$ | $20$ |
| $4$ | $17\sim 22$ | 无特殊限制 | $30$ |
**提示**
$\oplus$ 表示异或(bitwise xor),$x_1,x_2,x_3,\cdots,x_n$ 的异或和为 $x_1\oplus x_2\oplus x_3\oplus\cdots \oplus x_n$。