Abstract:By the MAXSAT problem, we are given a set $V$ of $m$ variables and a collection $C$ of $n$ clauses over $V$, i.e., a conjunctive normal form ($\textit{CNF}$) formula. We will seek a truth assignment to maximize the number of satisfied clauses in $C$. This problem is $\textit{NP}$-complete even for its restricted version, the 2-maxsat problem, by which every clause contains at most 2 literals. In this paper, we discuss an efficient algorithm to solve this problem. Its main idea is to transform the 2-maxsat problem into a related problem of maximizing satisfied conjunctions in a disjunctive normal form ($\textit{DNF}$) formula $D$. We then represent all those truth assignments for a conjunction $d$ as a graph (called a $p$*-graph), under each of which $d$ evaluates to $\textit{true}$, and organize all the $p$*-graphs for the conjunctions in $D$ into a trie-like structure. By exploring the structure and recursively its substructures (with each corresponding to a subgraph dynamically built up by integrating some $p$*-subgraphs), the algorithm can find a maximum set of satisfied conjunctions in $D$ in polynomial time. Its worst-case time complexity is bounded by O($n^2m^4$). This provides in fact a proof of $P$ = $\textit{NP}$.
Submission history
From: Yangjun Chen [view email]
[v1]
Tue, 25 Apr 2023 02:13:01 UTC (986 KB)
[v2]
Sun, 30 Apr 2023 20:41:29 UTC (984 KB)
[v3]
Tue, 2 May 2023 14:29:39 UTC (984 KB)
[v4]
Wed, 3 May 2023 01:59:24 UTC (984 KB)
[v5]
Sun, 7 May 2023 02:11:01 UTC (984 KB)
[v6]
Sun, 21 May 2023 04:03:40 UTC (985 KB)
[v7]
Sun, 28 May 2023 00:12:33 UTC (985 KB)
[v8]
Mon, 5 Jun 2023 21:44:14 UTC (744 KB)
[v9]
Mon, 12 Jun 2023 14:23:09 UTC (750 KB)
[v10]
Wed, 21 Jun 2023 18:46:33 UTC (1,053 KB)
[v11]
Mon, 26 Jun 2023 17:29:21 UTC (1,080 KB)
[v12]
Sat, 1 Jul 2023 13:48:17 UTC (1,120 KB)
[v13]
Mon, 10 Jul 2023 00:17:52 UTC (1,106 KB)
[v14]
Sun, 16 Jul 2023 22:43:43 UTC (1,111 KB)
[v15]
Tue, 8 Aug 2023 15:34:06 UTC (1,121 KB)
[v16]
Tue, 15 Aug 2023 13:37:43 UTC (1,123 KB)
[v17]
Mon, 29 Apr 2024 19:48:12 UTC (746 KB)
[v18]
Thu, 16 May 2024 21:12:47 UTC (1 KB) (withdrawn)
[v19]
Wed, 22 May 2024 18:37:39 UTC (958 KB)
[v20]
Sun, 5 Jan 2025 22:39:58 UTC (959 KB)
[v21]
Sat, 17 May 2025 04:23:46 UTC (512 KB)
[v22]
Sat, 2 Aug 2025 23:12:17 UTC (407 KB)