OAI/Computability/BinPacking/Results/OptimalSearch.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinPackingGap.OptimalSearch.decider line 12
2. def OAI.BinPackingGap.OptimalSearch.decisionComputation line 15
3. theorem OAI.BinPackingGap.OptimalSearch.decisionSpec line 20
4. theorem OAI.BinPackingGap.OptimalSearch.decidesExtension line 25
5. def OAI.BinPackingGap.absoluteAdditiveAlgorithm_of_pEqualsNP line 30
6. theorem OAI.BinPackingGap.absoluteAdditiveAlgorithm_of_pEqualsNP_optimal line 36
7. theorem OAI.BinPackingGap.absoluteAdditiveAlgorithm_of_pEqualsNP_empty line 43
8. theorem OAI.BinPackingGap.absoluteAdditiveAlgorithm_of_pEqualsNP_malformed line 48
9. theorem OAI.BinPackingGap.absoluteAdditiveAlgorithm_of_pEqualsNP_invalid line 53