有限带宽和树深下的重构

Reconfiguration in bounded bandwidth and treedepth

Marcin Wrochna

备注：: 14 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们发现，几个已知的PSPACE-完全的重构问题仍然是如此，即使是有限的图形的有界带宽。关键的一步是注意到非常有限的字符串重写系统的相似性，其直接模拟图灵机的能力是经典的。这解决了在[Bonsma P.，2012年]。另一方面，我们表明，一大类的重新配置问题成为有界树深的图形上听话，这一结果是在某种意义上紧。

英文摘要：

We show that several reconfiguration problems known to be PSPACE-complete remain so even when limited to graphs of bounded bandwidth. The essential step is noticing the similarity to very limited string rewriting systems, whose ability to directly simulate Turing Machines is classically known. This resolves a question posed open in [Bonsma P., 2012]. On the other hand, we show that a large class of reconfiguration problems becomes tractable on graphs of bounded treedepth, and that this result is in some sense tight.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

（列表）边着色重配置问题的复杂性

The Complexity of (List) Edge-Coloring Reconfiguration Problem

设$G$是一个图，使得每条边都有其可用颜色的列表，并假设每个列表是由$k$颜色组成的公共集合的子集。假设我们给出$G$的两个列表边着色$f_0$和$f_r$，并询问在$f_0$和$f_r$之间是否存在$G$的列表边着色序列，使得每个列表边着色可以通过改变恰好一个边的颜色分配从前一个列表边着色获得。这个问题对于每个整数$k \ge 6$和最大度为3的平面图都是PSPACE完全的，但是对于非列表变体，任何复杂性硬度都是未知的。在本文中，我们首先改进了已知的结果，证明了，对于每一个整数$k \ge 4$，即使输入图是平面的，有界带宽，最大度为3的问题仍然是PSPACE完全的。然后，我们给出了第一个复杂性硬度结果的非列表变体：对于每一个整数$k \ge 5$，我们证明了非列表变体是PSPACE-完全的，即使输入图是平面的，带宽线性的$k$，和最大程度的$k$。

2016-09-01cs.CCcs.DM

参数化最短路径重构

Parameterized Shortest Path Reconfiguration

本文研究最短路径重构（SPR）的参数化复杂性，证明其以路径边数与重构序列长度之和为参数时 W[1]-难，并给出以序列长度、树深、簇删除数或模块宽度为参数的可解性结果。

2024-06-18cs.CCcs.DSmath.CO

重构k-路径顶点覆盖

Reconfiguring k-path vertex covers

图$G$的顶点子集$I$称为$k$ -路顶点覆盖，如果$G$中$k$顶点上的每条路至少包含一个来自$I$的顶点. \textsc{$k$-Path Vertex Cover Reconfiguration ($k$-PVCR)}问题是问一个人是否可以通过一系列$k$-路径顶点覆盖将一个$k$-路径顶点覆盖转换成另一个，其中每个中间成员通过应用给定的重新配置规则从其前任获得一次。我们调查的计算复杂性的\textsc{$k$-PVCR}从著名的重构规则：$\mathsf{TS}$，$\mathsf{TJ}$，和$\mathsf{TAR}$下的图类的观点。$k=2$的问题，称为\textsc{Vertex Cover Reconfiguration (VCR)}问题，在文献中已经得到了很好的研究。我们发现，某些已知的硬度结果\textsc{VCR}不同的图形类，包括平面图，有界带宽图，弦图，和二分图，可以扩展为\textsc{$k$-PVCR}。特别是，我们在一般图上证明了\textsc{$k$-PVCR}的复杂性二分法：在最大度为$3$（甚至是平面）的图上，问题是$\mathtt{PSPACE}$ -完全的，而在最大度为$2$的图上（即，路径和循环），则可以在多项式时间内解决该问题。此外，我们还设计了多项式时间算法的\textsc{$k$-PVCR}树下的每个$\mathsf{TJ}$…

2022-04-08cs.CCcs.DMcs.DS

稀疏图上的重构

Reconfiguration on sparse graphs

顶点子集图问题Q定义了输入图的哪些顶点子集是可行解。顶点子集问题的一个重新配置变体是，给定两个大小为k的可行解S和T，是否有可能通过顶点添加和删除的序列将S转换为T，使得每个中间集也是大小为k的可行解。研究了两个经典顶点子集问题的重构变形，即独立集和支配集。我们用ISR表示前者，用DSR表示后者。ISR和DSR在有界带宽的图上都是PSPACE-完全的，在一般图上都是W[1]-难参数化的。当输入图是有界退化的或nowhere稠密的时，我们证明了ISR是由k参数化的固定参数可处理的。作为一个推论，我们积极回答一个公开的问题，关于有界树宽图的问题的参数化的复杂性。此外，我们的技术推广了最近的结果表明，ISR是固定参数听话的平面图和有界度的图形。对于DSR，我们证明了当输入图不包含大的bicliques，一类图，其中包括有界退化和无处稠密图的图时，由k参数化的固定参数易处理的问题。

2015-02-17cs.CCcs.DS

图约束逻辑的参数化复杂性

Parameterized Complexity of Graph Constraint Logic

图约束逻辑是由Hearn和Demaine引入的框架，它提供了几个问题，这些问题通常是简化的方便起点。我们研究了约束图可满足性的参数化复杂性和有界和无界版本的非确定性约束逻辑（NCL）的解决方案的长度，树宽和最大程度的基本约束图作为参数。作为一个主要的结果，我们表明，限制NCL保持PSPACE-完全图的有界带宽，加强赫恩和Demaine的框架。这使我们能够改善现有的结果，从NCL减少。我们证明了几个经典的图问题（包括独立集，反馈顶点集和支配集）的重构版本是PSPACE-完全的有界带宽的平面图和高峰时间，推广到$k\times n$板，是PSPACE-完全的，即使当$k$是最多一个常数。

2015-09-09cs.CC