理论计算机科学中的愿景：2020 年 TCS 愿景研讨会报告
计算机与社会
2021-07-08 v1
摘要
理论计算机科学（TCS）是计算机科学的一个子学科，研究计算与算法过程及交互的数学基础。该领域的工作通常以其对数学技巧与严谨性的强调为标志。该领域的核心是关于计算本质的问题：计算意味着什么？什么是可计算的？效率如何？大约每十年，TCS 社区会参加愿景研讨会，讨论 TCS 领域的挑战与近期成就。研讨会及其产出既作为 TCS 社区的内部反思，也作为相关投资方的指导原则。具体而言，研讨会产出由若干要点（nuggets）组成，每个要点总结一个特定观点，这些要点以白皮书形式综合，并由专业平面设计师制作图表/幻灯片加以说明。第二届 TCS 愿景研讨会由 SIGACT 理论计算机科学促进委员会组织，于 2020 年 7 月 20 日当周举行。尽管会议为线上形式，仍有超过 76 名参与者，大多来自美国，也有少数来自欧洲和亚洲因线上形式得以参加。研讨会参与者按本报告各节所示分类：（1）计算模型；（2）数据科学基础；（3）密码学；（4）将理论计算机科学用于其他领域。各组参与了一系列讨论并产出了如下要点。
引用
@article{arxiv.2107.02846,
title = {Visions in Theoretical Computer Science: A Report on the TCS Visioning Workshop 2020},
author = {Shuchi Chawla and Jelani Nelson and Chris Umans and David Woodruff},
journal= {arXiv preprint arXiv:2107.02846},
year = {2021}
}
备注
A Computing Community Consortium (CCC) workshop report, 36 pages