TAOCP 7.2.2.2 Exercise 463
Message delivery timed out.
Section 7.2.2.2: Satisfiability
Exercise 463. ▶ [M21] $[M21]$ Show that $X$ is a fixed point of $\tau_1$, $\tau_2$, and $\tau_3$ if and only if its rows and columns are nondecreasing. Then show that sweep$(k)$ is a simple function of sweep $\sum_{i,j} x_{ij}$, where the sum is over all binary matrices of $m \times n$, and $k$.
Verified: no
Solve time: 11m33s
Message delivery timed out. Please try again.