Using the fact that the satisfiability problem is NP Complete, demonstrate that the 3-Dimensional Matching problem is NP Complete.
I am currently in need of clarification of the proof of the above statement as given in the Combinatorial Optimization text by Papadimitriou and Steiglitz. I am a graduate student in mathematics currently finishing my dissertation, and one of my chapters includes a citation and quote of this result, and a clear understanding of it has so far escaped me. In order to minimize the inevitable wall of text, I will summarize the proof as briefly as possible.
The authors reduce SATISFIABILITY to instances of 3-DIMENSIONAL MATCHING as follows: given a Boolean formula $F$ with clauses $C_1, \ldots, C_m$ over literals $x_1, \ldots, x_n,$ the sets $$U=\{x_i^j, \bar{x}_i^j\},i \in [n], j \in [m],$$
$$V=\{a_i^j\}\cup\{v_j\}\cup\{c_i^j\}, $$ and $$W=\{b_i^j\}\cup\{w_j\}\cup\{d_i^j\}, i \in [n-1], j \in [m]$$ are constructed, with $i \in [n]$ for the $a$ and $b$ elements and $i \in [n-1]$ for the $c$ and $d$ elements and $j \in [m]$ as before. I noted that $|U|=|W|=|V|=2mn$ to verify identical cardinality of these three sets.
The triplet set $$T=\{(x_i^j, a_i^j, b_i^j)\} \cup \{(\bar{x}_i^j, a_i^{j+1}, b_i^j)\} \cup \{(\lambda_j, v_j, w_j)\} \cup \{(\lambda_k, c_i^j, d_i^j)\}$$ is then constructed, where $i \in [n], j \in [m]$ in the first three sets of this union and $i \in [n-1], j \in [m], k \in [m]$ in the fourth set in this union. It is stated that $\lambda_j$ in the third set in this union are literals in $C_j;$ the $\lambda_k$ in the fourth set in this union are simply identified as literals.
First, we assume that a subset $S \subset T$ exists such that each element of $U,$ $V,$ and $W$ appears in exactly one triplet in $S.$ Because of the definition of $T$ and these constraints on $S,$ we know that at least $mn$ triplets of the first two sets listed in the representation for $T$ appear in $S$; because no pair in $S$ can match elementwise, it follows that exactly $mn$ elements are chosen from these "a,b" triplets, since for each $i,$ exactly one of $x_i^j$ or $\bar{x}_i^j$ are present in triplets of $S$ for all $j$ (supposing not, the construction of $T$ forces a match in the $a$ position or the $b$ position). The proof declares $x_i$ to be false if $x_i$ is chosen, and if $\bar{x}_i$ is instead chosen then $x_i$ is true (so that $\bar{x}_i$ is false).
The proof goes on to explain that the third and fourth set in the union definition of $T$ must therefore comprise the remaining $mn$ elements to be selected for $S.$ Since all $m$ elements of the third set comprise exactly one literal $\lambda_j$ in each clause $C_j,$ and since the first $mn$ choices from the first two sets in the union for $T$ were all assumed false, then, since $\lambda_j$ cannot match the $x_i^j$ or $\bar{x}_i^j$ as selected for the $a,b$ triplets in the position $i$ to which $\lambda_j$ corresponds, then $\lambda_j$ must be a true literal in the clause $j.$ Since such a selection exists for all $m$ clauses, the third set of $T$ (which, again, must be included in $S$) represents a truth setting that satisfies $F.$ The fourth set is labeled as a "garbage set" that picks up the rest of the literals.
The other direction, assuming that a given $F$ is satisfiable, is easy: make the same construction as above and simply select the $\lambda_j$ to correspond to the truth setting that satisfies $F,$ set the $a, b$ triplets opposite these settings in these positions, and you've constructed a $T$ that has a perfect matching subset $S$ following the above rubric. This direction is direct and is not the point of concern, nor is there any concern with showing the problem is in NP.
What my advisor finds troublesome is the first direction. His challenge is that if we happen to construct a $T$ that does not have a perfect matching subset $S$ as given above, he cannot see how we can conclude that $F$ is not satisfiable; the third subset in the union for $T$ may just happen to be a truth setting that doesn't work for $F,$ and we do not know from this fact whether or not some other formulation of $T$ exists with a "truth setting" subset that actually satisfies $F.$ I am not aware how to answer his challenge to this proof; I have attempted to explain that the rubric for proving NP-Completeness allows us to assume that the $T$ we constructed has a perfect matching subset $S,$ but he continues to answer that if we did not have such a subset for the $T$ we constructed, we would not know for sure whether $F$ is unsatisfiable or not. In short, he believes that a "no" answer for 3-Dimensional-Matching must imply a "no" answer for the transferred satisfiability problem. Is that something that must be demonstrated in proofs of NP-Completeness?
The other question I had is one of my own. For our selection of the first $mn$ elements for the matching subset $S,$ the proof explains that, for each $i,$ we freely select exactly one of $x_i$ or $\bar{x}_i$ for every $j,$ but not both, and furthermore we can freely declare these $n$ selections all false. I do not see how we are "free" to make such selections - for example, if $F$ happens to be, in every clause, exactly what we selected for these first $mn$ "false" elements, then the $m$ elements from the third set of $T$ that are supposed to be the truth setting variables cannot possibly correspond to the literals in any of the $m$ clauses, but we can construct $S$ nonetheless. I suppose I am getting confused with what the author of this proof meant by "choosing" exactly one of $x_i$ or $\bar{x}_i$ for every $j,$ but I can't identify the point where my understanding breaks down.
Any help clarifying these questions would be deeply appreciated!