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

题意

给你一个 $k$，让你构造一个矩阵 $n*m，(n,m<=500)$，
方式一 $dp[i][j] = max(dp[i-1][j]$ & $dp[i][j], dp[i][j-1]$ & $dp[i][j])$。 $(1,1)-->(1,n)的最大值，即dp[n][n]$
方式二，找一条路(1,1)–>(1,n)的最大值(路上的值&起来)
方式二 减 方式一 = k
构造出这样的矩阵

思路

这样dp为什么比实际最优要小。
举个栗子：
7 3 0
4 7 3
$dp[2][2] = 4$然后转移到 $dp[2][3]$的时候， $dp[2][3] = 0$
但实际上是有一条从 $(1,1)-->(1,2)-->(2,2)-->(2,3)$等于3。

然后我们就以这种方式来构造，矩阵大小就是2*3,然后 $(1,1) 和 (2,2)$位置上的数的二进制表示都是1(11111 $_{(2)}$),(1,3)位置为0，保证(3,3)只从(2,2)更新过来，而 $(1,1) 和 (2,2)$这么取值的作用就是不改变(1,2和(2,1)的值。
这样的一个矩阵，dp求的值是a&b,但是实际答案是b(与例子一样), 很显然a比b大，然后我们又要让 b - a&b = k; 可以使a&b = 0,b = k，就构造出解，a的取值要比k大，且k二进制位上有1的a不能有.

code

#pragma GCC optimize(2)
#include<bits/stdc++.h>
using namespace std;
const int man = 2e5+10;
#define IOS ios::sync_with_stdio(0)
template <typename T>
inline T read(){T sum=0,fl=1;int ch=getchar();
for(;!isdigit(ch);ch=getchar())if(ch=='-')fl=-1;
for(;isdigit(ch);ch=getchar())sum=sum*10+ch-'0';
return sum*fl;}
template <typename T>
inline void write(T x) {static int sta[35];int top=0;
do{sta[top++]= x % 10, x /= 10;}while(x);
while (top) putchar(sta[--top] + 48);}
template<typename T>T gcd(T a, T b) {return b==0?a:gcd(b, a%b);}
template<typename T>T exgcd(T a,T b,T &g,T &x,T &y){if(!b){g = a,x = 1,y = 0;}
else {exgcd(b,a%b,g,y,x);y -= x*(a/b);}}
#ifndef ONLINE_JUDGE
#define debug(fmt, ...) {printf("debug ");printf(fmt,##__VA_ARGS__);puts("");}
#else
#define debug(fmt, ...)
#endif
typedef long long ll;
const ll mod = 1e9+7;

int main() {
    #ifndef ONLINE_JUDGE
        //freopen("in.txt", "r", stdin);
        //freopen("out.txt","w",stdout);
    #endif
    int k;
    cin >> k;
    cout << 2 << " " << 3 << endl;
    cout << ((1ll<<18)-1) << " " << k << " " << 0 << endl;
    cout << (1ll<<17) << " " << ((1ll<<18)-1) << " " << k << endl;
    return 0;
}