大孩小孩的博客

有 $m$ 个条件，$(l_i, r_i, x_i)$ ，表示 $a[l_i] \& a[l_i + 1] \& \dots \& a[r_i] = x_i$。问有多少种填写长度为 $n$ 的数组 $a$ 的方法，使得满足这 $m$ 个条件且有 $0 \le a_i < 2^k$。