Suggest edit — Streaming Algorithm

Title

Name

Note

---
title: "Streaming Algorithm"
type: concept
related: [Alphabet, Deterministic Finite Automata, Streaming Algorithms]
source: https://www.jemoka.com/posts/kbhstreaming_algorithms/
confidence: high
status: active
---

Streaming Algorithms are computation that grow with the size of the input at a &ldquo;small&rdquo;(?) rate. The memory of these systems is not large&mdash;they grow roughly logarithmically or poly-logorithmically against the size of the system.
Every so often as we process our system, we have to output a symbol that tells us about the stream we saw so far.
streaming vs FA Streaming Algorithms is a superset of DFAs: things that Streaming Algorithms can&rsquo;t do can&rsquo;t also be done with DFAs. Their memory doesn&rsquo;t grow too large against the sizes of strings.
communication we lastly consider communication, as a limited-resource thing that Streaming Algorithms can solve. we also consider impossibility results from communication to give us impossibilities with Streaming Algorithms.
examples ones vs zeros a streaming algorithm to measure if a language has more $1$ than $0$.
\begin{equation} L = \qty {x \mid x\text{ has more 1s than 0s}} \end{equation}
we can do this by tracking $B$ a majority bit (currently what&rsquo;s winning), and $C$ how many more times that we saw $B$ than $\neg B$.
(we do this instead of two counters because storage efficiency).
Note that for strings of length $n$, you need at most $(1+\log_{2}n)$ bits of space to store counters $b$ (which just flips) and $c$ (because the counter would basically need to store, at most, the entire string in terms of all ones into the counter, which is $\log n$.)
memory complexity of ones vs zeros every streaming algorithm for $L$ (above) needs $(\log_{2}n)-1$ bits of space.
WLO(most)G let $n$ be oven, and $L_{n} = \qty {0,1}^{n} \cap L$. We will show a set $S_{n}$ such that each pair in $S_{n}$ is distinguishable in $L_{n}$ with length $\frac{n}{2}+1$. Meaning for this language to be regular it has to have that many equivalence classes&mdash;and in particular every streaming algorithm on $L$ needs at least $(\log n) - 1$ bits of memory.
Let $S_{n} = \qty {0^{\frac{n}{2} -i} 1^{i} \mid i = 0, \dots, \frac{n}{2}}$.
Select two strings from $S$, we see that $x=0^{\frac{n}{2}-k}1^{k}$ and $y = 0^{\frac{n}{2}-j}1^{j}$ be from $S_{n}$, with $k &gt; j$. The distinguishing string here is $z = 0^{k-1}1^{\frac{n}{2}-(k-1)}$ (through noticing the fact that $k&gt;j$). Therefore, $x$ and $y$ are in different equivalence classes.
Hence, at least $| S_{n}|$
frequent items given a count $k$ and a string $x = x_1 &hellip; x_{n} \in \Sigma^{n}$, we want the set $S = \qty {\sigma \in \Sigma \mid \sigma \text{ occurs } &gt; \frac{n}{k}\text{ times in } x}$.
We will be able to do this in a streaming algorithm in $O \qty(k \qty(\log |\Sigma| + \log n))$ space (this is actually quite cool, because we somehow are about to not keep track of every symbol, instead just tracking $\log (\Sigma)$ of them instead.
Initialize a set $T \subseteq \Sigma \times \mathbb{N}$. It contains a symbol and a counter. Read a symbol $\sigma$ if $(\sigma, m) \in T$, then increment: $(\sigma, m) \to (\sigma, m+1)$ (remove and add) else, if $|T| &lt; k-1$, then $T = T+ \qty {(\sigma, 1)}$ else, for all $(\sigma&rsquo;, m&rsquo;) \in T$, we decrement them all $(\sigma&rsquo;, m&rsquo;) \to (\sigma&rsquo;, m&rsquo;-1)$ if $m&rsquo; = 0$, then we remove the pair $(\sigma&rsquo;, m&rsquo;)$ from $T$ notice that since each increase round increase results in $1$ counters, but each decrease round decreases results in $k$ counters. This means that there is at most $\frac{n}{k}$ decrease rounds (because each round decreases $k$ counters, by the $k$ th decreasing round you have decreased all $n$ of your counters.)
So, for a given symbol, it will stay in the list if its count is non-zero, meaning its occurrence count should be at least $\frac{n}{k}$ (otherwise it won&rsquo;t stay in the list).
Finally, in a second pass, we solve this actual problem by counting all symbols in $T$&mdash;allowing us to have bounded memory. At the end, we tally and filter the counts as needed to output the symbols that output $\frac{n}{k}$ times.
number of distinct elements We have a stream of elements $x \in \qty {0,1, \dots 2^{k}}^{*}$, and in particular $2^{k} &gt; |x|^{2}$. We want to know the number of distinct elements appearing in $x$&mdash;call that DE. There&rsquo;s a trivial solution is in $O(kn)$ space (we can just remember the string, where each number is encoded in $k$ bits).
Theorem: we can&rsquo;t do much better than that; the actual space requirement is $Ω(kn)$&mdash;$kn$ up to a constant.
Let us define $x,y \in \Sigma^{*}$ as DE distinguishable if there are some string $z \in \Sigma^{ *}$ such that $xz$ and $yz$ contain different numbers of distinct elements.
So, let $S \in \Sigma^{*}$ be such that every pair in $S$ is DE-distinguishable; then, every streaming algorithm in DE needs $\geq \qty(\log_{2}|S|)$ bits of space (because we basically need to store which of those equivalence classes we have as an ID. (proof: pigeonhole, if we don&rsquo;t have enough space, we have two distinguishable strings for which our streaming algorithm will not be able to tell the difference).
For subset of symbols $T \subseteq \Sigma$ of size $\frac{n}{2}$; we define $x_{T}$ to be any concatenation of strings in $T$. We can create this set $S$ filled with such $x_{T}$ following the following rules:
we claim that for $T$ and $T&rsquo;$ being distinct (not necessarily disjoint), $x_{T}$ and $x_{T&rsquo;}$ is distinguishable. Notice: $x_{T}x_{T}$ contains $\frac{n}{2}$ distinct elements, yet $x_{T&rsquo;}x_{T}$ contains more than $\frac{n}{2}$ distinct elements. There are $2^{\Omega(kn)}$ such distinct subsets as long as where $2^{k} &gt; n^{2}$.
number of distinct elements Let&rsquo;s now rephrase the number of distinct elements problem, but now into a randomized streaming algorithm.
There&rsquo;s a randomized streaming algorithm which approximates true DE up to $0.1\%$ error, using $O(k+\log n)$ space.
Assuming the choice of strings in the vocabulary is uniform, by keeping track of the minimial element, we can infer the size of the vocabulary (because we think the minimal element times the number of samples is the total amount of symbols assuming uniform distribution).
Even if we didn&rsquo;t have a uniform distribution of symbols, we can force one by applying a random permutation $h$ over $\qty{0,1, &hellip;, 2^{k}}$ and for each character we just randomly map it somewhere using it in the permutation. Thereby, as long as we draw the random names uniformly, we essentially are able to use the same minimal sampling trick from above.
To get a good estimate, we then choose a few of those $h$ and run the algorithm.
streaming vs DFA streaming algorithms can output more than one bit and the memory or space of a streaming algorithm can slowly increase =&gt; and in particular it can recognize some irregular languages you could sometimes allow multiple passes over the data a DFA is a streaming algorithm Suppose $L$ can be recognized by a DFA $M$ with $\leq 2^{p}$ states. Then, $L$ is computable by a streaming algorithm $A$ using $\leq p$ bits of space.
We do this by literally tracking what state we are at using our $p$ bits of space; we binarize the state ID, and then just apply the transition function and update the stored state ID.
initialize: encode start state of $M$ in memory each symbol: use transition function, update $M$ in memory on end: output accept if current state $M$ is a final state, reject otherwise a streaming algorithm can be a DFA given bounded length Suppose $L \in \Sigma^{*}$; let us define a $L_{n} = \qty {x \in L \mid |x | = n}$ and $L_{\leq n} = \qty {x \in L \mid |x| \leq n}$.
Suppose $L$ is computable by a streaming algorithm $A$ using $f(n)$ bits of space for all strings up to $n$, then there exists for all $n$ a particular DFA with $\leq 2^{n}$ states such that $L_{\leq n} = L(M)_{\leq n}$.
Note that since $A$ has $n$ bits of memory, there is at most $2^{n}$ configurations of $A$&rsquo;s memory. The transition function, therefore, simply has to mimic how $A$ updates its memory.