Codeforces Round #630 (Div. 2) D Walk on Matrix 【1332D】

Walk on Matrix

题意

有一个迷宫，要从左上角可以走到右下角。每次走到一个格子，都可以得到当前的分数&当前格子数字之后的分数。初始拿着的分数是：左上角的格子的数。要求到最终能得到的分数最大值是多少。
有一位参赛者写了一个这样的dp

dp[i][j] = 0; //all i j
dp[0][1] = a[1][1];
for i = 1->n
   for j = 1->m
      dp[i][j] = max(dp[i-1][j]&a[i][j],dp[i][j-1]&a[i][j]);

很快参赛者发现了他的dp是有问题的，现在让你构造一个迷宫，使得该代码dp的输出和最优输出相差k.

$1\le n,m\le 500,0\le a_{i,j}\le 3\cdot 10^5$

给定k，要求输出n,m以及对应的完整矩阵

思路

上面的dp代码不正确,是因为dp为了得到当前的最大值而舍弃了可能让结果更大的最小值.

我们尝试构造一种矩阵,让最优结果是k,而该算法的输出是0.

想要&出一个0,有两种办法:

1. 0&任何数都为0
2. 与一个远大于自身的偶数相&得0

思路就是让n和k在&的时候互相不干扰
此时有:

1. (n+k)&n = n
2. (n+k)&k = k

那么我们可以构造如下矩阵

一个很大的偶数$n=2^{17}$

n+k	n	0
k	n+k	k

这样就能保证最优结果是k,而该算法的输出是0.

代码

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>

using namespace std;


int main()
{
    int k;
    cin >> k;
    int n = 1<<17;
    cout << 2 << " " << 3 << endl;
    //下面两行都可以
    cout << n+k << " " << n << " " << n+k << endl;
    //cout << n+k << " " << n << " " << 0 << endl;
    cout << k << " " << n+k << " " << k << endl;
    return 0;
}