-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Ch34 §34.4: finish the GeneralCircuitSAT Cook–Levin machine bridge
chapter-34NP-CompletenessNP-Completenessextreme-difficultyRequires concentrated proof-design workRequires concentrated proof-design workfourth-editionCanonical CLRS fourth-edition scopeCanonical CLRS fourth-edition scopeproofFormalization / theorem-proving taskFormalization / theorem-proving taskStatus: Open.#227 In TankTechnology/CLRS-Lean;Chapter 34: formalize general graph-plus-k CLIQUE target and bridge occurrence reduction
fourth-editionCanonical CLRS fourth-edition scopeCanonical CLRS fourth-edition scopeproofFormalization / theorem-proving taskFormalization / theorem-proving taskStatus: Open.#203 In TankTechnology/CLRS-Lean;Ch34 §34.5: canonical NP-complete problem catalog with machine reductions
chapter-34NP-CompletenessNP-Completenessextreme-difficultyRequires concentrated proof-design workRequires concentrated proof-design workfourth-editionCanonical CLRS fourth-edition scopeCanonical CLRS fourth-edition scopeproofFormalization / theorem-proving taskFormalization / theorem-proving taskStatus: Open.#193 In TankTechnology/CLRS-Lean;