Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Elvira Mayordomo is active.

Publication


Featured researches published by Elvira Mayordomo.


Theoretical Computer Science | 1994

Almost every set in exponential time is P-bi-immune

Elvira Mayordomo

A set A is P-bi-immune if neither A nor its complement has an infinite subset in P. We investigate here the abundance of P-bi-immune languages in linear-exponential time (E). Using resource-bounded measure, we prove that the class of P-bi-immune sets has measure 1 in E. This implies that “almost” every language in E is P-bi-immune. A bit further, we show that every p-random (pseudorandom) language is E-bi-immune. Regarding the existence of P-bi-immune sets in NP, we show that if NP does not have measure 0 in E, then NP contains a P-bi-immune set. Another consequence is that the class of ≤ 1-tt P -complete languages for E has measure 0 in E. In contrast, using the approach of resource-bounded category, it is shown that in E, the class of P-bi-immune languages lacks the property of Baire (the Baire category analogue of Lebesgue measurability).


Theoretical Computer Science | 2004

Finite-state dimension

Jack Jie Dai; James I. Lathrop; Jack H. Lutz; Elvira Mayordomo

Classical Hausdorff dimension (sometimes called fractal dimension) was recently effectivized using gales (betting strategies that generalize martingales), thereby endowing various complexity classes with dimension structure and also defining the constructive dimensions of individual binary (infinite) sequences. In this paper we use gales computed by multi-account finite-state gamblers to develop the finite-state dimensions of sets of binary sequences and individual binary sequences. The theorem of Eggleston (Quart. J. Math. Oxford Ser. 20 (1949) 31-36) relating Hausdorff dimension to entropy is shown to hold for finite-state dimension, both in the space of all sequences and in the space of all rational sequences (binary expansions of rational numbers). Every rational sequence has finite-state dimension 0, but every rational number in [0,1] is the finite-state dimension of a sequence in the low-level complexity class AC0. Our main theorem shows that the finite-state dimension of a sequence is precisely the infimum of all compression ratios achievable on the sequence by information-lossless finite-state compressors.


Theoretical Computer Science | 1996

Cook versus Karp-Levin: separating completeness notions if NP is not small

Jack H. Lutz; Elvira Mayordomo

Under the hypothesis that NP does not have p-measure 0 (roughly, that NP contains more than a negligible subset of exponential time), it is shown that there is a language that is ≤ T P -complete (“Cook complete”), but not ≤ m P -complete (“Karp-Levin complete”), for NP. This conclusion, widely believed to be true, is not known to follow from P ≠ NP or other traditional complexity-theoretic hypotheses.


SIAM Journal on Computing | 1994

Measure, Stochasticity, and the Density of Hard Languages

Jack H. Lutz; Elvira Mayordomo

The main theorem of this paper is that, for every real number


symposium on theoretical aspects of computer science | 2004

Effective Strong Dimension in Algorithmic Information and Computational Complexity

Krishna B. Athreya; John M. Hitchcock; Jack H. Lutz; Elvira Mayordomo

\alpha<1


SIAM Journal on Computing | 2008

Dimensions of Points in Self-Similar Fractals

Jack H. Lutz; Elvira Mayordomo

(e.g.,


Theory of Computing Systems \/ Mathematical Systems Theory | 2012

Programs, Proofs, Processes

Fernando Ferreira; Benedikt Löwe; Elvira Mayordomo

\alpha=0.99


symposium on theoretical aspects of computer science | 1996

Resource-Bounded Balanced Genericity, Stochasticity and Weak Randomness

Klaus Ambos-Spies; Elvira Mayordomo; Yongge Wang; Xizhong Zheng

), only a measure 0 subset of the languages decidable in exponential time are


mathematical foundations of computer science | 2005

Zeta-Dimension

David Doty; Xiaoyang Gu; Jack H. Lutz; Elvira Mayordomo; Philippe Moser

\leq^{P}_{n^{\alpha} - tt}


symposium on theoretical aspects of computer science | 1994

Cook versus Karp-Levin: Separating completeness notions if NP is not small

Jack H. Lutz; Elvira Mayordomo

-reducible to languages that are not exponentially dense. Thus every

Collaboration


Dive into the Elvira Mayordomo's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge