Questions tagged «reference-request»

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

3
图匹配问题的历史和状态
了解更多关于此问题的部分困难在于，图匹配问题与其更著名的表亲（匹配问题）不同，但在使用搜索引擎时很难与之区分开。 给定两个图G=(V,E)G=(V,E)G=(V,E)和G′=(V′,E′)G′=(V′,E′)G'=(V',E')，使得|V|=|V′||V|=|V′||V| = |V'|，任务是找到一个双射峰π:V→V′π:V→V′\pi : V \rightarrow V'，使得该双射峰在GGG和边缘之间建立尽可能多的对应关系G′G′G'。 换句话说，如果MMM和M′M′M'是邻接矩阵，那么我们想最大化 ∑v,w∈VMv,w⋅M′π(v),π(w)∑v,w∈VMv,w⋅Mπ(v),π(w)′\sum_{v,w \in V} M_{v,w} \cdot M'_{\pi(v),\pi(w)} 这个问题显然包含图同构作为特例，并且可以在（非多项式！）归约条件下简化为二分匹配。 确实存在哪种算法，对其复杂性了解多少？
1
比特币加密安全吗
我正在尝试在计算密码安全性的背景下理解比特币协议。 问题是对有关比特币密码学文章基础的参考要求。 我的第一个问题是什么抽象的加密协议比特币试图实现？我们在捕获比特币的密码学中是否有电子货币/数字货币的定义？安全电子货币有哪些安全要求？ 如果答案是肯定的，那么像eBay这样的公司将提供一种集中化的电子汇款方式。考虑去中心化的电子货币是否会改变电子货币的抽象密码协议的定义？还是只是在没有可信任的第三方的模型中使用相同的概念？ 如果对手的计算能力比其他（诚实）参与方的计算能力强，则对手可以破坏协议吗？ 假设我们有各方为加上对手联网和对手都想打破Bitcoin的协议。为简单起见，我们假设网络图是而对手并不控制网络，而只是像其他方一样的一方。在这种简单情况下，关于协议安全性的确切数学主张是什么？ññnP一世P一世P_i1个≤ 我≤ Ñ1个≤一世≤ñ1 \leq i \leq n一种一种Aķn + 1ķñ+1个K_{n+1}
1
“边缘或孤立顶点”删除游戏的获胜策略
这个在图表上玩的完美信息游戏是否已知/研究过？ 给定一个图G=(V,E)G=(V,E)G= (V,E)，两个玩家交替选择一条边或一个孤立的节点。如果玩家选择边缘e=(u,v)e=(u,v)e = (u,v)则两个节点uuu和vvv及其入射边缘将被删除。如果玩家选择一个孤立的节点，则删除该节点。第一个无法移动的玩家将输掉比赛。 寻找获胜者的复杂性是什么？ 是否有提及类似游戏的内容？
1
就布尔函数的敏感度而言，其上界
在布尔函数的复杂性度量研究中，一个非常有趣的开放问题是所谓的灵敏度vs块灵敏度猜想。有关灵敏度和块灵敏度的背景知识，请参见 S. Aaronson的以下博客文章，网址为http://www.scottaaronson.com/blog/?p=453。 据我所知，就而言，上已知的最佳上限是。[凯尼恩，Kutin纸]但是，当然也许是更方便的涉及到的其他一些复杂性度量发言权，度作为多项式超过，即，尺寸最高的傅立叶系数。s （f ）b s （f ）= O （e s （f ）√b 小号（˚F）bs(f)bs(f)小号（˚F）s(f)s(f)s（f）f度（f）fRb 小号（˚F）= O （e小号（˚F）小号（˚F）----√）bs(f)=O(es(f)s(f))bs(f)=O(e^{s(f)}\sqrt{s(f)})小号（˚F）s(f)s(f)Fff度（f）deg⁡(f)\deg(f)Fff[RR\mathbb{R} 问题是，就而言，在上已知的最佳上限是多少？s （f ）度（f）deg⁡(f)\deg(f)小号（˚F）s(f)s(f)
1
噪声奇偶校验（LWE）下限/硬度结果
一些背景： 我有兴趣为错误学习（LWE）问题找到“鲜为人知”的下界（或硬度结果），以及诸如环上错误学习之类的概括。对于特定的定义等，这是Regev进行的一次不错的调查：http : //www.cims.nyu.edu/~regev/papers/lwesurvey.pdf （R）LWE型假设的标准类型是通过（可能是量子）归约到（可能是理想）晶格上的最短向量问题。已知SVP的通常公式是NP难的，并且相信很难近似到小的多项式因数。（相关：很难将CVP近似到/ most-polynomial /因数内：http : //dl.acm.org/citation.cfm?id=1005180.1005182）我也听说它提到了（关于量子算法）将某些晶格问题（如SVP）近似为较小的多项式近似因子与非阿贝尔隐藏子组问题（由于其自身的原因而被认为很难）有关，尽管我从未见过明确的正式来源。 但是，我对来自学习理论的“噪声奇偶性”问题导致的硬度结果（任何类型）更感兴趣。这些可能是复杂度级别的硬度结果，具体的算法下限，样本复杂度界限，甚至是证明尺寸下限（例如，分辨率）。众所周知（也许很明显），LWE可以看作是“噪声奇偶性/学习奇偶性与噪声”（LPN）问题的推广，（从谷歌搜索中发现）似乎已用于降低编码理论和PAC等领域的硬度学习。 通过环顾四周，我仅发现（轻微次指数）LPN问题的上界，例如http://www.di.ens.fr/~lyubash/papers/parityproblem.pdf 题： 我知道LPN在学习社区中是最受信赖的。我的问题是：为什么？ 是因为每个人都非常努力，但是还没有人找到好的算法吗？上面的斜体字样（或我遗漏的其他字词）是否存在已知的下界？ 如果答案很明确，那么对已知内容和/或对调查/讲义的引用进行简要总结将是很好的。 如果未知数太多，那么“最新技术”的论文越多越好。:)（提前感谢！）
2
关于
编辑（作者塔拉·B）：我仍然希望提及这一证明，因为我必须自己为自己的论文证明这一点。 我正在寻找本文中出现的定理4的证明： 刘和韦纳的无上下文语言交叉口的无限层次。 定理4：一种维仿射歧管是不表达为仿射歧管的有限联合其中的每一个是尺寸ñ - 1或更小。nnnn−1n−1n-1 有人知道参考证明吗？ 如果流形是有限的，并且我们在元素上定义了自然顺序，那么关于晶格是否有任何类似的陈述？ 了解该定理的一些背景： 定义：设为有理数的集合。一个子集中号⊆ Q Ñ是一个仿射歧如果（λ X + （1 - λ ）Ý ）∈ 中号时，，和。QQ\mathbb{Q}M⊆QnM⊆QnM\subseteq \mathbb{Q}^n(λx+(1−λ)y)∈M(λx+(1−λ)y)∈M(\lambda x+(1-\lambda)y)\in Mx∈Mx∈Mx\in My∈My∈My\in Mλ∈Qλ∈Q\lambda\in\mathbb{Q} 定义：如果对于一些，则仿射流形被认为与仿射流形平行。M′M′M'MMMM′=M+aM′=M+aM'=M+aa∈Qna∈Qna\in \mathbb{Q}^n 定理：每个非空仿射歧管平行于独特子空间。该由M⊆QnM⊆QnM\subseteq \mathbb{Q}^nKKKKKKK={x−y:x,y∈M}K={x−y:x,y∈M}K=\{x-y:x,y\in M\} 定义：该尺寸非空仿射歧管的平行于它的子空间的维数。
3
近似频率矩的界限
让是一个整数序列，其中每个一Ĵ ∈ { 1 ，2 ，... ，Ñ }。对于我∈ { 1 ，2 ，... ，Ñ }，让米我 = | { j ：a j = i } | 。第k个频率矩定义为a1,a2,…,ama1,a2,…,ama_1, a_2,\dotsc, a_maj∈{1,2,…,n}aj∈{1,2,…,n}a_j \in \{1,2,\dotsc,n\}i∈{1,2,…,n}i∈{1,2,…,n}i \in \{1,2,\dotsc,n\}mi=|{j:aj=i}|mi=|{j:aj=i}|m_i = |\{j : a_j = i\}|kkk Fk=∑i=1nmki.Fk=∑i=1nmik.\displaystyle F_k = \sum_{i=1}^n m_i^k. 在他们著名的论文《近似频率矩的空间复杂性》中，Alon等人。得到流算法近似于使用大致ø （Ñ 1 - 1FkFkF_k空间。他们还使用通信复杂性技术来获得Ω（n1−5O(n1−1k(logn+logm))O(n1−1k(log⁡n+log⁡m))O(n^{1-\frac{1}{k}}(\log n + \log …
2
具有成对可见性的美术馆变体？
传统的画廊问题设置了一个区域和一些具有可见性的护卫，并要求查看整个区域所需的护卫最少。 有没有人看过画廊的变型，其中可见性区域由一对警卫定义。例如，一种说法可能是，如果有一对守卫的最小边界圆覆盖该点，则该点被覆盖？
1
独特的st-Connectivity的复杂性
我想知道是否可以在N L（不确定的日志空间）中确定以下问题：NL\mathsf{NL} 给定一个有向图G ^具有两个可分辨顶点小号和吨，有一个独特的来自路径小号到吨在ģ？GGssttssttGG 我认为这很可能在N L中，因为我们既可以确定是否存在s - t路径，又可以确定是否存在这样的路径。但是，计算这样的路径数是♯P - hard（Valiant，1979）。NL\mathsf{NL}sstt♯P\mathsf{\sharp P} 所以我的问题是：您对此有参考吗？很明显它在N L中吗？还是它不在N L中？NL\mathsf{NL}NL\mathsf{NL}
2
非本地游戏与量子通信
我目前正在寻找一些很好的参考资料，这些资料将非本地游戏与量子通信中的有益方面联系在一起。例如，我知道非本地游戏擅长于降低通信复杂性以及确保QKD协议的安全性。 我想知道的是，关于量子通信中非本地游戏的主要论文有哪些？最近在该领域有没有特别重要的进展？网络上是否有与此材料相似的优秀视频摘要/讲座/演示文稿？ 自己寻找一些与量子通信和CHSH游戏有关的材料也是特别感兴趣的。 我对此问题的任何反馈都将不胜感激。谢谢！
1
给定一个PDA M，使L（M）在DCFL中，构造一个DPDA N，使L（N）= L（M）
是否有可能构建一种算法，以将下推自动机连同输入作为该自动机接受的语言是确定性上下文无关语言并输出确定性下推自动机的承诺作为输入，而确定性下推自动机恰好接受所接受的语言由？L （M ）N M中号MM大号（中号）L(M)L(M)ñNN中号MM 一个等效的问题是构造一种算法，该算法将下推自动机（如上所述，保证是确定性的）和确定性下推自动机。如果则输出为yes，如果则输出为no。L （M ）N中号MM大号（中号）L(M)L(M)ñNN大号（中号）= L （N）L(M)=L(N)L(M) = L(N)大号（中号）≠ L （N）L(M)≠L(N)L(M)\neq L(N) 我相信解决第一个问题的算法将通过确定性下推自动机的等价性的确定性给出解决第二个问题的算法。我认为解决第二个问题将意味着解决第一个问题，因为我们枚举了所有确定性下推自动机，并对它们逐个运行算法，一旦得到一个yes实例，便输出该自动机。 我想知道是否有人对此有所了解？也许这是已知问题和/或已知解决方案？顺便说一句，我相信如果引入限制说PDA生成的语言是一个群体的单词问题，这是可以决定的。
4
寻找有限模型
我知道，“一阶公式是否有模型” 这个问题通常是不确定的。ϕϕ\phi 谁能给我一个链接或一本书来给出有限模型的答案。如果我有一个一阶公式，是可判定是否φ具有有限的模式？我很确定这个问题是众所周知的，但是我什至不知道从哪里开始寻找答案。（例如，我原以为它会出现在Libkin的“有限模型理论的元素”中，但似乎找不到。）ϕϕ\phiϕϕ\phi 我的问题的第二部分是：是否存在已知限制，使得该问题可以判定？ 例如，对于仅具有一元谓词的一阶公式，问题可能变得可判定。或当我们拥有一元谓词加上一个后继关系时。但是我无法想象有一种算法来决定是否存在超出这些限制的（有限）模型。
2
对基于条件逻辑的编程语言的引用
条件逻辑是使用与其他条件概念相对应的模态运算符（例如，因果条件读入“导致“ B”或概率条件“ ”，其读为“给定 ”）。A A | B A B一种□→ BA◻→BA\; \square\!\!\!\!\to B一种AAA|BA|BA|BAAABBB 通常，这些逻辑是从模型理论上进行研究的，但是我想知道它们在编程语言设计中的应用（例如，键入命令性动作）。 我希望能参考他们的证明理论（即，演算/自然演绎）或基于这些模态运算符的类型的编程语言。 谢谢！ 编辑：《斯坦福哲学百科全书》对此主题进行了很好的介绍。
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.