References & Citations
Computer Science > Distributed, Parallel, and Cluster Computing
Title: Empirical Challenge for NC Theory
(Submitted on 22 May 2023 (v1), last revised 25 May 2023 (this version, v2))
Abstract: Horn-satisfiability or Horn-SAT is the problem of deciding whether a satisfying assignment exists for a Horn formula, a conjunction of clauses each with at most one positive literal (also known as Horn clauses). It is a well-known P-complete problem, which implies that unless P = NC, it is a hard problem to parallelize. In this paper, we empirically show that, under a known simple random model for generating the Horn formula, the ratio of hard-to-parallelize instances (closer to the worst-case behavior) is infinitesimally small. We show that the depth of a parallel algorithm for Horn-SAT is polylogarithmic on average, for almost all instances, while keeping the work linear. This challenges theoreticians and programmers to look beyond worst-case analysis and come up with practical algorithms coupled with respective performance guarantees.
Submission history
From: Ananth Hari [view email][v1] Mon, 22 May 2023 23:23:05 GMT (120kb,D)
[v2] Thu, 25 May 2023 16:41:39 GMT (119kb,D)
Link back to: arXiv, form interface, contact.