Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

https://abhamra.com/blog/randomized-maxcut/

#HackerNews #ProvingBounds #RandomizedMaxCut #ApproximationAlgorithm #Lean4 #HackerNews

Now (7pm ET Wed) watch https://youtu.be/AVBwSqH01L0 (FEEL FREE TO SUBSCRIBE TO YOUTUBE
@hajiaghayi

FOR FUTURE LESSONS) Lesson 21: Introduction to Algorithms by Mohammad Hajiaghayi: In this session, we talk about #DP, #Memoization,#ApproximationAlgorithm, #GreedyAlgorithm, #Backtracking