#PSPACE

2025-11-10

On Monday, November 17, at 3:30pm ET, I get to give the next VCGT talk on the computational complexity of the game #BattleSheep: sites.google.com/view/virtual-

Abstract: Battle Sheep is a board game published by Blue Orange Games where players take turns moving stacks of sheep tokens around a hexagonal board, always leaving at least one sheep behind. In this talk we'll learn the basics of the game, play once, and finally show that determining the winnability of the game is PSPACE-complete. This talk assumes no prior knowledge of computational complexity.

#CombinatorialGames #ComputationalComplexity #PSPACE

2025-05-16

The second day of #Integers2025 was excellent! I heard some great talks, especially one from Carrie Finch-Smith. Me and the other three gamesters I know about here also took some time and I think we found a game to be #PSPACE complete, so we're definitely going to be writing that up!

Tonight we got to see a tree that owns itself. Cool stuff!

The organizers have been totally awesome. Great conference so far!

#NumberTheory #CombinatorialGames

2025-02-21

๐Ÿคฉ#call4reading

โœ๏ธTowards a #quantum-inspired proof for #IP = #PSPACE #by Ayal Green, Guy Kindler, and Yupan Liu

๐Ÿ”—10.26421/QIC21.5-6-2 (#arXiv:1912.11611)

#Quantumwalks #Singularcontinuousmeasure

2024-08-07

I finally wrote a #CombinatorialGames piece I've wanted to write for a long time. It's about how Col's computational complexity went confusedly unsolved for over 35 years and how I got scooped at the end of that but still got a cool result. combinatorialgametheory.blogsp

#ComputationalComplexity #PSPACE

2024-01-08

I'm going to be talking about Algorithmic CGT in India in a few weeks. I really want to start with the fundamentals of #PSPACE, so I want to present the Boolean Formula Game (en.wikipedia.org/wiki/Formula_). Whenever I talk about a game, I like to play it with the audience.

So... I coded a working version: kyleburke.info/DB/combGames/bo

It's not particularly fun, mostly because it's often very easy to win as the True player. (I didn't implement any deep strategies to generate more interesting formulas. Advice is welcome!)

Nevertheless, I'm very excited to use this next week and in future talks. #CombinatorialGames #ComputationalComplexity #WebGames

Mohammad HajiaghayiMTHajiaghayi@mathstodon.xyz
2023-11-25

In our effort to put courses online, we continue lectures on Algorithmic Lower Bound Course. Now you can watch

Lesson 4-11: Algorithmic Lower Bounds by Mohammad Hajiaghayi - NP-Completeness and Beyond

(FEEL FREE TO SUBSCRIBE TO YOUTUBE @hajiaghayi FOR FUTURE LESSONS Premiering on WEDNESDAYS)

youtu.be/VZyffnAb1r0 (Lesson 4: 3-Partition Problem & Proving NP-Hardness)

youtu.be/4fCD9_1eQw0 (Lesson 5: Puzzle Problem NP-Hardness & 3-Partition)

youtu.be/FIyEj72-UJQ (Lesson 6: 3-SAT Problem & Proving NP-Hardness)

youtu.be/tbSJzaKx2pA (Lesson 7: Puzzle Problem NP-Hardness via 3-SAT)

youtu.be/voRVebBsh94 (Lesson 8: Fine-grained Subcubic Complexity: Part 1)

youtu.be/gRURSM6QARo (Lesson 9: Fine-grained Subcubic Complexity: Part 2)

youtu.be/qPw82bTAXkc (Lesson 10: Fine-grained Subquadratic Complexity 1)

youtu.be/C6j4avVkI7U (Lesson 11: Fine-grained Subquadratic Complexity 2)

#AlorithmicComplexity,

#3SAT,

#3Partition,

#subquadratic,

#subcubic,

#Finegrained,

#HardnessExploration,

#NP,

#PSPACE,

#NPComplete,

#LogSpace,

#ExponentialComplexity,

#ParallelComputation,

#PvsNP,

#NPSPACE,

#NonDeterministicSpace, hashtag

#SavitchTheorem,

#ComplexityClasses,

#Reductions,

#ImportantProblems,

#CommunicationComplexity, hashtag

#GeometricProblems,

#AlgorithmDesign,

#ComputationalComplexity,

#TheoreticalComputerScience,

#AlgorithmicLowerBounds

For comprehensive handwritten lecture notes on this course, visit the instructor's website:

cs.umd.edu/~hajiagha/
The course textbook "Computational Intractability: A Guide to Algorithmic Lower Bounds" by Demaine, Gasarch, and Hajiaghayi is available for free at:

hardness.mit.edu/

Mohammad HajiaghayiMTHajiaghayi@mathstodon.xyz
2023-08-23

๐ŸŽฅ Now available: Algorithmic Lower Bounds Lessons 2 & 3 by Mohammad Hajiaghayi - NP-Completeness and Beyond
๐Ÿ”— Lesson 2: youtu.be/zNkKT0Y_tus
๐Ÿ”— Lesson 3: youtu.be/QvgknFAm_qg
๐Ÿ“บ Subscribe for more @hajiaghayi
Dive into #complexity, #NPvsP, #PSPACE, #reductions, and more!

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst