Preprint Article Version 6 Preserved in Portico This version is not peer-reviewed

Algebraic Polynomial Sum Solver Over $\{0, 1\}$

Version 1 : Received: 1 August 2019 / Approved: 5 August 2019 / Online: 5 August 2019 (03:31:23 CEST)
Version 2 : Received: 26 November 2019 / Approved: 29 November 2019 / Online: 29 November 2019 (07:28:14 CET)
Version 3 : Received: 4 April 2020 / Approved: 6 April 2020 / Online: 6 April 2020 (12:57:55 CEST)
Version 4 : Received: 15 April 2020 / Approved: 16 April 2020 / Online: 16 April 2020 (10:17:03 CEST)
Version 5 : Received: 18 September 2020 / Approved: 19 September 2020 / Online: 19 September 2020 (09:51:02 CEST)
Version 6 : Received: 10 February 2021 / Approved: 11 February 2021 / Online: 11 February 2021 (11:56:37 CET)

How to cite: Vega, F. Algebraic Polynomial Sum Solver Over $\{0, 1\}$. Preprints 2019, 2019080037 (doi: 10.20944/preprints201908.0037.v6). Vega, F. Algebraic Polynomial Sum Solver Over $\{0, 1\}$. Preprints 2019, 2019080037 (doi: 10.20944/preprints201908.0037.v6).

Abstract

Given a polynomial $P(x_{1}, x_{2}, \ldots, x_{n})$ which is the sum of terms, where each term is a product of two distinct variables, then the problem $APSS$ consists in calculating the total sum value of $\sum_{\forall U_{i}} P(u_{1}, u_{2}, \ldots, u_{n})$, for all the possible assignments $U_{i} = \{u_{1}, u_{2}, ... u_{n}\}$ to the variables such that $u_{j} \in \{0, 1\}$. $APSS$ is the abbreviation for the problem name Algebraic Polynomial Sum Solver Over $\{0, 1\}$. We show that $APSS$ is in $\#L$ and therefore, it is in $FP$ as well. The functional polynomial time solution was implemented with Scala in \url{https://github.com/frankvegadelgado/sat} using the DIMACS format for the formulas in $\textit{MONOTONE-2SAT}$.

Subject Areas

complexity classes; polynomial time; reduction; logarithmic space

Comments (1)

Comment 1
Received: 11 February 2021
Commenter: Frank Vega
Commenter's Conflict of Interests: Author
Comment: The new version was implemented and tested and therefore, this is a validated paper with new arguments. The title, keyword, abstract and content were changed.
+ Respond to this comment

We encourage comments and feedback from a broad range of readers. See criteria for comments and our diversity statement.

Leave a public comment
Send a private comment to the author(s)
Views 0
Downloads 0
Comments 1
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.
We use cookies on our website to ensure you get the best experience.
Read more about our cookies here.