投稿！@ComeIntoPower

2-SAT学习笔记

本文主要讲了2-SAT问题及其解法说明，这是我第二次投稿这篇文章。

2020.2.16，也就是昨天告诉了我许多语言没有用在讲清楚2-SAT本身的关键上之后，我将整篇文章删掉并再度书写。

历经了昨天以及今天共超过8个小时的写这篇文章，感谢管理员指出了此篇文章的不足，保证这一次的文章大部分是关于如何用Tarjan实现正确的2-SAT问题求解的。