SIGMA-NOTATION AND THE EQUIVALENCE OF P AND NP CLASSES

Abstract

The aim of this paper is to show that –notation, based on the positionalityprinciple, doesn’t just answer the question of equivalence of P and NP problemclasses, but also represents the key to the solution of (some) more general problemsfrom the domain of multivalued logics. However, the achievement of such an aim inits full scope is hardly possible within the limits of this paper. Therefore, the followingplan shall be realized:Firstly, the logic algebra fragment necessary for the solution of the P and NPclasses equivalence problem shall be expounded.Secondly, the necessary symbols and definitions shall be introduced to show thatthe calculations in the domain of the multivalued logic can be directly executed withinthe framework of –notation.