Each box in a codesign problem has a list of preorders on the LHS and another list on the right.
The box represents a feasibility relation: \(Load \times Velocity \nrightarrow Torque \times Speed \times \$\)
Consider the feasibility relation
\(T:=\boxed{mean\rightarrow nice}\)
\(E:=\boxed{boring\rightarrow funny}\)
\(Money:=\boxed{100 K\rightarrow 500 K \rightarrow 1M}\)
A possible feasibility relation is here:
This says, e.g., a nice but boring movie costs $500,000 to produce.
We can infer that we can also make a mean/boring movie with what we can produce nice/boring movie.
The node \((nice,funny)\) has no arrow from it in Example 4.18a. What does this mean?
It is not feasible, for any amount of money listed, to produce a nice and funny movie.