中文
相关论文

相关论文: Independent Set Reconfiguration Parameterized by M…

200 篇论文

In this paper we study the Spanning Tree Congestion problem, where we are given a graph $G=(V,E)$ and are asked to find a spanning tree $T$ of minimum maximum congestion. Here, the congestion of an edge $e\in T$ is the number of edges…

数据结构与算法 · 计算机科学 2026-05-28 Michael Lampis , Valia Mitsou , Edouard Nemery , Yota Otachi , Manolis Vasilakis , Daniel Vaz

Vertex integrity is a graph parameter that measures the connectivity of a graph. Informally, its meaning is that a graph has small vertex integrity if it has a small separator whose removal disconnects the graph into connected components…

数据结构与算法 · 计算机科学 2024-04-29 Tesshu Hanaka , Michael Lampis , Manolis Vasilakis , Kanae Yoshiwatari

Let I be an independent set of a graph G. Imagine that a token is located on any vertex of I. We can now move the tokens of I along the edges of the graph as long as the set of tokens still defines an independent set of G. Given two…

离散数学 · 计算机科学 2016-05-03 Marthe Bonamy , Nicolas Bousquet

Compatibility conditions are investigated for planar network structures consisting of nodes and connecting bars; these conditions restrict the elongations of bars and are analogous to the compatibility conditions of deformation in continuum…

数学物理 · 物理学 2018-12-27 Andrejs Treibergs , Andrej Cherkaev , Predrag Krtolica

One way to define the Matching Cut problem is: Given a graph $G$, is there an edge-cut $M$ of $G$ such that $M$ is an independent set in the line graph of $G$? We propose the more general Conflict-Free Cut problem: Together with the graph…

数据结构与算法 · 计算机科学 2023-11-03 Johannes Rauch , Dieter Rautenbach , Uéverton S. Souza

The general intractability of the constraint satisfaction problem has motivated the study of restrictions on this problem that permit polynomial-time solvability. One major line of work has focused on structural restrictions, which arise…

计算复杂性 · 计算机科学 2007-05-23 Hubie Chen , Victor Dalmau

We study the classical problem of computing geometric thickness, i.e., finding a straight-line drawing of an input graph and a partition of its edges into as few parts as possible so that each part is crossing-free. Since the problem is…

计算复杂性 · 计算机科学 2024-11-26 Thomas Depian , Simon Dominik Fink , Alexander Firbas , Robert Ganian , Martin Nöllenburg

We study the complexity of constraint satisfaction problems for templates $\Gamma$ that are first-order definable in $(\Bbb Z; succ)$, the integers with the successor relation. Assuming a widely believed conjecture from finite domain…

计算复杂性 · 计算机科学 2016-04-27 Manuel Bodirsky , Victor Dalmau , Barnaby Martin , Antoine Mottet , Michael Pinsker

In this paper we present an algorithmic framework for solving a class of combinatorial optimization problems on graphs with bounded pathwidth. The problems are NP-hard in general, but solvable in linear time on this type of graphs. The…

数据结构与算法 · 计算机科学 2012-12-18 Mugurel Ionut Andreica

Let $\mathcal{Q}$ be a vertex subset problem on graphs. In a reconfiguration variant of $\mathcal{Q}$ we are given a graph $G$ and two feasible solutions $S_s, S_t\subseteq V(G)$ of $\mathcal{Q}$ with $|S_s|=|S_t|=k$. The problem is to…

离散数学 · 计算机科学 2018-09-12 Sebastian Siebertz

Consider that a linear time-invariant (LTI) plant is given and that we wish to design a stabilizing controller for it. Admissible controllers are LTI and must comply with a pre-selected sparsity pattern. The sparsity pattern is assumed to…

系统与控制 · 计算机科学 2012-09-07 Serban Sabau , Nuno C. Martins

A decision problem is called parameterized if its input is a pair of strings. One of these strings is referred to as a parameter. The problem: given a propositional logic program P and a non-negative integer k, decide whether P has a stable…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Zbigniew Lonc , Miroslaw Truszczynski

Our work is motivated by the challenges presented in preparing arrays of atoms for use in quantum simulation. The recently-developed process of loading atoms into traps results in approximately half of the traps being filled. To consolidate…

计算复杂性 · 计算机科学 2025-04-09 Alexandre Cooper , Stephanie Maaz , Amer E. Mouawad , Naomi Nishimura

In the Token Jumping problem we are given a graph $G = (V,E)$ and two independent sets $S$ and $T$ of $G$, each of size $k \geq 1$. The goal is to determine whether there exists a sequence of $k$-sized independent sets in $G$, $\langle S_0,…

计算复杂性 · 计算机科学 2025-01-15 Valentin Bartier , Nicolas Bousquet , Clément Dallard , Kyle Lomer , Amer E. Mouawad

We present the first fixed-parameter tractable (FPT) algorithms for exact computation of generalized hypertree width (ghw) and fractional hypertree width (fhw). Our algorithms are parameterized by the target width, the rank, and the maximum…

数据结构与算法 · 计算机科学 2026-03-16 Matthias Lanzinger , Igor Razgon , Daniel Unterberger

We give an overview of recent developments in the problem of reconstructing a band-limited signal from non-uniform sampling from a numerical analysis view point. It is shown that the appropriate design of the finite-dimensional model plays…

数值分析 · 数学 2025-10-20 Thomas Strohmer

We consider the identification of a scalar coefficient in a PDE-based parameter estimation problem with contact constraints. The considered problem can be used as an idealized model of a membrane under forces, constrained by a barrier or…

数值分析 · 数学 2026-05-12 Simon Hubmer , Stefan Kindermann , Ekaterina Sherina

We study the parameterized complexity of the problems of finding a maximum common (induced) subgraph of two given graphs. Since these problems generalize several NP-complete problems, they are intractable even when parameterized by strongly…

数据结构与算法 · 计算机科学 2025-12-09 Tesshu Hanaka , Yuto Okada , Yota Otachi , Lena Volk

Given a graph $G$ with source and destination vertices $s,t\in V(G)$ respectively, \textsc{Tracking Paths} asks for a minimum set of vertices $T\subseteq V(G)$, such that the sequence of vertices encountered in each simple path from $s$ to…

数据结构与算法 · 计算机科学 2020-08-25 Pratibha Choudhary , Venkatesh Raman

We compare the dimension of a non-invertible self-affine set to the dimension of the respective invertible self-affine set. In particular, for generic planar self-affine sets, we show that the dimensions coincide when they are large and…

动力系统 · 数学 2024-11-27 Antti Käenmäki , Petteri Nissinen