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/Lea…

独立 GitHub 快照 · 自动分类 · 以原作者文档为准