Manuscript II-B@1 · II-B-v1.tex · section · bfd2eb3c

Contact class and three-clause completeness

Complete contacts and the exact three-row certificate › Contact class and three-clause completeness · lines 808–817

The response map $R : V \to R^{X}$ need not be injective. Its image is

C = span_{R} {n_{I, P}} .

Action equivalence and equality in the response quotient $R^{X} / C$ are different notions.

Displayed formulas in this passage