如何通过长尾关键词优化2Sat问题求解的算法效率?