#randomizedmaxcut — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #randomizedmaxcut, aggregated by home.social.
-
In the thrilling new world of #Lean4, we've finally proven bounds for the Randomized MaxCut #Approximation algorithm that nobody asked for. 📈🔍 Now you can confidently cut those graphs like a pro while impressing... well, nobody. Because who doesn't love an NP-Complete problem just chilling with some approximation algorithms? 🙄🎉
https://abhamra.com/blog/randomized-maxcut/ #RandomizedMaxCut #NPComplete #Algorithms #GraphTheory #HackerNews #ngated -
Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4
https://abhamra.com/blog/randomized-maxcut/
#HackerNews #ProvingBounds #RandomizedMaxCut #ApproximationAlgorithm #Lean4 #HackerNews