Filtern
Erscheinungsjahr
- 2009 (2) (entfernen)
Dokumenttyp
- Konferenzveröffentlichung (2) (entfernen)
Sprache
- Englisch (2)
Volltext vorhanden
- ja (2) (entfernen)
Gehört zur Bibliographie
- nein (2)
Schlagworte
- ambiguity (1)
- automata (1)
- communication complexity (1)
- data streams (1)
- lower bounds (1)
- machine models (1)
- nondeterministic finite automata (1)
- the set disjointness problem (1)
Institut
- Informatik (2) (entfernen)
This paper gives a brief overview of computation models for data stream processing, and it introduces a new model for multi-pass processing of multiple streams, the so-called mp2s-automata. Two algorithms for solving the set disjointness problem with these automata are presented. The main technical contribution of this paper is the proof of a lower bound on the size of memory and the number of heads that are required for solving the set disjointness problem with mp2s-automata.
Ambiguity and communication
(2009)
The ambiguity of a nondeterministic finite automaton (NFA) N for input size n is the maximal number of accepting computations of N for an input of size n. For all k, r 2 N we construct languages Lr,k which can be recognized by NFA's with size k poly(r) and ambiguity O(nk), but Lr,k has only NFA's with exponential size, if ambiguity o(nk) is required. In particular, a hierarchy for polynomial ambiguity is obtained, solving a long standing open problem (Ravikumar and Ibarra, 1989, Leung, 1998).