Statement

Electric engineers at Abiotic AI Corp. are working on a new type of microprocessor, which is based on the AND and OR logic gates, and allows them to \soutsteal licensed intellectual property perform some crucial computations in a highly efficient way. The problem they are trying to solve is the following: N non-negative integers A_0, A_1, …, A_N-1 are placed around a circle in the order they are given. That is, A_0 is adjacent to A_N-1 and A_1, A_1 is adjacent to A_0 and A_2, and so on. They must partition the circle into contiguous non-empty segments. In each segment, they connect the integers to an OR gate which computes the bitwise OR of all integers in that segment. Then, they connect the outputs of these OR gates to a single AND gate, which computes the bitwise AND of its inputs. The result of this computation is called the value of the partition...