Manuscript Oai283-A@1 · Oai283-A.tex · example · 6fb75895

Example: Fresh-device tests do not price shared memory

Composition, workspace, and implementation allowances › Complete-channel telescoping · lines 517–527

Back to manuscript

Let an unobserved flag begin in , and define the unitary

Every isolated use with a fresh zero flag implements the identity on the message. Two uses sharing the flag implement . Thus isolated zero-error tests do not prove a zero-error two-stage implementation when the hidden flag is reused.

Displayed formulas in this passage

  • unlabeled · line 519

Nearby in this section