Preprint
Article

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

Altmetrics

Downloads

3319

Views

3986

Comments

1

A peer-reviewed article of this preprint also exists.

This version is not peer-reviewed

Submitted:

10 February 2021

Posted:

11 February 2021

Read the latest preprint version here

Alerts
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}$.
Keywords: 
Subject: Computer Science and Mathematics  -   Computer Science
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated