Results 1 
4 of
4
Inseparability and Strong Hypotheses for Disjoint NP Pairs
"... This paper investigates the existence of inseparable disjoint pairs of NP languages and related strong hypotheses in computational complexity. Our main theorem says that, if NP does not have measure 0 in EXP, then there exist disjoint pairs of NP languages that are Pinseparable, in fact TIME(2n k) ..."
Abstract
 Add to MetaCart
This paper investigates the existence of inseparable disjoint pairs of NP languages and related strong hypotheses in computational complexity. Our main theorem says that, if NP does not have measure 0 in EXP, then there exist disjoint pairs of NP languages that are Pinseparable, in fact TIME(2n k)inseparable
Inseparability and strong hypotheses for disjoint NP pairs,” Electronic Colloquium on Computational Complexity
, 2009
"... All intext references underlined in blue are linked to publications on ResearchGate, letting you access and read them immediately. ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
All intext references underlined in blue are linked to publications on ResearchGate, letting you access and read them immediately.
The informational content of canonical disjoint NPpairs
 Electronic Colloquium on Computational Complexity
, 2007
"... We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between their canonical pairs. We focus on the opposite direction and study the following questions. Q1: Where does the implication ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
equivalent, Pinseparable canonical pairs tell that they are not “very different”. We can relate Q4 to the open problem in structural complexity that asks whether unions of disjoint NPcomplete sets are NPcomplete. This demonstrates a new connection between proof systems, disjoint NPpairs, and unions
[2], Chapter 6):
, 2003
"... The purpose of this paper is to review, clarify, and critically analyse modern mathematical cosmology. The emphasis is upon the mathematical structures involved, rather than numerical computations. The opening section reviews and clarifies the FriedmannRobertsonWalker models of General Relativist ..."
Abstract
 Add to MetaCart
The purpose of this paper is to review, clarify, and critically analyse modern mathematical cosmology. The emphasis is upon the mathematical structures involved, rather than numerical computations. The opening section reviews and clarifies the FriedmannRobertsonWalker models of General Relativistic Cosmology, while Section 2 deals with the spatially homogeneous models. Particular attention is paid to the topological and geometrical aspects of these models. Section 3 explains how the mathematical formalism can be linked with astronomical observation. Sections 4 and 5 provide a critical analysis of Inflationary Cosmology and Quantum Cosmology, with particular attention to the claims made that these theories can explain the creation of the universe. 1 The FriedmannRobertsonWalker models Let us review and clarify the topological and geometrical aspects of the FriedmannRobertsonWalker (FRW) models of General Relativistic Cosmology. Geometrically, a FRW model is a 4dimensional Lorentzian manifold M which can be expressed as a warped product, (O’Neill [1], Chapter 12; Heller