The Community for Technology Leaders
Computer Science and Information Engineering, World Congress on (2009)
Los Angeles, California USA
Mar. 31, 2009 to Apr. 2, 2009
ISBN: 978-0-7695-3507-4
pp: 743-747
A clause set is renamable Horn if the result replacing part propositional variable with its complement is a set of Horn clauses. The renamable Horn problem is solvable in linear time, but the maximum renamable Horn problem (MAX-RHS) is NP-hard. In this paper, we present transformations between clause sets and undirected graphs in polynomial time, such that finding a renamable Horn subset of a clause set is equivalent to finding an independent set of vertices of a graph. Then, the problems MAX-RHS and MAX-IND have the same complexity, and MAX-RHS is inapproximable.
maximum renamable Horn set, maximum independent set, polynomial transformation, NP-Hardness, inapproximability
Yongbin Qin, Daoyun Xu, "Maximum Renamable Horn and Maximum Independent Sets", Computer Science and Information Engineering, World Congress on, vol. 01, no. , pp. 743-747, 2009, doi:10.1109/CSIE.2009.690
90 ms
(Ver 3.3 (11022016))