[codeforces 1332D] Walk on Matrix 构造

Codeforces Round #630 (Div. 2)   比赛人数12012

[codeforces 1332D]  Walk on Matrix   构造

总目录详见https://blog.csdn.net/mrcrack/article/details/103564004

在线测评地址https://codeforces.ml/contest/1332/problem/D

Problem	Lang	Verdict	Time	Memory
D - Walk on Matrix	GNU C++11	Accepted	31 ms	0 KB

思路摘自https://www.cnblogs.com/Lanly/p/12611629.html

手工算法如下

n=1,m=1对应矩阵
a

Bob算法
a

最多分数算法
a

差值
a-a=0

n=2,m=2对应矩阵
a b
c d

Bob算法
a  ab
ac max(abd,acd)

最多分数算法
max(abd,acd)

差值
max(abd,acd)-max(abd,acd)=0

n=2,m=3对应矩阵
a b c
d e f

Bob算法
a  ab             abc
ad max(abe,ade)   max(abcf,max(abe,ade)f)

最多分数算法
max(abcf,abef,adef)

差值
max(abcf,abef,adef)-max(abcf,max(abe,ade)f)=k


为了让两种算法差值为k,可以考虑
max(abcf,max(abe,ade)f)=0
max(abcf,abef,adef)=k

忽略abcf的影响,若要让abcf=0,最理想的就是让c=0
考虑
max(abe,ade)f=0
max(abef,adef)=k

考虑abe>ade,但abef<adef
即max(abe,ade)f=abef=0,max(abef,adef)=adef=k

以下4个式子成立
abe>ade
abef<adef
abef=0
adef=k

考虑f=k,b>d,在二进制情况下(若文字说明难以理解，可以看接下来的，寻找极端数据，配合着理解):
b与k位置重叠部分全部为0,比k仅仅多出的一位，即数据最高位为1
d与k位置重叠部分全部为1,b与k数据长度一致
因a,e对结果无影响，故a,e均比k多1位，所有位上数据均为1

寻找极端数据
k=10^5=11000011010100000

k  11000011010100000
d  11111111111111111=2^17-1=131071
b 100000000000000000=2^17=131072
a 111111111111111111=2^18-1=262143
e 111111111111111111=2^18-1=262143
c=0

AC代码如下

#include <stdio.h>
int main(){
	int k;
	scanf("%d",&k);
	printf("2 3\n");
	printf("262143 131072 0\n");
	printf("131071 262143 %d\n",k);
	return 0;
}