The Reduction – Step 7 Valid to Valid
{"Image DocumentName": "The Reduction \u2013 Step 7 Valid to Valid", "Image ImageDescription": "All m triangles are split by the cut. Since a triangle is actually a clause of three literals, and every clause is split by the cut, by assigning True to one side of the cut and False to the other side of the cut, we ensure that every clause has at least one True and one False literal. X1. \u00acX1. X2. \u00acX2. This satisfies NAE-3-SAT, so if the cut returned my Max Cut is valid, our solution is valid. X3. \u00acX3.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}