Cat, Fox and the Lonely Array
对于或运算来说,就可以考虑两个\(1\)之间的东西(与运算就考虑两个\(0\)之间的东西)
另外这道题目也可以二分(我赛时想到了二分的,但是没有证明出来单调性所以不敢写,以后证明不出来,直接造数据写暴力就可以一眼丁真了)
证:假设\(k\)行,设\(a_1|a_2|...|a_{k}=m\),则对于\(m\)为\(0\)的位,任意\(a\)在这个位上也为\(0\),于是将\(k\)变成\(k+1\)的时候,\(m\)一定不会变化,所以仍然满足,具有单调性