这是一种新颖的算法，可以在O(n)中解决SAT问题。该方法如下：首先，将任何SAT实例（例如，3-SAT）减少为2-SAT，然后使用Tarjan算法解决它。解析通过二分搜索进行。减少过程正确完成。
Share your take
Add a clinician perspective alongside expert commentary.
הוה等（周五）研究了这个问题。