首页/论文/1408.4048

arXiv 1408.40482014-08cs.DS

投影对策的改进近似算法

Improved Approximation Algorithms for Projection Games

Pasin Manurangsi, Dana Moshkovitz

备注：: 41 pages, 2 figure
DOI：: 10.1007/s00453-015-0088-5

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

投影对策（Label-Cover）问题在近似算法中具有重要意义，因为目前已知的NP-困难的近似结果大多是Label-Cover的约简。在本文中，我们设计了几个投影游戏的近似算法：1。一个多项式时间近似算法，改进了以前的最佳近似Charikar，Hajiaghayi和Karloff。2.光滑投影对策的一个次指数时间算法。3.平面图上投影对策的一个多项式时间近似方案（PTAS）和这种近似方案的一个紧运行时间下界。

英文摘要：

The projection games (aka Label-Cover) problem is of great importance to the field of approximation algorithms, since most of the NP-hardness of approximation results we know today are reductions from Label-Cover. In this paper we design several approximation algorithms for projection games: 1. A polynomial-time approximation algorithm that improves on the previous best approximation by Charikar, Hajiaghayi and Karloff. 2. A sub-exponential time algorithm with much tighter approximation for the case of smooth projection games. 3. A polynomial-time approximation scheme (PTAS) for projection games on planar graphs and a tight running time lower bound for such approximation schemes.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

均值支付博弈中价值问题和最优策略合成的改进伪多项式上界

An Improved Pseudo-Polynomial Upper Bound for the Value Problem and Optimal Strategy Synthesis in Mean Payoff Games

在这项工作中，我们提供了一个$O(|V|^2 |E|\, W)$伪多项式时间确定性算法来解决平均收益博弈中的价值问题和最优策略综合。这通过因子$\log(|V|\, W)$改进了由于Brim而导致的先前已知的最佳伪多项式时间上限，~ \etal。改进取决于值的适当表征，以及根据重新加权的能量博弈和小能量进展度量的最佳位置策略的描述。

2016-04-24cs.CCcs.DScs.GT

对二人回合制游戏和非二元AUSO的随机动作移除算法的改进亚指数分析

Improved subexponential analysis of the Random-Action-Removal algorithm for 2-player turn-based games and non-binary AUSOs

Blavatnik School of Computer Science, Tel Aviv University（特拉维夫大学布拉瓦特尼克计算机学院）

研究二人回合制等游戏及非二元AUSO的随机动作移除算法，它是随机策略迭代算法，改进自Matoušek等人算法。改进分析表明其能在$e^{O(\sqrt{n\ln(m/n)})}$时间内解决有$n$个状态和$m\geq2n$个动作的游戏，是解决此类游戏最快随机算法。

2026-07-08cs.DS

基于改进动态Gibbs抽样的零和博弈量子加速

Quantum Speedups for Zero-Sum Games via Improved Dynamic Gibbs Sampling

我们给出了一个量子算法来计算一个零和博弈在有界元素的$m \times n$支付矩阵中的$ε$ -近似纳什均衡。给定一个标准的量子预言访问的回报矩阵，我们的算法运行在时间$\widetilde{O}(\sqrt{m + n}\cdot ε^{-2.5} + ε^{-3})$和输出的$ε$近似纳什均衡的经典表示。这改进了由[vAG 19]获得的$\widetilde{O}(\sqrt{m + n} \cdot ε^{-3})$的最佳先验时间段运行时间和由[GK 95]获得的经典$\widetilde{O}((m + n) \cdot ε^{-2})$运行时间，无论何时$ε= Ω((m +n)^{-1})$。我们通过设计新的量子数据结构来从缓慢变化的吉布斯分布中有效采样，从而获得了这一结果。

2023-01-10cs.DSmath.OCquant-ph

改进的基于集合的奇偶博弈符号算法

Improved Set-based Symbolic Algorithms for Parity Games

具有ω-正则获胜条件的图博弈提供了一个数学框架来分析反应系统和程序分析中的广泛问题（如反应系统的综合、程序修复和分支时间性质的验证）。奇偶条件是指定ω-正则获胜条件的标准形式。具有奇偶条件的图对策等价于μ演算模型检验，是一个非常重要的算法问题。符号算法具有重要的意义，因为它们为分析大型有限状态系统提供了可扩展的算法，也为分析具有有限商的无限状态系统提供了算法。基于集合的符号算法使用基本集合运算和单步前导运算符。我们考虑具有$n$顶点和具有$c$优先级的奇偶条件的图博弈。虽然有许多显式算法用于具有奇偶条件的图游戏，但对于基于集合的符号算法，只有两种算法（注意，我们使用空间来指代符号算法存储的集合的数量）：（a）需要$O(n^c)$符号运算和线性空间的基本算法;以及（b）需要$O(n^{c/2+1})$符号运算但也需要$O(n^{c/2+1})$空间的改进算法（即，指数空间）。在这项工作中，我们提出了两个基于集合的符号算法的奇偶性游戏：（a）我们的第一个算法需要$O(n^{c/2+1})$符号运算，只需要线性空间;和（b）发展我们的第一个算法，我们提出了一个算法，需要$O(n^{c/3+1})$符号运算和线性空间。我们还提出了第一个线性空间集为基础的符号算法的奇偶游戏，最多需要一个次指数的符号操作。

2017-06-15cs.DScs.LO

勘误：《能量博弈与平均支付博弈的更快确定性指数时间算法》

Errata to: "Faster Deterministic Exponential Time Algorithm for Energy Games and Mean Payoff Games"

本技术报告针对ICALP 19提出的能量博弈与平均支付博弈改进指数时间算法的伪代码错误，给出修正版算法并更正相关引理证明。

2023-10-06cs.DS

一种改进的求置换识别所需个数的近似算法

Improved Approximation Algorithm for the Number of Queries Necessary to Identify a Permutation

在过去的三十年里，从算法的角度来看，演绎游戏已经变得很有趣。演绎博弈是两个局中人在不完全信息下的零和博弈。第一个玩家，称为“codemaker”，选择一个密码，第二个玩家，称为“codebreaker”，试图通过尽可能少的猜测来破解密码，利用每次猜测后由codemaker给出的信息。一个著名的演绎游戏是著名的主谋游戏。在本文中，我们考虑所谓的黑钉变体的主谋，其中唯一的信息有关的猜测是位置的数量，在该猜测符合密码。更准确地说，我们处理一个特殊版本的黑钉游戏与n孔和k >= n颜色，其中不允许重复的颜色。我们提出了一个策略，确定秘密代码在O（n log n）查询。我们的算法改进了Ker-I Ko和Shia-Chung Teng（1985）的结果，在k = n的情况下几乎是原来的2倍。据我们所知，没有以前的工作处理的情况k > n。关键词：摄魂师;组合问题;排列;算法

2013-03-26cs.DScs.GT

更多相关论文收起更多论文

子模超图划分：度量松弛与基于改进割匹配游戏的快速算法

Submodular Hypergraph Partitioning: Metric Relaxations and Fast Algorithms via an Improved Cut-Matching Game

本文提出统一有向与无向超图划分的通用模型，引入多态拟阵割函数，通过负型度量松弛实现$O(\sqrt{\log n})$近似，并推广割匹配游戏得到近线性时间$O(\log n)$近似算法。

2023-07-26cs.DMcs.DS

求解奇偶博弈的拟多项式算法的改进复杂度分析

Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games

本研究针对顶点带优先级的奇偶博弈求解问题，基于通用树算法通过细化通用树宽度分析、改用n/2-通用树两项改进，将d=ω(log n)场景下的拟多项式复杂度提升了θ(d²)倍。

2023-04-29cs.DScs.FLcs.GT

求解奇偶对策的新确定性算法

New Deterministic Algorithms for Solving Parity Games

我们研究奇偶游戏，其中两个玩家之一控制只有少量的$k$的节点和其他玩家控制的$n-k$的其他节点的游戏。我们的主要结果是一个固定参数的算法，解决了时间$k^{O(\sqrt{k})}\cdot O(n^3)$的二部奇偶游戏，和一般的奇偶游戏的时间$(p+k)^{O(\sqrt{k})} \cdot O(pnm)$，其中$p$是不同的优先级和$m$是边缘的数量。对于所有使用$k = o(n)$的游戏，这改进了Jurdzi{\displaystyle Jurdzi}ski，Paterson和Zwick（SICOMP 2008）以前最快的算法。我们还获得了新的核化结果和一个改进的确定性算法的平均度小的图。

2015-12-10cs.CCcs.DS

Parity和Streett目标的改进算法

Improved Algorithms for Parity and Streett objectives

在图和博弈图中计算奇偶性目标和Streett目标的获胜集是计算机辅助验证中的中心问题，其应用于具有强公平条件的封闭系统的验证、开放系统的验证、检查接口兼容性、规范的良构性以及反应系统的合成。我们展示了如何计算$n$顶点上的获胜集，用于（1）在时间$O(n^{5/2})$中的博弈图中的奇偶校验-3（又名一对Streett）目标和（2）在时间$O(n^2 + nk \log n)$中的图中的k对Streett目标。对于这两个问题，这给出了更快的算法密集图，并代表了第一次改善渐近运行时间在15年。

2017-09-22cs.DScs.LO

改进的结构化稀疏恢复算法

Improved Algorithms For Structured Sparse Recovery

已知的是，除了稀疏性的标准概念（称为结构化稀疏性）之外，信号的某些结构可以提高若干压缩感测应用中的样本复杂度。最近，Hegde等人提出了一个框架，称为近似容忍基于模型的压缩感知，用于恢复具有结构化稀疏性的信号。他们的框架需要两个神谕，头部和尾部近似投影神谕。这两个预言机应该返回模型中最接近查询信号的近似解。在本文中，我们考虑两个结构稀疏模型，并得到改进的投影算法。第一个是树稀疏模型，它捕捉分段光滑信号小波分解中的支持结构。我们提出了一种线性时间$(1-ε)$ -近似算法用于头近似投影和线性时间$(1+ε)$ -近似算法用于尾近似投影。以前最好的结果是一个$\tilde{O}(n\log n)$时间bicriminal近似算法（这意味着他们的算法可能会返回一个解决方案的稀疏性大于$k$）由Hegde等人。我们的结果提供了一个肯定的答案，在调查中提到的Hegde和Indyk的开放问题。作为一个推论，我们可以恢复一个恒定的近似$k$稀疏信号。另一种是约束地球移动器距离（CEMD）模型，其用于对信号的非零系数的位置不作为空间（或时间）位置的函数显著改变的情况进行建模。我们得到了首近似投影的第一个单准则常数因子近似算法。以前最著名的算法是双克里什近似。利用这一结果，我们可以得到一个更快的常数近似算法，用较少的测量CEMD模型的恢复问题。

2017-01-20cs.DScs.ITmath.IT