Learn More
We study the nondeterministic cell-probe complexity of static data structures. We introduce <i>cell-probe proofs</i> (CPP), a proof system for the cell-probe model, which describes verification(More)