5,106 research outputs found
Immunity and Simplicity for Exact Counting and Other Counting Classes
Ko [RAIRO 24, 1990] and Bruschi [TCS 102, 1992] showed that in some
relativized world, PSPACE (in fact, ParityP) contains a set that is immune to
the polynomial hierarchy (PH). In this paper, we study and settle the question
of (relativized) separations with immunity for PH and the counting classes PP,
C_{=}P, and ParityP in all possible pairwise combinations. Our main result is
that there is an oracle A relative to which C_{=}P contains a set that is
immune to BPP^{ParityP}. In particular, this C_{=}P^A set is immune to PH^{A}
and ParityP^{A}. Strengthening results of Tor\'{a}n [J.ACM 38, 1991] and Green
[IPL 37, 1991], we also show that, in suitable relativizations, NP contains a
C_{=}P-immune set, and ParityP contains a PP^{PH}-immune set. This implies the
existence of a C_{=}P^{B}-simple set for some oracle B, which extends results
of Balc\'{a}zar et al. [SIAM J.Comp. 14, 1985; RAIRO 22, 1988] and provides the
first example of a simple set in a class not known to be contained in PH. Our
proof technique requires a circuit lower bound for ``exact counting'' that is
derived from Razborov's [Mat. Zametki 41, 1987] lower bound for majority.Comment: 20 page
Resource Bounded Immunity and Simplicity
Revisiting the thirty years-old notions of resource-bounded immunity and
simplicity, we investigate the structural characteristics of various immunity
notions: strong immunity, almost immunity, and hyperimmunity as well as their
corresponding simplicity notions. We also study limited immunity and
simplicity, called k-immunity and feasible k-immunity, and their simplicity
notions. Finally, we propose the k-immune hypothesis as a working hypothesis
that guarantees the existence of simple sets in NP.Comment: This is a complete version of the conference paper that appeared in
the Proceedings of the 3rd IFIP International Conference on Theoretical
Computer Science, Kluwer Academic Publishers, pp.81-95, Toulouse, France,
August 23-26, 200
If not empty, NP — P is topologically large
AbstractIn the classical Cantor topology or in the superset topology, NP and, consequently, classes included in NP are meagre. However, in a natural combination of the two topologies, we prove that NP — P, if not empty, is a second category class, while NP-complete sets form a first category class. These results are extended to different levels in the polynomial hierarchy and to the low and high hierarchies. P-immune sets in NP, NP-simple sets, P-bi-immune sets and NP-effectively simple sets are all second category (if not empty). It is shown that if C is any of the above second category classes, then for all B∈NP there exists an A∈C such that A is arbitrarily close to B infinitely often
Networks and the epidemiology of infectious disease
The science of networks has revolutionised research into the dynamics of interacting elements. It could be argued that epidemiology in particular has embraced the potential of network theory more than any other discipline. Here we review the growing body of research concerning the spread of infectious diseases on networks, focusing on the interplay between network theory and epidemiology. The review is split into four main sections, which examine: the types of network relevant to epidemiology; the multitude of ways these networks can be characterised; the statistical methods that can be applied to infer the epidemiological parameters on a realised network; and finally simulation and analytical methods to determine epidemic dynamics on a given network. Given the breadth of areas covered and the ever-expanding number of publications, a comprehensive review of all work is impossible. Instead, we provide a personalised overview into the areas of network epidemiology that have seen the greatest progress in recent years or have the greatest potential to provide novel insights. As such, considerable importance is placed on analytical approaches and statistical methods which are both rapidly expanding fields. Throughout this review we restrict our attention to epidemiological issues
Separating and Collapsing Electoral Control Types
[HHM20] discovered, for 7 pairs (C,D) of seemingly distinct standard
electoral control types, that C and D are identical: For each input I and each
election system, I is a Yes instance of both C and D, or of neither.
Surprisingly this had gone undetected, even as the field was score-carding how
many std. control types election systems were resistant to; various "different"
cells on such score cards were, unknowingly, duplicate effort on the same
issue. This naturally raises the worry that other pairs of control types are
also identical, and so work still is being needlessly duplicated.
We determine, for all std. control types, which pairs are, for elections
whose votes are linear orderings of the candidates, always identical. We show
that no identical control pairs exist beyond the known 7. We for 3 central
election systems determine which control pairs are identical ("collapse") with
respect to those systems, and we explore containment/incomparability
relationships between control pairs. For approval voting, which has a different
"type" for its votes, [HHM20]'s 7 collapses still hold. But we find 14
additional collapses that hold for approval voting but not for some election
systems whose votes are linear orderings. We find 1 additional collapse for
veto and none for plurality. We prove that each of the 3 election systems
mentioned have no collapses other than those inherited from [HHM20] or added
here. But we show many new containment relationships that hold between some
separating control pairs, and for each separating pair of std. control types
classify its separation in terms of containment (always, and strict on some
inputs) or incomparability.
Our work, for the general case and these 3 important election systems,
clarifies the landscape of the 44 std. control types, for each pair collapsing
or separating them, and also providing finer-grained information on the
separations.Comment: The arXiv.org metadata abstract is an abridged version; please see
the paper for the full abstrac
Immunity and Pseudorandomness of Context-Free Languages
We discuss the computational complexity of context-free languages,
concentrating on two well-known structural properties---immunity and
pseudorandomness. An infinite language is REG-immune (resp., CFL-immune) if it
contains no infinite subset that is a regular (resp., context-free) language.
We prove that (i) there is a context-free REG-immune language outside REG/n and
(ii) there is a REG-bi-immune language that can be computed deterministically
using logarithmic space. We also show that (iii) there is a CFL-simple set,
where a CFL-simple language is an infinite context-free language whose
complement is CFL-immune. Similar to the REG-immunity, a REG-primeimmune
language has no polynomially dense subsets that are also regular. We further
prove that (iv) there is a context-free language that is REG/n-bi-primeimmune.
Concerning pseudorandomness of context-free languages, we show that (v) CFL
contains REG/n-pseudorandom languages. Finally, we prove that (vi) against
REG/n, there exists an almost 1-1 pseudorandom generator computable in
nondeterministic pushdown automata equipped with a write-only output tape and
(vii) against REG, there is no almost 1-1 weakly pseudorandom generator
computable deterministically in linear time by a single-tape Turing machine.Comment: A4, 23 pages, 10 pt. A complete revision of the initial version that
was posted in February 200
- …