Link to current text
CMP.1:3 - Forces
| Force | Tension |
|---|
| Reusing a solver and preserving the question | The solver may answer a translated problem while the original output or a negative case remains unresolved. |
| Mathematical definition and effective construction | A conversion can be well defined while computing it requires the answer being sought. |
| Computability and resource use | An effective reduction can create instances too large for the intended budget. |
| General limit and restricted use | A universal impossibility can coexist with algorithms for a narrower input class or a weaker answer. |