Questions tagged «reference-request»

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

2
关于广义平面图和广义外平面图
任何平面，分别为外平面图 满足| E ' | ≤ 3 | V ′ | - 6， 分别| E ' | ≤ 2 | V ′ | - 3，对于每个子图ģ ' = （V '，È '）的。G = （V，E）G=（V，Ë）G=(V,E)| Ë′| ≤3 | V′| −6|Ë′|≤3|V′|-6|E'|\le 3|V'|-6| Ë′| ≤2 | V′| −3|Ë′|≤2|V′|-3|E'|\le 2|V'|-3G′= （V′，E′）G′=（V′，Ë′）G'=(V',E')GGG 同样，可以在多项式时间内识别（外）平面图。 关于图，使得每个子图 （分别为）是已知的的？是否可以在多项式时间内识别它们？| E ' …
1
是否有明显下推自动机的变体，可以将单词压入堆栈？
我想知道，是否有任何有关可见下推自动机的论文或研究，但允许将单词而不是单个字母推到堆栈上。 替代地，允许符号在过渡上被推动的构造可以实现相同的目标。ϵϵ\epsilon 显然，可以形成这种变化，但是我想知道是否会破坏使VPA变得有趣的闭合性和可判定性。 我正在寻找一种使用堆栈作为计数器的构造，该构造将根据读取的初始符号将其递增常量，然后根据读取的其他符号进行递减计数。 对于任何不知道的人，显然下推自动机是指可以将字母分为推入符号，弹出符号和完全不影响堆栈的符号的自动下注自动机。推还是弹出的选择完全取决于正在读取的当前符号。它们在交点，并集，串联，星号和补码下关闭，从而赋予它们丰富的可确定属性。有关更多信息，请参见本文。
1
相关记录的参数化和投影消除
π 1：甲× 乙→ 甲π 2：甲× 乙→ 乙A×B≜∀α.(A→B→α)→αA×B≜∀α.(A→B→α)→α A \times B \triangleq \forall\alpha.\; (A \to B \to \alpha) \to \alpha π1:A×B→Aπ1:A×B→A\pi_1 : A \times B \to Aπ2:A×B→Bπ2:A×B→B\pi_2 : A \times B \to B 即使F型的自然读数是一对带有let样式消除的对，也并不令人惊讶。let(x,y)=pinelet(x,y)=pine\mathsf{let}\;(x,y) = p \;\mathsf{in}\; e，因为两种对在直觉逻辑中是可互换的。 现在，在具有强制性量化的从属类型理论中，您可以遵循相同的模式来编码从属记录类型Σx:A.B[x]Σx:A.B[x]\Sigma x:A.\; B[x]为 Σx:A.B[x]≜∀α.(Πx:A.B[x]→α)→αΣx:A.B[x]≜∀α.(Πx:A.B[x]→α)→α \Sigma x:A.\;B[x] \triangleq \forall\alpha.\; (\Pi x:A.\; B[x] \to \alpha) …
1
？
在阅读Dick Lipton的博客时，我偶然发现了他的Bourne Factor帖子结尾处的以下事实： 如果对于每个，都存在形式的关系 其中，每个，和的位长均为，则因式分解为多项式电路。（2 n）！= m − 1 ∑ k = 0 a k b c k k m = p o l y （n ）a k b k c k p o l y （n ）nnn(2n)!=∑k=0m−1akbckk(2n)!=∑k=0m−1akbkck (2^n)! = \sum_{k=0}^{m-1} a_k b_k^{c_k} m=poly(n)m=poly(n)m = poly(n)akaka_kbkbkb_kckckc_kpoly(n)poly(n)poly(n) 换句话说，具有指数位数的位，可以有效地表示。(2n)!(2n)!(2^n)! 我有几个问题： 有人可以提供上述关系的证明，告诉我名称和/或提供任何参考文献吗？ 如果我要给你，以及，和每一个，是否可以提供一个多项式时间算法来检查关系的有效性（即）？中号一个ķ …
1
这种有向图问题的名称是什么？
取一个有向图，其中的边用自然数装饰。我们想要两个顶点v 1和v 2之间的所有路径P的集合，以使路径中的每个连续边都用自然数装饰，该自然数大于装饰前一条边的自然数。GGGPPPv1v1v_1v2v2v_2 一个应用程序是公交车或火车时刻表。如果您要根据车站之间的交通路线来确定两个城市之间的不同路线。（您不能在第一趟火车到达之前乘坐第二趟预定出发的火车。） 我非正式地将其称为“计划图”。但是我不知道文献中的名字是什么。 对与此相关的算法的任何引用也很有趣。
1
寻求斯科特的原始LCF论文
以下手稿是否公开可用？ 达纳·斯科特（Dana Scott），1969年，一种高阶可计算函数的理论。未出版的研讨会笔记，共7页，牛津大学。 在Cardone和Hindley，2006年Lambda微积分和组合逻辑的历史中，第8.1.2节“ 类型为集合 ”中对本文进行了讨论。另外，第10.1节“ 领域理论 ”可追溯至本手稿，其中包含一些至关重要的顺序理论见解。
1
平均情况重言式/矛盾，超出了随机k-CNF模型
众所周知，对于具有足够大的常数，具有子句的变量的随机 -CNF公式极不可能满足（即它们是矛盾的）。因此，随机的 -CNF公式（对于足够大）构成了无法满足的布尔公式的自然分布（或者双重构成了重言式，即矛盾的否定）。已经对该分布进行了广泛的研究。ķķ k ññ n ç ñCñ cn CC c ķķ k CC c 我的问题是：在命题重言式或矛盾方面是否还有其他既定分布，可以认为是捕获了重言式或公式不满足的“平均情况”？是否对这些分布进行了深入研究？
2
寻找最大的有限直径的点集
鉴于点在和距离找到这些点，使得没有两个人的欧几里得距离超过最大子。p1个，… ，pñp1个，…，pñp_1,\ldots,p_n[Rd[Rd\mathbb{R}^{d}升升l升升l 这个问题的复杂性是什么？ 在两点之间的距离最大为的点上具有边的点的图形中，问题等同于找到最大团。反过来可能不成立，因为不是每个图形可以得到这种方式（一个实例是星为）。因此，一个相关的问题是：有关此类图的知识是什么？升升lķ1 ，7ķ1个，7K_{1,7}d= 2d=2d=2
2
比特承诺会在信息理论安全模型中产生遗忘的转移吗？
假设您有两个互不信任的任意强大参与者。他们可以使用位承诺（例如，密封的信封，其中包含一个玩家可以交给另一位玩家的数据，但是只有在第一个玩家给第二个玩家提供密钥后才能打开）。您可以使用它来构建一个遗忘的传输协议吗？即使玩家同意最后打开所有信封以检测作弊，这是否成立（例如，在玩扑克手之后，每个人都同意公开他们的牌）？ 我假设您不能从位承诺中获得遗忘的转移，因为遗忘的转移在密码学上是通用的，并且我找不到任何说位承诺的引用，但是是否有证据表明您无法做到这一点？ 最后，如果参与者是量子人物，有人看过这个问题吗？
1
无（无孔，无孔）图的参考？
无X图是那些不包含来自X的图作为诱导子图的图。甲孔是具有至少4个顶点的循环。一个奇数孔是具有奇数个顶点的孔。一个antihole是孔的补充。 无（奇数孔，无奇数孔）图恰好是理想的图。这就是强完美图定理。可以在多项式时间内在理想图中找到最大的独立集（和最大的集团），但是唯一已知的方法是建立一个半定程序来计算Lovásztheta数。 无（无孔，无防孔）图称为弱弦弦图，它构成许多问题（包括INDEPENDENT SET 和CLIQUE）的简单类。 有谁知道（无孔，无孔）图是否已被研究或写过？ 这些图在约束满足问题中很自然地出现，其中相关变量的图形成一棵树。这样的问题相当容易，因此，如果有一种方法可以找到该族图中最大的独立集合 派系而不必计算Lovásztheta ，那将是很好的。 等效地，一个人想要找到无（无孔，奇-反孔）图的最大独立集。张显治在下面指出了为什么与（无孔，无孔）无图相比，这对于独立组是更有趣的一类。
1
在
我应该读什么才能理解这个问题？ 小深度量子电路的功能。是？换句话说，如果我们愿意进行多项式时间经典后处理，那么可以将任何量子算法的“量子”部分压缩到polylog（n）深度吗？（众所周知，这对于Shor的算法是正确的。）如果是这样，构建通用量子计算机将比通常认为的容易得多！顺便说一句，在B Q P和B P P B Q N C之间进行甲骨文分隔并不难。 乙Q P= B PPB Q NC乙问P=乙PP乙问ñCBQP = BPP^{BQNC}乙Q P乙问PBQP乙PPB Q NC乙PP乙问ñCBPP^{BQNC}，但问题是是否存在“实例化”这样一个oracle的具体功能。-斯科特·亚伦森（Scott Aaronson） http://www.scottaaronson.com/writings/qchallenge.html
2
在哪里可以了解有关理论计算机科学的更多信息？
我是数学专业的研究生，而理论计算机科学是我从未理解过的领域，因为我找不到关于该主题的很好的读物。我想知道这个域实际上是关于什么的，它所涉及的主题是什么，需要具备哪些先决条件，等等。现在，我只想知道： 什么是理论计算机科学的入门书籍？ 鉴于有这样的事情。如果不是，那么对计算机科学有基本知识（即，他们了解一种或两种编程语言的基础）的数学家应该从哪里开始呢？你有什么建议吗？ 谢谢！
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.