首页/论文/1006.2218

arXiv 1006.22182010-06-11cs.CCcs.DSphysics.atm-clus

NP类的复杂性

The Complexity Of The NP-Class

Carlos Barron-Romero

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文提出了一种新颖而直接的公式，并给出了一个完整的洞察力对理解的复杂性问题的所谓NP类。特别是，本文集中在搜索的最佳几何结构和旅行商问题。主要结果是多项式约化过程和NP类注记猜想的解。

英文摘要：

This paper presents a novel and straight formulation, and gives a complete insight towards the understanding of the complexity of the problems of the so called NP-Class. In particular, this paper focuses in the Searching of the Optimal Geometrical Structures and the Travelling Salesman Problems. The main results are the polynomial reduction procedure and the solution to the Noted Conjecture of the NP-Class.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

小因子和素元的直线复杂性

The straight line complexity of small factorials and primorials

本文确定了$n!$对于$n\leq 22$的直线复杂度，并给出了直到$n=46$的直线复杂度的界.以同样的方式，我们确定的直线复杂性的产品的第一个素数的$p=31$和给界$p\leq 43$。我们的结果是基于一个详尽的计算机搜索的短长度直线程序。

2014-12-15cs.CCcs.DMmath.NT

树在简单多边形中平面嵌入的复杂性

Complexity of Planar Embeddability of Trees inside Simple Polygons

图在平面点集上的几何嵌入是一个众所周知的问题。在本文中，这一问题的一个变种，其中点集是由一个简单的多边形，被认为是复杂的。给定一个由简单多边形和一棵自由树包围的平面上的点集，证明了判定树在简单多边形内的点集上是否有平面直线嵌入是NP完全的.这意味着树的直线约束点集嵌入也是NP-完全的，这在[8]中是一个公开问题。

2009-08-27cs.CCcs.CG

带圆盘的刺线段：复杂性和近似算法

Stabbing line segments with disks: complexity and approximation algorithms

计算的复杂性和近似算法的报告问题的刺一组直线段的最小基数集的固定半径的磁盘$r>0$，其中的一组段形成一条直线画$G=(V,E)$的平面图没有边交叉。在网络安全应用中，经常出现闭几何问题.本文给出了Delaunay三角剖分、Gabriel图和其它子图（常用于网络设计）的边集问题对于$r\in [d_{\min},ηd_{\max}]$和某些常数$η$的强NP-困难性，其中$d_{\max}$和$d_{\min}$分别是图的最长边和最短边的欧氏长度.本文在平面图的直线图类中提出了一种快速$O(|E|\log|E|)$ -时间$O(1)$ -近似算法，对于这类平面图，不等式$r\geq ηd_{\max}$对某个常数$η>0,$一致成立，即当$G$的边长由$η>0,$的某个线性函数从上一致有界时

2017-07-20cs.CCcs.CGcs.DM

二维蛇形立方体谜题的复杂度

Complexity of 2D Snake Cube Puzzles

该研究针对二维蛇形立方体折叠为长方体的开放问题，证明了通配符立方体、带空位盒子、2层3D盒子、六棱柱变体及隐式编码压缩这五种变体均为NP难，推进了相关谜题复杂度的研究。

2024-07-14cs.CCcs.CG

基于比较的算法的脆弱复杂性

Fragile Complexity of Comparison-Based Algorithms

我们开始了一项研究的算法，专注于计算复杂性的个别元素，并介绍了脆弱的复杂性比较为基础的算法的最大数量的比较任何个别元素参加。我们给出了一些上界和下界的脆弱复杂性的基本问题，包括最小值，选择，排序和堆构造。结果包括确定性和随机的上限和下限，并证明了两个设置之间的分离的一些问题。比较器网络的深度是相应脆弱算法的最坏情况脆弱复杂度的直接上界。我们证明了脆弱的复杂性是一个不同的和严格更容易的属性比深度的比较器网络，在这个意义上说，对于某些问题的脆弱的复杂性等于最好的网络深度可以实现较少的总工作和随机化，甚至更低的脆弱的复杂性是可能的。

2019-09-03cs.CCcs.DS

在多边形区域上作图的复杂性

The Complexity of Drawing a Graph in a Polygonal Region

我们证明了以下问题对于实数的存在性理论是完备的：给定一个平面图和一个多边形区域，其中图的一些顶点被分配给区域边界上的点，将剩余的顶点放置在区域内以创建图的平面直线图。这加强了Patrignani关于扩展部分平面图的NP-困难结果。我们的结果是第一次表明，画平面图的直线边的问题是很难的实数的存在理论之一。问题的复杂性在单连通区域的情况下是开放的。我们还表明，即使是整数输入坐标，这是可能的，绘制一个图形在多边形区域需要一些顶点被放置在无理坐标。相比之下，已知坐标在凸区域的特殊情况下是有界的，或者用于在任何多边形区域中绘制路径。

2018-09-05cs.CCcs.CGcs.DM

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

一元下推自动机与直线程序

Unary Pushdown Automata and Straight-Line Programs

我们考虑一元字母表上的确定性下推自动机（简称udpda）的决策问题。Udpda是一种简单的计算模型，它完全接受一元正则语言，但比有限状态自动机更简洁。我们完成了udpda的复杂性景观表明，空性（从而普遍性）是P-硬，等价和压缩的成员资格问题是P-完全的，包含是coNP-完全的。我们的上限是基于一个翻译定理之间的udpda和直线程序的二进制字母表（SLP）。我们发现，任何udpda的特征序列可以表示为一对SLP-一个前缀，一个套索-具有线性的大小的udpda的大小，可以在多项式时间计算。因此，udpda上的决策问题被简化为SLP上的决策问题。相反，任何SLP都可以在对数空间中转换为udpda，这构成了我们的下界证明的基础。我们展示了SLP的有序匹配问题的CoNP-硬度，从中我们推导出包含的CoNP-硬度。此外，我们完成了一元不确定下推自动机的复杂性景观显示的普遍性问题是$Π_2 \mathrm P$硬，使用一类新的整数表达式。我们的技术有超越udpda的应用。我们表明，我们的研究结果意味着$Π_2 \mathrm P$ -完整的Presburger算法和压缩匹配问题与一个字符的通配符的coNP下界的自然片段。

2014-03-03cs.CCcs.FL

2-低复杂度的局部哈密顿量是QCMA

2-Local Hamiltonian with Low Complexity is QCMA

结合2-LH的QMA-完备性[4]和3-LH的QCMA-完备性[6]的结果，证明了2-LH的低复杂性问题是QCMA-完备的.这个想法很简单。已知2-LH是QMA-完全的。通过对输入状态施加一个低复杂度的约束，我们将问题转化为QCMA。最后，我们使用与[4]中类似的论点来证明所有QCMA问题都可以归结为我们提出的问题。

2019-09-06cs.CCquant-ph

确定装配指数的计算复杂性

Computational Complexity of Determining the Assembly Index

Łukaszyk Patent Attorneys（卢卡希克专利律师事务所）

研究证明确定装配指数的问题是NP难的，通过装配计划与直线文法的对应关系，揭示其计算复杂性与经典最小文法问题的关联。

2026-01-23cs.CC

Stick、BipHook和Max点容差图的识别复杂性

On the complexity of recognizing Stick, BipHook and Max Point-Tolerance graphs

棒形图定义如下。设A（分别为B）是平面中的一组垂直（分别为水平）线段，使得A中线段的底端和B中线段的左端位于斜率为-1的同一条地面直线上。由A和B定义的棒图是A中的线段与B中的线段的交图，它必然是二分的。我们回答了一个公开的问题，表明识别棒图是NP-完全的。这一结果使我们能够很容易地解决其他两个开放的问题，即识别的BipHook图和最大点公差图。我们证明了这两个问题都是NP完全问题。

2022-10-23cs.CC

关于计算Strahler数的复杂性

On the complexity of computing Strahler numbers

University of Kaiserslautern-Landau (RPTU)（凯泽斯劳滕-兰大学）；Universität Siegen（锡根大学）

该研究探讨了计算二叉树Strahler数的复杂性，证明了在术语表示下该问题在电路复杂性类uniform NC^1中是完全的，并分析了不同表示形式下的计算复杂性，还证明了判断上下文无关文法是否产生Strahler数至少为k的推导树的问题在P-完全，当推导树为无环时则在PSPACE-完全。

2026-06-03cs.CCcs.FL

论 PosSLP 的困难性

On the Hardness of PosSLP

本文基于 Dutta 等人的多项式根式猜想，证明若 PosSLP 属于 BPP 则 NP 包含于 BPP，给出其首个有条件非平凡下界，并证明 SLP 表示的整数一元多项式实根计数是 #P 难的。

2023-07-16cs.CCcs.NAmath.NA

多对数时间上的真谱系与不完全问题

Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems

多对数时间层次结构的次线性时间复杂度。在最近的工作中，它表明，所有类$\tildeΣ_{m}^{\mathit{plog}}$或$\tildeΠ_{m}^{\mathit{plog}}$（$m \in \mathbb{N}$）在这个层次结构中可以捕获的语义限制片段的二阶逻辑。本文进一步证明了多对数时间的描述复杂性理论，证明了层次结构中的每个类都有严格的层次结构。这个结果的一个直接结果是，这些复杂性类不存在完全问题，即使在多项式时间缩减下也不存在。作为另一个结果，我们表明，多对数时间层次本身是严格的。

2019-11-29cs.CCcs.LO

Havannah和TwixT是PSPACE完备的

Havannah and TwixT are PSPACE-complete

许多流行的抽象策略游戏，从Hex和Havannah到Lines of Action都属于连接游戏。尽管如此，很少复杂性的结果，这样的游戏已经获得了自十六进制被证明PSPACE完全在八十年代初。我们研究了两个最广泛发挥的连接游戏的复杂性。也就是说，我们证明了Havannah和TwixT是PSPACE-完全的。Havannah的证明涉及从广义地理的减少，并且仅基于环威胁来表示输入图。另一方面，TwixT的减少建立在以前的工作上，因为它是一个简单的Hex编码。

2014-03-25cs.CC

电源电路、指数代数和时间复杂度

Power Circuits, Exponential Algebra, and Time Complexity

受组合群论中算法问题的启发，我们研究了带有二元运算+，-，z = x2 ^y，z = x2 ^{-y}（前两者是部分运算）和谓词<和=的整数的计算性质.请注意，在这种情况下，非常大的数字，这是作为n个塔的指数在2为底可以实现为n个应用程序的操作x2 ^y，所以工作与这样的数字在通常的二进制扩展需要超指数空间。我们定义了一个新的整数幂电路压缩表示（一种特殊类型的直线程序），这是唯一的，易于计算，并表明，上述操作可以在多项式时间内执行，如果数字的幂电路。我们提到了这种技术在算法问题中的几个应用，特别是，我们证明了各种指数代数的无量词理论在多项式时间内是可判定的，以及一些“难以破解”的单关系子群中的字问题。

2010-06-13cs.CCmath.GR

范数最大化的固定参数复杂性与逼近性

Fixed Parameter Complexity and Approximability of Norm Maximization

在$\R^d$中的半空间表示多面体上极大化$p$范数的$p$次幂问题是一个凸极大化问题，它在计算凸性中起着重要作用. 1986年已经证明，如果周围空间的维数$d$是输入的一部分，则这个问题对于所有值$p \in \mathbb{N}$都是$\NP$ -hard。本文利用参数化复杂性理论分析了范数最大化的难度对参数$d$的依赖程度。更准确地说，我们表明，$p=1$的问题是固定参数易处理的，但所有$p \in \mathbb{N} \setminus \{1\}$范数最大化是W[1]-硬。关于范数最大化的近似算法，我们表明，对于固定的精度，有一个简单的近似算法的范数最大化FPT运行时间，但没有FPT近似算法，其运行时间多项式依赖于精度。与范数最大化的$\NP$ -硬度一样，W[1]-硬度立即延续到计算凸性中的各种半径计算任务。

2013-07-24cs.CCcs.CGmath.MG

复杂性类$\forall \exists \mathbb{R}$的完备性与区域普适性

Completeness for the Complexity Class $\forall \exists \mathbb{R}$ and Area-Universality

复杂性类$\exists \mathbb{R}$表现出纯几何问题和实代数之间的深刻联系，在几何问题的研究中起着至关重要的作用。有时候，$\exists \mathbb{R}$被称为NP的"真正类似物"。NP是一类处理存在性量化布尔变量的计算问题，而$\exists \mathbb{R}$处理存在性量化实变量。与著名的多项式层次中的$Π_2^p$和$Σ_2^p$类似，我们研究了具有实变量的复杂性类$\forall \exists \mathbb{R}$和$\exists \forall \mathbb{R}$。我们的主要兴趣是区域的普遍性问题，在这里我们给出了一个平面图$G$，并询问是否为每个分配的区域内面的$G$，存在一个直线绘制的$G$实现指定的区域。我们猜想面积普适性是$\forall \exists \mathbb{R}$-完全的，并通过证明面积普适性的两个变体的$\exists \mathbb{R}$-和$\forall \exists \mathbb{R}$-完全性来支持这一猜想.为此，我们引入工具来证明$\forall \exists \mathbb{R}$-硬度和成员资格。最后，我们提出的几何问题作为候选人的$\forall \exists \mathbb{R}$-完全问题。这些问题与不精确性、鲁棒性和可扩展性的概念有关。

2021-11-11cs.CCcs.CGcs.DM