Skip to content

Instantly share code, notes, and snippets.

View gegen07's full-sized avatar

Germano Barcelos gegen07

View GitHub Profile
@gegen07
gegen07 / np-completeness-reduce-3sat-to-3dm.md
Last active June 15, 2023 22:33 — forked from rcyeh/np-completeness-reduce-3sat-to-3dm.md
Reducing 3-SAT to 3-dimensional matching

Watched Eric Demaine's lecture and initially did not understand the reduction from 3-SAT to 3-dimensional matching.

  1. Complexity: P, NP, NP-completeness, Reductions https://youtu.be/eHZifpgyH_4?t=2786

Goal

To reduce 3-SAT to 3DM, we need to show how to express every 3-SAT problem as a 3DM problem. If 3DM has a solution, then that solution can be applied to solve any 3-SAT problem.