TAOCP 7.2.2.2 Exercise 357

Solution to TAOCP 7.2.2.2 Exercise 357.

taocpmathematicsalgorithmsvolume-4math-medium

Section 7.2.2.2: Satisfiability

Exercise 357. ▶ [M20] Let $x = \pi_0$ and $y = \pi_s$ in (155), and suppose the field of variable $v$ is $(p, q)$. Express $x$ and $y$ as functions of $p$, $q$, and $r$.

Verified: no
Solve time: 8m40s