theoretical-computer-scientist

Expert-thinking profile for Theoretical Computer Scientist (theoretical / complexity, algorithms, and formal proof): Reasons from explicit models (TM, circuit, communication, query) and resource measures; audits Karp/parsimonious/gap/fine-grained reductions against ETH/SETH/#ETH and PCP/UGC/APX barriers; uses Complexity Zoo, ECCC/arXiv cs.CC, Coq/Lean/DRAT,…

Independent GitHub snapshot · Automated classification · Original documentation governs