OAI/Computability/QuantumFactoring/TreePhysicalPreparation.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ExactQuantumFactoring.parallelProgram_encoded_state line 19
  2. abbrev OAI.ExactQuantumFactoring.PhysicalTree.launchWork line 32
  3. abbrev OAI.ExactQuantumFactoring.PhysicalTree.launchWidth line 33
  4. def OAI.ExactQuantumFactoring.PhysicalTree.launchProgram line 35
  5. def OAI.ExactQuantumFactoring.PhysicalTree.launchEncoding line 37
  6. def OAI.ExactQuantumFactoring.PhysicalTree.launchZero line 39
  7. lemma OAI.ExactQuantumFactoring.PhysicalTree.launchProgram_state line 42
  8. lemma OAI.ExactQuantumFactoring.PhysicalTree.launchEncoding_injective line 48
  9. abbrev OAI.ExactQuantumFactoring.PhysicalTree.paddedWidth line 54
  10. def OAI.ExactQuantumFactoring.PhysicalTree.paddedProgram line 55
  11. def OAI.ExactQuantumFactoring.PhysicalTree.paddedZero line 57
  12. def OAI.ExactQuantumFactoring.PhysicalTree.paddedEncoding line 59
  13. lemma OAI.ExactQuantumFactoring.PhysicalTree.paddedProgram_state line 62
  14. lemma OAI.ExactQuantumFactoring.PhysicalTree.paddedEncoding_injective line 67
  15. lemma OAI.ExactQuantumFactoring.PhysicalTree.launchProgram_length line 77
  16. lemma OAI.ExactQuantumFactoring.PhysicalTree.paddedProgram_length line 80