By the MAXSAT problem, we are given a set $V$ of $m$ variables and a collection $C$ of $n$ clauses over $V$. We will seek a truth assignment to maximize the number of satisfied clauses. This problem is $\textit{NP}$-hard even for its restricted version, the 2-MAXSAT problem by which every clause contains at most 2 literals. In this paper, we discuss a polynomial time algorithm to solve this problem. Its time complexity is bounded by O($n^2m^3$). Hence, we provide a proof of $P$ = $\textit{NP}$.

翻译：在MAXSAT问题中，给定一个包含$m$个变量的集合$V$和一个由$n$个子句组成的集合$C$（每个子句基于变量集$V$），我们需要寻找一个真值赋值以最大化满足的子句数量。该问题即使在限制版本——即每个子句至多包含2个文字的2-MAXSAT问题中，仍然是$\textit{NP}$-难的。本文讨论了一种解决该问题的多项式时间算法，其时间复杂度上界为O($n^2m^3$)。由此，我们给出了$P$ = $\textit{NP}$的一个证明。