Monotone Circuit Complexity of Matching
- đ¤ Speaker: Bruno Cavalar (Oxford)
- đ Date & Time: Tuesday 07 October 2025, 14:00 - 15:00
- đ Venue: Computer Laboratory, William Gates Building, Room SS03
Abstract
We show that the perfect matching function on $n$-vertex graphs requires monotone circuits of size $2}$. This improves on the $n{\Omega(\log n)}$ lower bound of Razborov (1985). Our proof uses the standard approximation method together with a new sunflower lemma for matchings.
Series This talk is part of the Algorithms and Complexity Seminar series.
Included in Lists
- Algorithms and Complexity Seminar
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computer Laboratory, William Gates Building, Room SS03
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- School of Technology
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)


Tuesday 07 October 2025, 14:00-15:00