Global Dependence, Reductions, and Semantic Fragmentation in NP-Complete Problems | Synapse