Skip to content

feat(Sparsification): polynomial-time steps for runtime thresholds #1303

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
SamuelSchlesinger merged 7 commits into from
Oct 27, 2026
Merged

feat(Sparsification): polynomial-time steps for runtime thresholds #1303

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
3b23959
feat(FineGrained,Sparsification): list-level counting sparsification,…
SamuelSchlesinger Oct 27, 2026
ee83f21
feat(CNF): retain encoded context in native greedy parity search (#1295)
SamuelSchlesinger Oct 27, 2026
b58be07
feat(SharpP): #3SAT and #3SAT-3 are #P-complete (#1280)
SamuelSchlesinger Oct 27, 2026
de7022d
feat(FineGrained): add Section 6.3 compiled parity-row schedule feasi…
SamuelSchlesinger Oct 27, 2026
7a46ddd
feat(Logics/Propositional/CNF): bridge sparse replacement design with…
SamuelSchlesinger Oct 27, 2026
e5962d6
feat(Sparsification): polynomial-time steps for runtime thresholds
SamuelSchlesinger Oct 27, 2026
da09132
test(Sparsification): replace runtime-threshold certificate mirrors b…
SamuelSchlesinger Oct 27, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 9 additions & 0 deletions Complexity.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -762,6 +762,7 @@ public import Complexity.Computability.Complexity.Fagin.Verifier
public import Complexity.Computability.Complexity.FineGrained
public import Complexity.Computability.Complexity.FineGrained.Assignment
public import Complexity.Computability.Complexity.FineGrained.BruteForce
public import Complexity.Computability.Complexity.FineGrained.CountingEndpoint
public import Complexity.Computability.Complexity.FineGrained.CountingScale
public import Complexity.Computability.Complexity.FineGrained.ExhaustiveSearch
public import Complexity.Computability.Complexity.FineGrained.Exponents
Expand All @@ -774,6 +775,7 @@ public import Complexity.Computability.Complexity.FineGrained.ReplacementParams
public import Complexity.Computability.Complexity.FineGrained.ReplacementScheduleDesign
public import Complexity.Computability.Complexity.FineGrained.Schoening
public import Complexity.Computability.Complexity.FineGrained.SparseBranchSchedule
public import Complexity.Computability.Complexity.FineGrained.SparseParitySchedule
public import Complexity.Computability.Complexity.FineGrained.Sparsification
public import Complexity.Computability.Complexity.HardnessEncoding.PolyTime
public import Complexity.Computability.Complexity.HardnessEncoding.Program
Expand Down Expand Up @@ -847,6 +849,7 @@ public import Complexity.Computability.Complexity.Problems.STCON.Completeness
public import Complexity.Computability.Complexity.Problems.STCON.Reduction
public import Complexity.Computability.Complexity.Problems.STCON.Search
public import Complexity.Computability.Complexity.Problems.SharpSAT
public import Complexity.Computability.Complexity.Problems.SharpThreeSAT
public import Complexity.Computability.Complexity.Problems.SubsetSum
public import Complexity.Computability.Complexity.Problems.SubsetSum.Digits
public import Complexity.Computability.Complexity.Problems.SubsetSum.Mask
Expand Down Expand Up @@ -1364,6 +1367,7 @@ public import Complexity.Computability.PCP.RegularConstraintGraph
public import Complexity.Computability.PCP.SelectedComposition
public import Complexity.Computability.PCP.ThreeSAT
public import Complexity.Computability.PCP.TwoProverGame
public import Complexity.Computability.PolyTime.CNF.GreedyParityContext
public import Complexity.Computability.PolyTime.CNF.GreedyParitySearch
public import Complexity.Computability.PolyTime.CNF.SparsePolyCompile
public import Complexity.Computability.PolyTime.Int.ExactDiv
Expand Down Expand Up @@ -2191,6 +2195,7 @@ public import Complexity.Logics.Propositional.CNF.ImplicationChain
public import Complexity.Logics.Propositional.CNF.ImplicationCycle
public import Complexity.Logics.Propositional.CNF.ModelCount
public import Complexity.Logics.Propositional.CNF.ModelCount.Declared
public import Complexity.Logics.Propositional.CNF.ModelCount.DenseRelabel
public import Complexity.Logics.Propositional.CNF.ModelCount.Relabel
public import Complexity.Logics.Propositional.CNF.Occurrence
public import Complexity.Logics.Propositional.CNF.Parity
Expand All @@ -2203,9 +2208,11 @@ public import Complexity.Logics.Propositional.CNF.Planar.PairedCrossover
public import Complexity.Logics.Propositional.CNF.Planar.PairedWire
public import Complexity.Logics.Propositional.CNF.PolyTime
public import Complexity.Logics.Propositional.CNF.PolynomialTests
public import Complexity.Logics.Propositional.CNF.SparseDesignCounter
public import Complexity.Logics.Propositional.CNF.SparseParityCounter
public import Complexity.Logics.Propositional.CNF.ThreeCNF
public import Complexity.Logics.Propositional.CNF.ThreeCNF.Exact
public import Complexity.Logics.Propositional.CNF.ThreeCNF.Exact.PolyTime
public import Complexity.Logics.Propositional.CNF.ThreeCNF.PolyTime
public import Complexity.Logics.Propositional.CNF.ThreeOccurrence
public import Complexity.Logics.Propositional.CNF.ThreeOccurrence.PolyTime
Expand All @@ -2217,8 +2224,10 @@ public import Complexity.Logics.Propositional.ClauseSet.Sparsification.Bounds
public import Complexity.Logics.Propositional.ClauseSet.Sparsification.Counting
public import Complexity.Logics.Propositional.ClauseSet.Sparsification.CountingDeletion
public import Complexity.Logics.Propositional.ClauseSet.Sparsification.CountingInsertions
public import Complexity.Logics.Propositional.ClauseSet.Sparsification.CountingList
public import Complexity.Logics.Propositional.ClauseSet.Sparsification.CountingOccurrences
public import Complexity.Logics.Propositional.ClauseSet.Sparsification.CountingParameters
public import Complexity.Logics.Propositional.ClauseSet.Sparsification.CountingPolyTime
public import Complexity.Logics.Propositional.ClauseSet.Sparsification.CountingSurvival
public import Complexity.Logics.Propositional.ClauseSet.Sparsification.CountingTree
public import Complexity.Logics.Propositional.ClauseSet.Sparsification.CountingUnits
Expand Down
Loading
Loading