摘要：
一个$n\times m$的循环矩阵，每个位置上有一个互不相同的权值。每次会走到右、右上、右下中权值最大的格子。初始在$(1,1)$，$q$次操作，分为两种：从当前位置出发走$k$步，并输出到达的位置；修改某个格子上的权值。 阅读全文
摘要：
一个表达式形如$(!)x_i\rightarrow(!)x_j$，表示$x_i$为真（假）时$x_j$一定为真（假）。给定$n$个$01$变量的三组取值，要求构造若干表达式使得有且仅有这三组解，或判断无法构造。 阅读全文