Deletion and reconstruction
Statement
DNA computing; program testing; communication complexity. Proved in ZFC.
Source
Donald E. Knuth Prize 2014. DNA computing; program testing; communication complexity. Proved in ZFC.
Domains
computer-science
DNA computing; program testing; communication complexity. Proved in ZFC.
Donald E. Knuth Prize 2014. DNA computing; program testing; communication complexity. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/lipton-knuth-2014/