Questions tagged «reference-request»

要求文献提供有关特定，狭窄问题的问题。

2
参考要求：分类理论，因为它适用于类型系统
我不断听到关于如何必须学习类别理论才能真正理解编程语言理论的信息。到目前为止，我在不涉足类别领域的情况下学到了很多PL。但是，我认为是时候该大踏步地看看我所缺少的了。 不幸的是，我找不到的任何资料似乎都与类型系统或编程没有任何联系。他们说这是计算机科学家对类别理论的入门，但是随后转向一般的抽象废话（我很爱说），而没有给出任何实际的例子或应用。 我想我的问题实际上有两个方面： 范畴论对于理解PL中的“深层概念”是否必不可少？ 从实际应用到类型系统和编程的角度来看，有什么资料可以解释类别理论？ 到目前为止，我得到的最深入的是模糊的函子概念（据我所知，它似乎与ML中的函子无关）。我对要从类别理论的角度理解monad所需的抽象感到恐惧。
4
图形同构问题是否已解决？
维基百科的图形同构问题页面似乎表明，不，它尚未解决。但是，我的一个朋友指出了一种用于图同构的多项式时间算法。我没有足够的经验去理解本文的推理。 我确实在没有多项证明的情况下尝试了多项式时间算法，但是我想知道在继续之前是否已经成功解决了这个问题。 那么，图的同构问题解决了吗？
4
团体理论和形式语言的桥梁定理
是否存在某种自然或显着的方式来关联或链接数学组和CS 形式语言或其他一些核心CS概念（例如，图灵机）？ 我正在寻找参考/应用程序。但是请注意，我知道半群语言和CS语言之间的联系（即通过有限自动机）。（有关半自动机的文献有没有看过“群自动机”？） 几年前，我见过一篇可能接近的论文，可以将TM转换表转换为二进制操作，在某些情况下有时甚至是一组操作，可以想象是基于TM状态表中的某种对称性。它没有特别探索，但也没有排除它。 而且，尤其是对于有关有限组分类的大量数学研究而言，它在TCS中是否具有任何意义或解释？这种庞大的数学研究大厦的“算法透镜”观点是什么？关于计算中可能存在的隐藏结构的“说明”是什么？ 这个问题部分地受到其他一些注释的启发，例如： 在TCS中使用代数结构 格罗莫夫定理上的RJ Lipton
2
函授问题的可判定限制
该波斯特对应问题（PCP）是不可判定。 PCP的有界版本为 -complete，PCP的标记版本（两个列表之一的单词的首字母必须不同）在P S P A C E [1]中。NPNP\mathrm{NP}PSPACEPSPACE\mathrm{PSPACE} 这些受限制的版本是否用于证明其他问题的某些复杂性结果（通过减少）？ PCP是否还有其他受限制的版本，使其可以确定（尤其是完整）？PSPACEPSPACE\mathrm{PSPACE} [1] V. Halava，M. Hirvensalo，R. De Wolf（1999）“ 标记的五氯苯酚是可判定的 ”。
3
多核SAT解算器
我正在尝试解决25k子句5k变量SAT问题。由于它已经运行了一个小时（precosat），因此我想在以后解决更大的问题，因此我正在寻找一种多核SAT-Solver。 由于似乎有许多SAT解算器，我很迷茫。 有人能指出我最适合我的情况吗？ 如果有人可以给我大概的时间（如果可能的话），我也很高兴。
2
是否有VCS和文件版本的正式CS定义？
我不知道这是不是在开玩笑，但是一旦我阅读了git，hg或svn等版本控制系统中所谓的文件正式定义，就可以了。这就像是一个同胚的数学对象。这是在开玩笑吗，或者真的有关于版本控制系统和VCS数学的计算机科学理论吗？
2
2路DFA的空度问题的复杂性是什么？
我想知道，确定2路DFA的空度的时间复杂度是多少？也就是说，可以在其只读输入磁带上向后移动的有限自动机。 根据Wikipedia的说法，它们等效于DFA，尽管等效DFA可能成倍增大。我发现它们的补码和交集的状态复杂性，但是对于它们的空性测试却没有。 有人知道我可以在哪找到论文吗？
1
编程语言语义原型制作工具
是否有用于对编程语言语义和类型系统进行原型制作的工具，并且还允许对标准属性（例如类型健全性）进行某种模型检查？ 我之所以这样问，是因为我正在读一本有关Alloy的书，它提供了我想要的确切功能，但是对于使用关系逻辑表示的模型而言。 我知道Ott，但是它没有这种“模型检查”功能，因为它专注于为证明助手系统生成代码。 任何有关这种工具存在的参考都将是不错的。
1
NP难题是否可以平均为多项式？
我想知道在一般情况下是否存在难题，即“多项式”，我认为有两种解释方法？ñPNPNP 如果，是否有一种算法可以解决N P难问题，其摊销（平均情况）运行时间为O （n k），且常数k为？P≠ NPP≠NPP \neq NPñPNPNPØ （ñķ）O(nk)O(n^k)ķkk 是否存在 -hard 或B P P甚至P P中的问题？ñPNPNP乙PPBPPBPPPPPPPP 任何人都可以回答或提供参考答案中的任何一个吗？
3
逻辑与计算入门书
您能给我一些有关逻辑和计算的入门（但全面）书籍的建议吗？ 我想到的一些模糊主题是： Presburger artihm。，PA，ZF，ZFC，HOL 集合论，类型论 不同理论的建模计算（车床） 与计算复杂度（FMT，描述性复杂度）链接
1
为什么FPTAS中的所有问题也都在FPT中？
根据Wikipedia关于多项式时间近似方案的文章： FPTAS中的所有问题都是固定参数可处理的。 这个结果令我惊讶-这些类似乎彼此完全不同。FPTAS通过问题的容易程度来表征问题，而FPT通过问题相对于某些参数的困难来表征问题。不幸的是，维基百科（在我问这个问题时）并未对此进行引用。 是否有此结果的标准证明？还是有我可以查阅的资料来了解有关此连接的更多信息？
2
存在瓶颈问题的作业调度
给定个作业，每个作业需要次才能完成。nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N 每个作业必须由一台机器M进行预处理和后处理，该机器一次只能处理1个作业，并且两个阶段都需要1个单位时间。在经过预处理之后，作业被发送到具有无限功率的机器（该机器可以并行处理无限数量的作业），并且它将在时间准备就绪，然后必须再次将其立即（立即）发送到机器M后期处理。JiJiJ_iTiTiT_i 相关的决策问题是： 输入：处理时间的作业，整数问题：我们可以处理在时间的所有作业使用上述的“瓶颈”模式？Ti>0,Ti∈NTi>0,Ti∈NT_i >0, T_i \in \mathbb{N}NNNK≥2NK≥2NK\geq 2N ≤K≤K\leq K 这个问题有名字吗？ 它的复杂性是什么？（是还是 -complete？） PP\sf{P}NPNP\sf{NP} 3月29日更新： 正如M.Cafaro在他的回答中正确指出的那样，该问题类似于无 约束最小完成时间问题（UMFT）（请参阅《调度算法手册》的第17章 ），是 -hard（已证明） W. Kern和W. Nawijn撰写的“在单个机器上有时间滞后地安排多操作作业”，特温特大学，1993年。如我所见，存在一些差异，因为在我的模型中：NPNP\sf{NP} 前/后处理时间是恒定的（1个时间单位） 作业完成后，必须立即进行后处理（UMFT模型允许延迟） 我没有在网上找到Kern＆Nawijn证明，所以我仍然不知道上述限制是否改变了问题的难度。 最后，您可以将整个过程想像成一个带大烤箱的烹饪机器人。机器人可以一次准备一种不同类型的食物（所有食物都需要相同的准备时间），将它们放入烤箱，一旦煮熟就必须将其从烤箱中取出并加入一些冷食... “ 烹饪机器人问题 ” ：-)
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.