Symmetric Numerical Three-Dimensional Matching: Intractability and Inapproximability
Symmetric Numerical Three-Dimensional Matching (SN3DM) asks whether three disjoint labeled classes with identical weight multisets can be partitioned into class-transversal triples of one common target sum. Its theme is role recovery under marginal symmetry: identical numerical catalogues force the asymmetric source roles to be reconstructed from incidence structure alone. This tutorial develops three complementary hardness results for that symmetry restriction. Part I gives a unary-polynomial reduction from N3DM. Source roles become ports in one common occurrence set, a uniquely forced filler system reserves one main incidence per port, bipartite edge coloring restores the output-class labels, and a no-carry mixed-radix encoding packs four coordinates into positive integers. Hence SN3DM is strongly NP-complete. Part II studies Max-SN3DM, for which strong NP-hardness alone does not exclude a PTAS. Two numerical compilers lift Petrank's perfect-completeness gap for bounded 3DM to unary Max-N3DM, and a defect-stability lemma shows that a symmetric matching of size 13n - d yields a source matching of size at least n - 21d, where n is the multiset cardinality, and d is a symmetric defect. Hence, for some epsilon>0, it is NP-hard to separate perfect instances from those of optimum at most (1- epsilon) times perfect, so no PTAS exists unless P = NP. Every maximal legal triple matching is a 3-approximation, placing the problem in APX. Part III supplies the approximation-preserving reduction Part II does not claim. An exact pair compiler and a one-live-port separation map degree-three Maximum 3DM to unary Max-SN3DM with OPT(Max-SN3DM) = Gamma + OPT(Max-3DM) for a fixed offset Gamma and one-for-one optimum-error transfer. The L-reduction has constants alpha = 764 and beta = 1, so Max-SN3DM is APX-complete. The two are incomparable; worked yes / no instances audit each construction.