Questions tagged «reference-request»

当作者需要了解与该问题相关的工作时,将使用参考请求。

5
采用图灵机作为计算的主要模型的历史原因。
据我了解,图灵的模型已成为描述计算的“标准”。我想知道为什么会这样-也就是说,为什么TM模型比其他理论上等效的(据我所知)模型(例如Kleene的μ递归或Lambda微积分(我理解)前者直到后来才出现,而后者最初并不是专门为计算模型而设计的,但这表明从一开始就存在替代方案。 我能想到的是,TM模型比其替代品更能代表我们实际拥有的计算机。这是唯一原因吗?

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 …

12
格罗布纳基地在TCS?
有人知道Gröbner基础在理论计算机科学中的有趣应用吗? Gröbner基用于求解多元多项式方程,这通常是一个NP-hard问题。我想知道在TCS或TCS相关领域(组合,编码理论)中是否使用了一些易于处理的特殊情况来提供有效的算法/构造/证明。

6
哪种计算模型是“最佳”的?
图林在1937年描述了一种图灵机。从那时起,已经描述了许多计算模型,以试图找到一个类似于真实计算机但仍然足够简单以设计和分析算法的模型。 结果,我们有许多算法,例如针对不同计算模型的SORT问题。不幸的是,我们甚至不能确定在允许位向量运算的字RAM中运行时间为O(n)的算法的实现比在运行时间为O(n⋅logn)的算法中的实现快一个单词RAM(当然,我只在谈论“好的”实现)。 因此,我想了解现有模型中哪个是设计算法的“最佳方法”,并且我正在寻找有关计算模型的最新详细调查,以了解模型的优缺点及其与现实的接近程度。

3
整数分解问题比RSA分解难吗:?
这是来自math.stackexchange的交叉文章。 让FACT表示整数分解问题:给定找到素数整数使得p 我 ∈ Ñ,ê 我 ∈ Ñ,Ñ = Π ķ 我= 0 p ë 我我。n∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = \prod_{i=0}^{k} p_{i}^{e_i}. 让RSA表示因式分解问题的特殊情况,其中和是质数。也就是说,如果没有这样的因式分解,则给定素数或NONE。p ,q n p ,qn=pqn=pqn = pqp,qp,qp,qnnnp,qp,qp,q 显然,RSA是FACT的一个实例。FACT比RSA难吗?给定一个可以在多项式时间内求解RSA的预言机,是否可以将其用于在多项式时间内求解FACT? (非常感谢文学的指针。) 编辑1:添加了对计算能力的限制,即多项式时间。 编辑2:正如丹·布鲁姆利夫(Dan Brumleve)的回答所指出的那样,有一些论点支持和反对RSA比FACT更难(或更容易)。到目前为止,我发现了以下论文: D. Boneh和R. Venkatesan。破解RSA可能比分解更容易。1998年EUROCRYPT http://crypto.stanford.edu/~dabo/papers/no_rsa_red.pdf D. Brown:破解RSA可能和分解一样困难。Cryptology ePrint Archive,Report 205/380(2006)http://eprint.iacr.org/2005/380.pdf G. Leander和A. Rupp。关于通用环算法的RSA等价和因式分解。2006年ASIACRYPT http://www.iacr.org/archive/asiacrypt2006/42840239/42840239.pdf …

7
真正的随机数生成器:图灵可计算吗?
我正在寻找一个确定的答案,即“真正随机”数的生成是否是图灵可计算的。我不知道该怎么说。 关于“用于生成随机数的有效算法”的StackExchange问​​题几乎可以回答我的问题。查尔斯·斯图尔特(Charles Stewart)在回答中说:“ [马丁·洛夫随机性]不能由机器产生。” 罗斯·斯尼德(Ross Snider)表示:“任何确定性过程(例如图灵/套准机)都不能产生“哲学”或“真实”随机数。” 关于什么才是真正的随机数生成器,是否有一个明确的公认概念?如果是这样,是否知道它不能由图灵机计算? 也许将我指向相关文献就足够了。感谢您的任何帮助,您可以提供! 编辑。感谢Ian和Aaron的丰富知识!我在这方面没有受过教育,因此我很感谢您的协助。如果我可以在此附录中稍微扩展一下这个问题:是一种可以访问纯随机性源(TM)的TM可以计算传统TM无法实现的函数吗?

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

9
TCS证明技术参考
是否有参考文献(在线或书籍形式)通过证明技术来组织和讨论TCS定理? Garey和Johnson这样做是为了完成NP完整性证明所需的各种小部件构造(特别是在他们的书的第3章中),但是我想知道在TCS中是否有任何东西可以处理证明技术。 因此,例如,主题可能包括对角线化,根据使用的构造类型进一步细分;计算历史证明;平台结构;我想我可以将计算文本的标准理论切碎并重新排列这些部分,但是如果那里还提供一些其他注释并显示出这些技术之间的共同点,那将是很棒的用过的。 明确地说,由于任何文本都将使用证明,因此我真正感兴趣的是作为证明技术本身是实际主题的参考。 除了Garey and Johnson的第3章之外,这是我刚刚想到的另一个局部示例:在Li和Vitanyi的第6章中,他们讨论了不可压缩方法,并提供了如何应用该技术的示例。

5
独立于ZFC的理论CS结果
我要问一个非常模糊的问题,因为理论计算机科学和数学之间的界限并不总是容易区分的。 问题:您是否知道CS中有任何有趣的结果,这些结果要么独立于ZFC(即标准集理论),要么最初在ZFC(及某些其他公理)中得到证明,然后才在ZFC alorne中得到证明? 我这么问是因为我很接近完成我的博士论文,我的主要结果(一类游戏这是用来给“游戏的语义”来的确定性概率模态演算)是在成熟的那一刻ZFC扩展与其他公理(连续统假设即否定¬ ç ^ h和马丁的公理中号一)。μμ\mu¬CH¬CH\neg CH MAMAMA 因此,设置显然是计算机科学(模态演算是一个时序逻辑,而我将其与概率系统延伸到工作)。μμ\mu 我想在论文中引用其他此类示例(如果您知道的话)。 先感谢您, 再见 马泰奥

6
在中为NP完全但在处理的几何问题?
在考虑许多几何问题很容易,但是对于在是NP完全的(包括我最喜欢的问题之一,单位磁盘盖)。R1R1R^1RdRdR^dd≥2d≥2d\geq2 有人知道和可以解决多项式问题,但吗? R1R1R^1R2R2R^2Rd,d≥3Rd,d≥3R^d,d\geq3 更一般而言,是否存在对于 NP完全但对于可以解决多项式的问题,其中?RkRkR^kRk−1Rk−1R^{k-1}k≥3k≥3k\geq3

7
我们对可证明正确的程序了解什么?
计算机程序的复杂性不断提高,计算机在社会中的地位日益重要,这使我想知道为什么我们仍然不集体使用编程语言,而您必须使用编程语言来正式证明代码可以正常工作。 我相信该术语是“认证编译器”(我在这里找到了它):一种编译一种编程语言的编译器,在该语言中,不仅必须编写代码,而且还必须声明代码规范并证明代码符合该规范。规范(或使用自动证明者这样做)。 在互联网上搜索时,我仅发现使用非常简单的编程语言的项目或尝试适应现代编程语言的失败项目。这引出我的问题: 是否有任何认证的编译器实现了成熟的编程语言,还是这很难/从理论上讲是不可能的? 此外,我还没有看到任何涉及可证明程序的复杂性类,例如“由图灵机确定的所有语言的类(存在证明该图灵机停止的证据)”,我将其称为Př Ô v 一个b 升ë řProvableRProvableR作为模拟到[RRR,该组递归语言。 我可以看到学习这样的复杂类的优点:例如,对于Př Ô v 一个b 升ë řProvableRProvableR停机问题是可判定的(I甚至猜想PR o v a b l e R EProvableREProvableRE在明显的方式定义的。将可以决定的最大语言类别)。另外,我怀疑我们是否会排除任何实用的程序:当您无法证明程序终止时,谁会使用该程序? 所以我的第二个问题是: 我们对复杂性类了解多少,这些复杂性类要求其包含的语言具有可证明的某些属性?

3
复杂性动物园是否有备份/替换?
这是非技术性的问题,但对于TCS社区当然是相关的。如果认为不合适,请随时关闭。 多年来,“ 复杂性动物园”网页(http://qwiki.stanford.edu/index.php/Complexity_Zoo)对于TCS社区无疑是非常有用的。显然,已经有一段时间了。我想知道,是否有人仍在维护它,是否已移动它,是否有备份服务器,或者是否还有其他计划来保存这个复杂性类的出色数据库,它们与相关出版物的关系和引用。如果不是,是否有可比较的网页可以替代? 更新(8月1日):动物园重新上线,斯科特(Scott)正在寻找自愿对其进行镜像的人,以避免将来发生任何故障。

5
测试值与计算函数的复杂性
通常,我们知道测试功能是否在给定输入中采用特定值要比评估该输入中的功能容易。例如: 评估非负整数矩阵的永久性是#P-hard的,但是在P中(二分匹配)就可以确定该永久性为零还是非零。 有n个实数,使得多项式Π Ñ 我= 1(X - 一个我)具有以下性质(事实上大多数套Ñ实数将具有这些特性)。对于给定的输入x,测试此多项式是否为零将进行Θ (log n )乘法和比较(根据Ben-Or的结果,因为零集具有n一种1个,。。。,一ña1,...,ana_1,...,a_n∏ñ我= 1(x − a一世)∏i=1n(x−ai)\prod_{i=1}^{n}(x - a_i)ñnnXxxΘ (对数n )Θ(log⁡n)\Theta(\log n)ñnn分量),但评估上述多项式至少需要步骤,由Paterson-Stockmeyer进行。Ω (n--√)Ω(n)\Omega(\sqrt{n}) 排序需要(也步上一个比较树Ω (ñ 日志ñ )由Ben-Or的结果,对一个真正的代数决策树的步骤,再次),但如果列表排序测试仅使用ñ - 1周的比较。Ω (n 对数n )Ω(nlog⁡n)\Omega(n \log n)Ω (n 对数n )Ω(nlog⁡n)\Omega(n \log n)n − 1n−1n-1 多项式上是否存在一般条件,足以暗示测试多项式是否为零的(代数)复杂度等于评估多项式的​​复杂度? 我正在寻找不依赖于事先了解问题复杂性的条件。 (澄清10/27/2010)要清楚,多项式不是输入的一部分。这意味着,给定固定的函数族(每个输入大小一个(位长或输入数)一个),我想比较语言/决策问题的复杂性{ X :f n(X )= 0 ,其中 n 是X } …

1
将n次多项式相乘
问题是要计算多项式。假设所有系数都适合一个机器字,即可以在单位时间内进行操作。(a1x+b1)×⋯×(anx+bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) 您可以通过以树形式应用FFT 来进行次。你能做O (n log n )吗?O(nlog2n)O(nlog2⁡n)O(n \log^2 n)O(nlogn)O(nlog⁡n)O(n \log n)

3
最大公约数(gcd)的复杂度
请考虑以下计数问题(或相关的决策问题):给定两个用二进制编码的正整数,计算其最大公约数(gcd)。此问题包含的最小复杂度类别是什么?你能提供参考吗? 在这个问题上,我主要对运行时间的渐近边界不感兴趣,而对复杂度类感兴趣。交流电有问题吗?可以证明它不在AC0中吗?P内与此相关的其他复杂度类别又是什么?

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.