Apparently I missed that Zhuk posted a *simplified* proof of the CSP Dichotomy Conjecture back in January: https://arxiv.org/abs/2404.01080
I'd really love to understand all of this!
#ComputationalComplexity #complexity #math #UniversalAlgebra
Joshua Grochow /
npub1nf…ng3kl
2024-10-04 19:28:22
Author Public Key
npub1nf0sjfdvmx76z2dy28d6ky8kfnypfj5ey79uvflh6dm20egszsns0ng3klPublished at
2024-10-04 19:28:22Event JSON
{
"id": "915cc14bd92d8429d8e5e24afed751bea7aecd94108f00c0206c38dd7c698bf5",
"pubkey": "9a5f0925acd9bda129a451dbab10f64cc814ca99278bc627f7d376a7e5101427",
"created_at": 1728070102,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"computationalcomplexity"
],
[
"proxy",
"https://mathstodon.xyz/@joshuagrochow/113250802225665047",
"web"
],
[
"t",
"complexity"
],
[
"t",
"universalalgebra"
],
[
"proxy",
"https://mathstodon.xyz/users/joshuagrochow/statuses/113250802225665047",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/joshuagrochow/statuses/113250802225665047",
"pink.momostr"
],
[
"-"
]
],
"content": "Apparently I missed that Zhuk posted a *simplified* proof of the CSP Dichotomy Conjecture back in January: https://arxiv.org/abs/2404.01080\n\nI'd really love to understand all of this!\n\n#ComputationalComplexity #complexity #math #UniversalAlgebra",
"sig": "9fbd30f4e41c146ee1e36c3eede0030156d77cf1fe673eccc311bf744dafff35e257c6e46041274faecec50a512bbf9c152952c955b89c807198fb976d9724bf"
}