我一直在研究减少量，并看到了这个练习，但是无法解决。谁能给我一些正确方向的提示？ 减少来自并非全部相等的3SAT，其中语言是= {：T是n个布尔变量x1，x2，...上的一组三元组T1，T2，T3...。 。 。 ，xn使得∃b1，b2，b3，... 这样每个三元组Ti都有一个真假的文字}
和SplittingSet是语言：{：S是一个集合。 M是S的子集的集合，其中将S分为两个子集S1和S2，从而可以 M中没有一个完全包含在S1或S2中的子集。}
我不明白我应该如何解决这个问题。我知道一般如何从一个问题减少到另一个问题，但是这个问题真的让我受益匪浅！