We study the question of whether the class DisjNP of disjoint pairs (A,B) of NPsets contains a complete pair. The question relates to the question of whether optimal proof systems exist, and we relate it to the previously studied question of whether there exists a disjoint pair of NP-sets that is NP-hard. We show under reasonable hypotheses that nonsymmetric disjoint NP-pairs exist, which provi...

P versus NP is considered as one of the most important open problems in computer science. This consists knowing answer following question: Is equal to NP? It was essentially mentioned 1955 from a letter written by John Nash United States National Security Agency. However, precise statement problem introduced independently Stephen Cook and Leonid Levin. Since that date, all efforts find proof fo...

In English the NP1 V NP2 construction typically involves arguments that are construed as Agent and Patient, or Subject Object. It is associated with notion of transitivity analyzed accordingly, even when it exhibits only syntactic properties but not its semantic characteristics. This phenomenon well-known has been accounted for by linguists (Lakoff 1977; Hopper Thompson 1980, among others) a re...

It is a well-known result of Fagin that the complexity class NP coincides with the class of problems expressible in existential second-order logic (1 ;). Monadic NP is the class of problems expressible in monadic Z;, i.e., 1: with the restriction that the second-order quantifiers range only over sets (as opposed to ranging over, say, binary relations). We prove that connectivity of finite graph...