Hiring process8 levels
  1. 1 IQ Test
  2. 2 Additional Online Test (If Required)
  3. 3 Office Interview with Hiring Manager
  4. 4 Unpaid Test Task (Motivation Check)
  5. 5 Paid Test Task and Follow-Up Interview
  6. 6 Iterative Paid Test Tasks
  7. 7 Office Verification
  8. 8 Final Interview with the Founder

Problems > Two Choices Each > Editorial

Two Choices Each — Solution & Editorial

Back to the Problem

2-SAT: build the implication graph (¬a → b and ¬b → a per clause); the formula is satisfiable iff no variable shares an SCC with its own negation.

Complexity: O(N + M)

Watch out: Each clause contributes TWO implications; forgetting the symmetric one silently accepts unsatisfiable formulas.