Questions tagged «survey»

14
拓扑在计算机科学中的应用
我想写一篇关于计算机科学中拓扑学应用的调查。我计划介绍计算机科学中拓扑思想的历史,并重点介绍当前的一些发展。如果有人可以就以下任何问题提供意见,那将非常有帮助。 是否有任何论文或笔记描述计算机科学中拓扑使用的时间顺序? 结果在计算机科学中最重要的应用是什么? 使用拓扑来深入了解计算的当前工作中最有趣的领域是什么? 谢谢!

14
计算机在哪里以及如何帮助证明定理?
该问题的目的是从理论计算机科学中收集示例,这些示例对系统地使用计算机有所帮助 在建立导致定理的猜想时, 伪造猜想或证明方法, 构造/验证(部分)证明。 如果您有特定示例,请描述其完成方式。也许这将帮助其他人在日常研究中更有效地使用计算机(到目前为止,在TCS中这似乎仍然是相当不常见的做法)。 (由于没有单个“正确”答案,因此被标记为社区Wiki。)

22
您知道什么层次结构和/或层次结构定理?
我目前正在撰写有关TCS层次定理的调查。在搜索相关论文时,我注意到层次结构不仅在TCS和数学中,而且在从神学和社会学到生物学和化学的众多科学中都是一个基本原理。看到大量信息,我希望我可以寻求这个社区的帮助。当然,我不希望您为我做书目搜索,而是要两种信息: 您的工作,同事或您熟悉的其他人的工作所产生的层次结构和层次结构定理并不那么广为人知。例如,这可能是您感兴趣的模糊计算模型的层次定理,或者是特定类的层次,例如与博弈论相关。 您认为绝对有必要将等级和等级定理包含在此类调查中。这可能已经为我所熟知,但是查看您认为更重要的层次结构以及为什么这样做将很有用。可能是“我认为非常重要,因为没有它,我们将无法进行此类研究”或“虽然不为人所知,但在基于逻辑的TCS中,我们经常使用此层次结构,我认为它是一个重要的工具。” 。是的,我的确相信逻辑方面的人有很多层次要提及,但是请记住,我们在谈论问题的层次。PHPHPH 我将在此处保留更新列表: d Ť一世中号ËDTIMEDTIME层次结构 ñŤ一世中号ËNTIMENTIME层次结构 小号PA CËSPACESPACE层次结构 算术(也称为Kleene)层次结构 超算术层次结构 分析层次 乔姆斯基阶层 Grzegorczyk层次结构及其相关:Wainer层次结构(快速增长),Hardy层次结构 (缓慢增长)和Veblen层次结构 里奇的等级制度 Axt的层次结构(如Axt63中所定义) 循环层次结构(在MR67中定义) A C A C CñCNCNC(,)层次结构 A CACACA CCACCACC 深度层次结构,如Sipser83中所定义 多项式层次结构()和较不完善的Meyer-Stockmeyer层次结构(量词之间没有区别)PHPHPH 指数体系()Ë大号è中号ËñŤ甲- [R ÿELEMENTARYELEMENTARY ñPNPNP中间等级(Ladner定理) 不太坚固的(Arthur-Merlin)一个MAMAM 该(非确定性的固定参数)的层次结构和相关的交替W¯¯层次( -hierarchy)和 -hierarchy(W与参数依赖深度)A W W ∗w ^WW一个w ^AWAWw ^∗W∗W^{*} 计数层次 傅立叶层次 布尔层次结构(在),也等于查询层次结构(在)ñ PñPNPNPNPNPNP 属性测试的层次结构,如GoldreichKNR09中所示 无星星的常规语言的点深度层次 dBPd(P)BPd(P)BP_{d}(P):可通过多项式大小的分支程序解决的类,加上输入的每一位最多测试d次的附加条件,形成了不同值的层次结构ddd …

1
学习GCT的前提条件
似乎几何复杂性理论需要大量纯数学知识,例如代数几何,表示论。 虽然我是一名CS学生,并且没有非常抽象和纯粹的数学课程,但我对该程序很感兴趣。 是否有用于学习该理论的“最少知识”列表? 此列表包括CS或数学部门的讲义,任何期刊或会议的调查以及纯数学教科书。 [ 编辑:以后添加 ]感谢您的评论。 一般计算理论:我读了Sipser的书,标题为“计算理论导论” 复杂性理论:特别是,我对降低复杂性的具体模型感兴趣。因此,我阅读了Arora-Barak教科书中的“具体下界”部分。在Nisan撰写的通信复杂性书的几章中,我也有基本的知识。 基础数学:我已经学习了基于证明的线性代数,例如向量空间的一般定义等,以及基于epsilon-delta参数的精确计算参数。 代数:我了解了组,环和域的定义和示例。我有一班面向CS学生的课程,还没有了解这种代数系统的一般理论。

4
缺少维基百科文章
您最希望在Wikipedia上缺少哪些TCS主题? 它们可能是明显的遗漏,或者只是您认为应该真正发表文章的主题。 请每个答案一个主题,以便对最需要的主题进行投票。 2017年5月2日更新:Shuchi Chawla致力于改善TCS在维基百科上的覆盖率。我正在添加此更新,希望人们能够适当地更新他们的答案,添加更多答案和/或为这项工作做出贡献!

4
高级数据结构手册
我正在寻找一本关于高级数据结构的书,它超出了诸如Cormen,Leiserson,Rivest和Stein的“算法简介”之类的标准教科书的范围。 该书可用于教授高级数据结构的研究生课程,例如Erik Demaine和MIT的AndréSchulz的高级数据结构课程。一本百科全书的数据结构手册会更好。

4
量化金融中的计算复杂性
预测股市很难!TCS可以使这种观点更加正式吗? 最近,我开始对金融有所思考,想知道TCS的知识如何提供帮助。对冲基金和投资公司似乎一直在使用算法交易,机器学习和人工智能,但是TCS的结果似乎很少。特别是,我只知道两篇论文: Sanjeev Arora,Boaz Barak,Markus Brunnermeier和Rong Ge,金融产品中的计算复杂性和信息不对称,2009年。 Philip Z. Maymin,只有当P = NP时,市场才有效,2011年。 第一篇论文表明,对于有计算边界的代理,导数可以放大信息不对称的成本(而不是减少信息不对称的预期目标)。第二篇论文通过证明市场效率可用于解决NP难题,挑战了人们对有效市场的普遍观念。 是否有有关思想的书籍/调查报告或开创性论文?特别是与难于预测或近似市场或在此类市场中进行最佳(或接近最佳)交易的困难有关的事情吗? 一个稍微有点元的问题:为什么似乎没有关于此的论文?是否没有兴趣,还是所有感兴趣的方都成为隐藏在不发布协议背后的量化指标? 相关问题 社会科学中的算法镜头 金融经济学中投资组合理论的复杂性分类是什么?


1
无上下文语言规则性的充分条件
最好收集一系列条件,这些条件暗示上下文无关的语言L是规则的,即形式为以下条件:“如果给定的CFG / PDA具有属性P,则其语言是规则的” 属性P不必表征生成常规语言的CFG。此外,P不必是可确定的,P应该“某种程度上取决于”与上下文无关的语言(“ L的句法半形词是有限的”,“ L在空间o(log log n)中是可确定的”,依此类推)上,这不是我要找的东西。

2
敏感性-区块敏感性猜想-含义
设为灵敏度为s (f )和块灵敏度为b s (f )的布尔函数。fffs(f)s(f)s(f)bs(f)bs(f)bs(f) 感光度块灵敏度猜想猜想状态,有一个,使得∀ ˚F ,b 小号(˚F )≤ 小号(˚F )Ç。c>0c>0c>0∀f, bs(f)≤s(f)c∀f, bs(f)≤s(f)c\forall f,\mbox{ }bs(f)\leq s(f)^c 这个猜想的真假是什么意思? 请同时引用参考。

2
是否对各种编程语言功能的语义进行了调查?
是否对各种编程语言功能的语义进行了调查(包括论文,书籍章节,教程,链接等)?我最初对这里http://www.digitalmars.com/d/2.0/comparison.html中D的功能不知所措 我想看看我可以从这里得到什么,尽管我对stackoverflow提出了类似的问题,并且理解这两个站点有不同的观点。 非常感谢您的回复!感谢Dave Clarke 对meta的建议!

10
了解P与NP问题的资源
最近,我想起了与问题,这是由Clay数学研究所的Stephen A. Cook 解释的。ñ PPP\mathsf{P}ñ PNP\mathsf{NP} 它激起了我的兴趣,我想进一步了解它。第一步将是对问题有更深入的了解,并对整个领域有所了解。 您可以推荐任何书籍或其他资源以使我更多地了解该问题吗?

7
高级算法手册
我正在寻找有关算法高级主题的资源(最好是手册)(主题超出了CLRS和DPV等算法教科书的范围)。 可用于在算法课程中教授主题的材料类型,例如Erik Demaine和David Karger的Advanced Algorithms课程。 最好提供能够概述该领域的资源(例如手册),但是更集中的资源(例如Vijay Vazirani的“近似算法”书)也可以。



By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.