Abstract
Complexity classes such as #P, ⊕P, GapP, OptP, NPMV, or the class of fuzzy languages realised by polynomial-time fuzzy nondeterministic Turing machines, can all be described in terms of a class NP[S] for a suitable semiring S, defined via weighted Turing machines over S similarly as NP is defined in the unweighted setting. Other complexity classes can be lifted to the quantitative world as well, the resulting classes relating to the original ones in the same way as weighted automata or logics relate to their unweighted counterparts. The article surveys these too-little-known connexions implicit in the existing literature and suggests a systematic approach to the study of weighted complexity classes. An extension of SAT to weighted propositional logic is proved to be complete for NP[S] when S is finitely generated. Moreover, a class FP[S] is introduced for each semiring S as a counterpart to P, and the relations between FP[S] and NP[S] are considered.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
