Questions tagged «reference-request»

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

1
代数紧凑类别
我在著名的Como90中阅读了Freyd的论文“代数完全分类”，关于他在该论文中定义的代数紧性的概念，我有两个问题。（如果您不熟悉该定义，则为：如果每个endofunctor都具有正则同构的初始代数和最终协代数，则类别称为代数紧凑。） 代数紧凑类别的一些示例是什么？弗雷德（Freyd）举了一个例子，但严格来说，定义中的条件仅适用于某些感兴趣的终结者。通过阅读其他论文（例如“使用香蕉，透镜，信封和铁丝网进行功能编程”），我猜想cpo，omega-cpo的类别或丰富了（omega-）cpo的类别在代数上是紧凑的。这个事实的标准参考是什么？ 弗雷德说，这个定义是受“通用性原则”的驱使的，作为英语的非母语使用者，我感到困惑。首先，我认为这应该是原则，而不是原则。还有什么是多功能性？他的意思是多功能吗？这是像（uni）versality这样的单词的游戏吗？
3
选择排序数组的并集：已经知道吗？
我正在寻找以下算法/问题的书目参考：我将其命名为“ BiSelect”或“ t-ary Select”或“ Selected in Sorted Arrays”，但我想它是以前用另一个名称引入的吗？ 问题 考虑以下问题： 给定ķkk不相交的已排序数组一个1个，… ，AķA1,…,AkA_1,\ldots, A_k，其大小分别为，并且整数，它们已排序并集的第个值吗？吨∈ [ 1 .. Σ Ñ 我 ] 吨∪ 我甲我ñ1个，… ，nķn1,…,nkn_1,\ldots,n_k吨∈ [ 1 .. Σ Ñ一世]t∈[1..∑ni]t\in[1..\sum n_i]Ťtt ∪一世一个一世∪iAi\cup_i A_i 解决方案 有在一次运行一个非常简单的和优雅的算法，如果K = 2：如果K = 2，只是比较A_1 [T / 2]与A_2 [吨/ 2]并分别在A_1 [t / 2..t]和A_2 [1..t / 2]或A_1 [1..t / …
1
这个问题的复杂程度？
我试图了解以下问题属于哪个复杂度类： 指数多项式根问题（EPRP） 让是一个多项式度（p ）≥ 0与从有限域绘制系数ģ ˚F （q ）与q为素数，和- [R原始的该字段根。确定以下解： p （x ）= r x （或等价地，p （x ）− r x的零），其中r x表示指数r。p(x)p(x)p(x)deg(p)≥0deg⁡(p)≥0\deg(p) \geq 0GF(q)GF(q)GF(q)qqqrrrp(x)=rxp(x)=rxp(x) = r^x p(x)−rxp(x)−rxp(x) - r^xrxrxr^xrrr 请注意，当（多项式是一个常数）时，此问题恢复为离散对数问题，该问题被认为是NP中间的，即，它在NP中，但在P或NP中都不完整。deg(p)=0deg⁡(p)=0\deg(p)=0 据我所知，不存在用于解决此问题的高效（多项式）算法（Berlekamp和Cantor–Zassenhaus算法需要指数时间）。可以通过两种方式找到此类方程式的根： 在字段中尝试所有可能的项目，并检查它们是否满足方程式。显然，这需要场模的位大小中的指数时间。xxx 指数可在多项式形式被改写，通过使用拉格朗日内插来内插所述点 { （0 ，- [R 0），（1 ，- [R 1），... ，（q - 1，- [R q - 1）}，确定一多项式f （x ）。这多项式是相同的，以[R X正是因为我们是在一个有限的领域工作。然后，差prxrxr^x{(0,r0),(1,r1),…,(q−1,rq−1)}{(0,r0),(1,r1),…,(q−1,rq−1)}\{(0,r^0),(1,r^1),\ldots,({q-1},r^{q-1})\}f(x)f(x)f(x)rxrxr^{x}可以分解以找到给定方程式的根（使用Berlekamp或Cantor–Zassenhaus算法），并且该根可以读出这些因数。但是，此方法甚至比穷举搜索更糟：因为平均而言，经过 n个给定点的多项式将具有 …
1
是否有一本书/调查纸概述了语言类层次结构，闭包属性等
我目前正在进行一些形式语言研究，涉及的语言类别在Regular以上但在Context Free以下。我正在研究诸如反向绑定多计数器计算机，单堆栈计数器计算机，确定性CFL等之类的东西。 我想知道是否有人知道一本概述这些语言特性的好书或调查报告。我正在查看的大多数内容太晦涩或太新，以至于我在Hopcroft-Ullman的书中甚至是1979年版中都没有。 我主要是在寻找另一语言中包含哪些语言类，这些语言的闭包属性以及这些语言的基本问题（F问题）的可判定性。 我将在此参考资料中查找的一些示例： 逆向有界多计数器计算机是否接受所有语言，非逆向有界单计数器计算机是否接受语言？ 确定性反转边界的MultiCounter语言是否在左右串联下关闭？ 单柜台计算机的通用性是可决定的。 这些只是示例问题，我的日常工作中还有很多其他问题。 首先，我尝试追踪引用Oscar Ibarra的“反转界多计数器机器及其决策问题”的论文，但没有发现太多。
1
单纯形法的数值稳定性
单纯形算法通常在实数运算中或在离散世界中使用精确计算进行处理。但是，它似乎最常通过浮点算法实现。 这就提出了一个问题，即单纯形算法是否应视为数值算法，尤其是舍入误差如何影响计算。我对实际实现不感兴趣，但对理论基础不感兴趣。 您是否知道有关此问题的任何研究？
1
关于偏序线性扩展的一个问题
如果为您提供了部分订单的集合，则拓扑排序将告诉您集合是否存在扩展到总订单的情况（在这种情况下，扩展名是与每个部分订单一致的总订单）。 我遇到了一个变化： 修正了一个集。你给出的序列σ 1，... σ ķ从绘制的元素的V没有重复（序列是长度在1个之间| V |）。VVVσ1个，… σķσ1,…σk\sigma_1, \ldots \sigma_kVVV| V||V||V| 是否有一种方法可以固定每个序列的方向（正向或反向），以使所得到的链集合（视为部分顺序）允许扩展？ 这个问题众所周知吗？ 注意：方向是为整个序列选择的。因此，如果顺序是，你可以保持这种状态，或将其翻转到5 - 4 - 2 - 1，但你不能做任何事情。1 - 2 - 4 - 51−2−4−51-2-4-55 - 4 - 2 - 15−4−2−15-4-2-1
2
Multipebble自动机能否确定所有确定性的上下文相关语言？
MPA（多卵石自动机）是2DFA（双向确定性有限自动机），可以在给定输入w上使用任意数量的卵石（实际上卵石）-输入写在两端之间的磁带上-标记为＃w ＃）。在计算过程中，MPA可以检测头部下方的符号是否具有卵石，然后在没有卵石（卵石）的情况下可以放置卵石（除去卵石）。|w|+2|w|+2 |w|+2 ww w #w##w# \# w \# 是同态，其中 σ是符号和 ķ > 0。hk(σ)=σ⋯σk times=σkhk(σ)=σ⋯σ⏟k times=σk h_k(\sigma) = \underbrace{\sigma \cdots \sigma}_{k \mbox{ times}} = \sigma^k σσ \sigma k>0k>0 k>0 对于任何确定的上下文有关语言它是不难证明存在一个ķ > 0，使得ħ ķ（大号）可以通过MPA识别。所以，粗略地说，我们可以说L (L∈DSPACE(n)),L (L∈DSPACE(n)), \mathtt{L} ~~ \left( \mathtt{L} \in \mathsf{DSPACE(n)} \right), k>0 k>0 k>0~ hk(L)hk(L) h_k( \mathtt{L} ) 由线性空间DTM（确定性图灵机）确定的任何“问题”都可以由MPA确定。 …
3
排序“ k-tonic”序列
我希望有人对此有所了解，所以我不必阅读文献... 考虑数字的序列。考虑序列为n − 1间隔[ x 1，x 2 ] ，[ x 2，x 3 ] ，… ，[ x n - 1，x n ]。显然，如果实线上的任何点最多以2个间隔刺穿，则原始序列是双子序列的。我们将点最多以k个间隔刺入的序列称为kX1个，… ，xñx1,…,xnx_1, \ldots, x_nn − 1n−1n-1[ x1个，X2] ，[ x2，X3] ，… ，[ xn − 1，Xñ][x1,x2],[x2,x3],…,[xn−1,xn][x_1, x_2], [x_2, x_3], \ldots, [x_{n-1},x_n]ķkkķkk-idiotic。视觉上，如果绘制序列图（即按顺序连接点），则以上内容对应于以下条件：没有水平线与图相交超过k次。p一世= （i ，x一世）pi=(i,xi)p_i =(i,x_i)ķkk 看到可以在O （n log k ）时间内对惯用序列进行排序并不难（但也不是太容易），这显然是最佳的。ķkkØ （ñ 日志ķ ）O(nlog⁡k)O( …
1
独特的SAT与完全
独特的SAT是一个众所周知的问题：给定一个CNF公式，F是否确实只有一个模型？FFFFFF 我对“恰好是 -SAT”问题感兴趣：给定CNF公式F和整数m > 1，F是否确实具有m个模型？mmmFFFm>1m>1m>1FFFmmm 这两个问题看起来都很相似。所以我的问题是： 1-«完全 -SAT»多项式（一对多或图灵）可简化为唯一SAT吗？mmm 2-您知道有关该主题的任何参考资料吗？ 谢谢您的回答。 附录，约复杂第一篇正是 SAT：mmm 1- Janos Simon，《关于一对一的区别》，在第四届自动机，语言和程序设计座谈会上，480-491，1977年。 2-克劳斯·瓦格纳（Klaus W.Wagner），简洁输入表示的组合问题的复杂性，《信息学报》，第23卷，第325-356页，1986年。 在这两种物品，究竟 SAT（米≥ 1）被示出为C ^ =完成（下许多酮减少），其中类Ç是从复杂性类的计数层次（CH）。非正式地，C包含所有可以表示为确定给定实例是否具有至少m个多项式大小证明的所有问题（已知类C与类P P一致）。类C ^ =是的变体ç，其中“恰好中号 ”取代“至少米 ”。mmmm≥1m≥1m \geq 1C=C=C=CCCCCCmmmCCCPPPPPPC=C=C=CCCmmmmmm
1
表示未成年人是次立方图的拓扑未成年人的引文
如果是最大度数为3的图，并且是H的小数，则G是H的拓扑小数。GGGHHHGGGHHH Wikipedia引用了Diestel的“图论”的这一结果。该书的最新版本将其列为Prop 1.7.4。这本书缺少证据或引文。 下落（作为原始证明）是否为人所知？ 此外，是否有参考文献证明如果是爪的路径或细分，并且是H的未成年人，则G是H的子图？这里简短地提到了它，但是缺乏参考。GGGHHHGGGHHH
2
使用弱描述语言的Kolmogorov复杂性
我们可以将字符串的Kolmogorov复杂度xxx视为最短程序PPP和输入的长度，yyy使得x=P(y)x=P(y)x = P(y)。通常，这些程序是从某些图灵完备集合中提取的（例如PPP可能是图灵机的描述，或者可能是LISP或C中的程序）。即使当我们研究资源受限的Kolmogorov复杂性时，我们仍然会研究Turing机器，但是它们的运行时或空间使用量有一定的限制。其后果之一是字符串的复杂性无法确定。这似乎是一个尴尬的功能。 如果我们使用非图灵完整的计算模型来定义Kolmogorov复杂度会怎样？ 如果我们选择一个限制性足够强的模型（比如说我们的模型只能实现同一性），那么尽管我们也会丢失不变性定理，但是字符串的复杂度却可以确定。是否有可能拥有一个足够强大的模型，使其复杂度等于（图灵完备的偏移量，甚至是乘数）图灵完备模型，但又仍然脆弱到足以确定字符串的复杂度呢？有非图灵完整计算模型的Kolmogorov复杂度是否有标准名称？我在哪里可以了解到更多信息？
2
是否对各种编程语言功能的语义进行了调查？
是否对各种编程语言功能的语义进行了调查（包括论文，书籍章节，教程，链接等）？我最初对这里http://www.digitalmars.com/d/2.0/comparison.html中D的功能不知所措 我想看看我可以从这里得到什么，尽管我对stackoverflow提出了类似的问题，并且理解这两个站点有不同的观点。 非常感谢您的回复！感谢Dave Clarke 对meta的建议！
2
瓶颈最短路径的快速算法参考
我正在寻找瓶颈最短路径的良好参考。具体来说，给定具有边缘权重的无向图中的顶点s和t，您想要从s到t的最短路径，其中路径的长度是该路径上的最大边缘。通过找到中值边缘权重并（小心地）递归删除一半边缘，可以在O（n + m）时间内解决此问题。 有人知道这个的参考吗？
2
估计VC维
对以下问题了解多少？ 给定集合的功能˚F ：{ 0 ，1 } Ñ → { 0 ，1 }，找到最大的子集合小号⊆ Ç受约束VC-尺寸（小号）≤ ķ对于某个整数ķ。CCCF：{ 0 ，1 }ñ→ { 0 ，1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}小号⊆ çS⊆CS \subseteq C（S）≤ ķ(S)≤k(S) \leq kķkk 是否有针对该问题的近似算法或硬度结果？
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.