arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 1602.04955

Constructive Patterns of Logical Truth

Elnaserledinellah Mahmood Abdelwahab
View original source ↗Read source document ↗Export metadata ↓

Abstract

The simplified linguistic relation between syntax and semantics as intrinsic property of classic Arabic motivates a dedicated look at P vs. NP in light of efforts and solutions presented by ancient Arab- and Muslim scholars to facilitate logical- and mathematical deduction. In Islamic Jurisprudence (Fikh) it has recently been shown [Abdelwahab et al. 2014] that if a formal system expressing Fikh is chosen in such a way that it is both, logically complete and decidable, the question of a complete and consistent legislation is decidable. If this formal Fikh-system is additionally chosen to be at least as expressive as propositional logic, the deduction of detailed sentences is efficient while the deduction of general rules is NP-complete. Further investigation reveals that ancient scholars adopted a very efficient approach for checking the validity of assertions with regard to both, language and logical argument which was mainly characterized by the extensive use of syntactical patterns already existent in input-variables. Accordingly, this paper introduces efficient pattern-oriented procedures for 3-SAT as well as 2-approximation algorithms for MinFBDD. It opens up the possibility of constructing polynomial sized FBDDs for all Boolean functions expressed in a compact way. Eventually, an application of this new 3-SAT-solver is shown to enable polynomial upper bounds of the number of nodes in FBDDs constructed for finite projective planes problems overhauling the currently known exponential lower bounds.

Explore related subjects

cs.CC

Keep this discovery

BibTeXRIS

Elnaserledinellah Mahmood Abdelwahab. 2016-02-16. Constructive Patterns of Logical Truth. https://arxiv.org/abs/1602.04955

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Computational Complexity of Holant Problems on 4-regular Graphs from the Stable Subgroup Sequence of $SL(2,\mathbb{C})$

The Holant framework provides a general setting for studying counting problems and includes graph homomorphisms (\#GH) and counting constraint satisfaction problems (\#CSP) as special cases. Over the past twenty years, a series of computational complexity dichotomies have been established for Holant problems, but the classification for complex-valued signatures is still open. The main obstacle is the case in which all signatures have even arity. In this paper, we establish a dichotomy for Holant problems with a complex-valued 4-ary signature, which is a key base case for the full classification of Holant problems. We present a new strategy by introducing Schur's theorem, the classification of finite subgroups of $\mathrm{SL}(2,\mathbb{C})$ and stable subgroup sequences into the proof. These new techniques are of independent interest.

cs.CC↗
arXiv2026

Topology inside NC$^1$

We show that ACC$^0$ is precisely what can be computed with constant-width circuits of polynomial size and polylogarithmic genus. This extends a characterization given by Hansen, showing that planar constant-width circuits also characterize ACC$^0$. Thus polylogarithmic genus provides no additional computational power in this model. We consider other generalizations of planarity, including crossing number and thickness. We show that constant-width circuits of polynomial size and thickness two already suffice to capture all of NC$^1$.

cs.CC↗