Combinatorics of monotone computations
From MaRDI portal
bipartite Paley graphsBoolean functionsclique-like graph functionscutting planes proofexponential lower boundsmonotone circuitsmonotone computationspartial \(t\)-designssuper-polynomial lower bounds
Classical propositional logic (03B05) Complexity of computation (including implicit computational complexity) (03D15) Structure of proofs (03F07) Transversal (matching) theory (05D15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Combinatorics in computer science (68R05)
Recommendations
Cited in
(21)- A note on monotone complexity and the rank of matrices
- On the minimum number of negations leading to super-polynomial savings
- A note on monotone real circuits
- The gap between monotone and non-monotone circuit complexity is exponential
- On the incompressibility of monotone DNFs
- Lower bounds for Boolean circuits of bounded negation width
- Lower bounds for monotone real circuit depth and formula size and tree-like cutting planes
- Higher lower bounds on monotone size
- On Negations in Boolean Networks
- scientific article; zbMATH DE number 4049557 (Why is no real title available?)
- Cutting planes cannot approximate some integer programs
- Communication lower bounds via critical block sensitivity
- scientific article; zbMATH DE number 6928782 (Why is no real title available?)
- Lower bounds for tropical circuits and dynamic programs
- Strongly exponential lower bounds for monotone computation
- Lower Bounds for DeMorgan Circuits of Bounded Negation Width
- Monotone circuit lower bounds from resolution
- Communication lower bounds via critical block sensitivity
- Fundamentals of Computation Theory
- Monotone circuit lower bounds from robust sunflowers
- Secret sharing, slice formulas, and monotone real circuits
This page was built for publication: Combinatorics of monotone computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5928586)