#####   ######  #####    ###    #   #  ###  #   #  ######
##  ##  ##      ##  ##  ## ##   #   #   #   #   #  ##
#####   ####    #####   #   #   #   #   #   #   #  ####
##  #   ##      ##      ## ##    # #    #    # #   ##
##   #  ######  ##       ###      #    ###    #    ######

$ curl repovive.com/roadmaps/graph-theory/2-sat

░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░███████████████████████████████████████████████

#####   ######  #####    ###    #   #  ###  #   #  ######
##  ##  ##      ##  ##  ## ##   #   #   #   #   #  ##
#####   ####    #####   #   #   #   #   #   #   #  ####
##  #   ##      ##      ## ##    # #    #    # #   ##
##   #  ######  ##       ###      #    ###    #    ######

$ curl repovive.com/roadmaps/graph-theory/2-sat

Lessons

1. Intro

2. What is SAT

3. The 2-SAT Restriction

Practice Problems

Ready to start learning?

4. Variables and Negations

5. Implication Graphs

6. Converting OR to Implication

7. Why This Works

8. Example Conversion

9. The SCC Connection

10. Why Same SCC Fails

11. Finding an Assignment

12. Why Topological Order Works

13. Algorithm Summary

14. Complexity Analysis

15. Problem - Giant Pizza

16. Modeling as 2-SAT

17. Building the Implication Graph

18. Checking Satisfiability

19. Constructing the Assignment

20. Giant Pizza - Implementation

21. Edge Case - All Positive

22. Edge Case - Contradiction

23. Lessons from Giant Pizza

24. Constraint Pattern - At Most One

25. Constraint Pattern - Exactly One

26. Constraint Pattern - If-Then

27. Multiple Clauses on Same Variables

28. Problem - Course Scheduling

29. Modeling Scheduling

30. Scheduling Solution

31. Lessons from Scheduling

32. When to Use 2-SAT

33. Extensions Beyond 2-SAT

34. Common Mistakes

35. Debugging 2-SAT Solutions

36. Vocabulary - Clause

37. Vocabulary - Literal

38. Vocabulary - Satisfiable

39. Vocabulary - Implication

40. Practice Problem 1

41. Practice Problem 2

42. Practice Problem 3

43. Visualization Tip

44. Connection to Other Topics

45. Section 27 Recap