The Shrinking Property for NP and coNP

We study the shrinking and separation properties (two notions well-known in descriptive set theory) for NP and coNP and show that under reasonable complexity-theoretic assumptions, both properties do not hold for NP and the shrinking property does not hold for coNP. In particular we obtain the following results.

• Type: Conference
• Year: 2008
• Where: CIE
• Authors: Christian Glaßer, Christian Reitwießner, Victor L. Selivanov
• Keywords: Applied Computing, CIE 2008, Descriptive Set Theory, Reasonable Complexity-theoretic Assumptions, Separation Properties