OAI/Combinatorics/EditApproximation/Refinement/ComputedQueryProgramWork.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.EditApproximation.computedQueryProgramDegree line 11

   Source documentation

   Degree of the complete adaptive program when physical reads have degree K.

   def computedQueryProgramDegree (K : ℕ) : ℕ := (K + 1) * (16 * queryLocalProgramBitDegree)

   Mentions: OAI.EditApproximation.queryLocalProgramBitDegree

2. theorem OAI.EditApproximation.computedQueryProgramBudget_cap line 13