tvd blog

Entries tagged - "complexity"

• Strong and Weak NP-Hardness Dec 28, 2023
• Courcelle's Theorem and Monadic Second Order Logic (MSO) Dec 22, 2023
• Big-Oh Pendantry Dec 2, 2023
• Decision, Optimisation & Construction Nov 18, 2023
• Existential Theory of the Reals Nov 16, 2023
• Sum of Radicals Nov 11, 2023
• NP-hardness and "reasonable encodings" Nov 6, 2023
• "NP-hard" Doesn't Mean That You Can't Solve It Nov 4, 2023
• PP is overpowered Nov 2, 2023