<?xml version="1.0" encoding="UTF-8"?>
<collection>
<dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:invenio="http://invenio-software.org/elements/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"><dc:identifier>doi:10.1007/s00224-022-10096-7</dc:identifier><dc:language>eng</dc:language><dc:creator>Lutz, Jack H.</dc:creator><dc:creator>Lutz, Neil</dc:creator><dc:creator>Mayordomo, Elvira</dc:creator><dc:title>Dimension and the structure of complexity classes</dc:title><dc:identifier>ART-2023-130096</dc:identifier><dc:description>We prove three results on the dimension structure of complexity classes. The Point-to-Set Principle, which has recently been used to prove several new theorems in fractal geometry, has resource-bounded instances. These instances characterize the resource-bounded dimension of a set X of languages in terms of the relativized resource-bounded dimensions of the individual elements of X, provided that the former resource bound is large enough to parametrize the latter. Thus for example, the dimension of a class X of languages in EXP is characterized in terms of the relativized p-dimensions of the individual elements of X. Every language that is =mP-reducible to a p-selective set has p-dimension 0, and this fact holds relative to arbitrary oracles. Combined with a resource-bounded instance of the Point-to-Set Principle, this implies that if NP has positive dimension in EXP, then no quasipolynomial time selective language is =mP-hard for NP. If the set of all disjoint pairs of NP languages has dimension 1 in the set of all disjoint pairs of EXP languages, then NP has positive dimension in EXP.</dc:description><dc:date>2023</dc:date><dc:source>http://zaguan.unizar.es/record/131314</dc:source><dc:doi>10.1007/s00224-022-10096-7</dc:doi><dc:identifier>http://zaguan.unizar.es/record/131314</dc:identifier><dc:identifier>oai:zaguan.unizar.es:131314</dc:identifier><dc:relation>info:eu-repo/grantAgreement/ES/DGA/T64-20R</dc:relation><dc:relation>info:eu-repo/grantAgreement/ES/MICIU/PID2019-104358RB-I00</dc:relation><dc:identifier.citation>THEORY OF COMPUTING SYSTEMS 67 (2023), 473-490</dc:identifier.citation><dc:rights>All rights reserved</dc:rights><dc:rights>http://www.europeana.eu/rights/rr-f/</dc:rights><dc:rights>info:eu-repo/semantics/openAccess</dc:rights></dc:dc>

</collection>