Live briefing
Everything about Padding argument
Proof technique in computational complexity theory
In computational complexity theory, the padding argument is a tool to conditionally prove that if some complexity classes are equal, then some other bigger classes are also equal. This type of argument is also sometimes used for space complexity classes, alternating classes, and bounded alternating classes. Wikipedia →
đź§ Start here: a 6-step reading path
- Read the overview: Padding argumentA 5-minute orientation
- Pick up a classic book: Objects first with JavaThe most-reprinted book on the subject
- Go sideways: Karp–Lipton theoremA closely related topic
- Go sideways: Counting problem (complexity)A closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
- No matching papers found.
📚 Books worth reading
Objects first with JavaDavid J. Barnes, Michael Kolling · 2002
Ten epochs of church historyFulton, John, 1834-1907, Locke, Clinton, 1829-1904 · 1879
HackingJon Erickson, Jon Erickson · 2003
Learning PHP, MySQL & JavaScriptRobin Nixon · 2009
Teach Yourself REXX in 21 daysWilliam F. Schindler, Esther Schindler · 1994
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
đź”— Related topics
- Karp–Lipton theorem In complexity theory, the Karp–Lipton theorem states that if the Boolean satisfiability problem (SAT) can be solved by Boolean circuits with a polynomial…
- Counting problem (complexity) In computational complexity theory and computability theory, a counting problem is a type of computational problem that is obtained by strengthening a…
- PCP theorem In computational complexity theory, the PCP theorem (also known as the PCP characterization theorem) states that every decision problem in the NP complexity…
- Lookback option Lookback options, in the terminology of finance, are a type of exotic option with path dependency, among many other kind of options. The payoff depends…
- Wrapped distribution In probability theory and directional statistics, a wrapped probability distribution is a continuous probability distribution that describes data points…
- Time hierarchy theorem In computational complexity theory, the time hierarchy theorems are important statements about time-bounded computation on Turing machines. Informally…
- IP (complexity) In computational complexity theory, the class IP (which stands for interactive proof) is the class of problems solvable by an interactive proof system…
- ♯P-completeness of 01-permanent The #P-completeness of 01-permanent, sometimes known as Valiant's theorem, is a mathematical proof about the permanent of matrices, considered a seminal…