中文
相关论文

相关论文: Structural Parameterizations of the Mixed Chinese …

200 篇论文

Given a graph $G = (V,E)$, $A \subseteq V$, and integers $k$ and $\ell$, the \textsc{$(A,\ell)$-Path Packing} problem asks to find $k$ vertex-disjoint paths of length $\ell$ that have endpoints in $A$ and internal points in $V \setminus A$.…

Given an undirected graph $G = (V, E)$ and a weight function $w:E \to \mathbb{R}$, the \textsc{Minimum Dominating Tree} problem asks to find a minimum weight sub-tree of $G$, $T = (U, F)$, such that every $v \in V \setminus U$ is adjacent…

计算复杂性 · 计算机科学 2018-02-14 Gilad Kutiel

The Angular Constrained Minimum Spanning Tree Problem ($\alpha$-MSTP) is defined in terms of a complete undirected graph $G=(V,E)$ and an angle $\alpha \in (0,2\pi]$. Vertices of $G$ define points in the Euclidean plane while edges, the…

最优化与控制 · 数学 2020-05-26 Alexandre Salles da Cunha

Given a set of leaf-labeled trees with identical leaf sets, the well-known "Maximum Agreement SubTree" problem (MAST) consists of finding a subtree homeomorphically included in all input trees and with the largest number of leaves. Its…

计算复杂性 · 计算机科学 2008-07-10 Sylvain Guillemot , Francois Nicolas

We introduce a novel multivariate approach for solving weighted parameterized problems. In our model, given an instance of size $n$ of a minimization (maximization) problem, and a parameter $W \geq 1$, we seek a solution of weight at most…

数据结构与算法 · 计算机科学 2015-02-24 Hadas Shachnai , Meirav Zehavi

In graph theory, as well as in 3-manifold topology, there exist several width-type parameters to describe how "simple" or "thin" a given graph or 3-manifold is. These parameters, such as pathwidth or treewidth for graphs, or the concept of…

几何拓扑 · 数学 2021-10-26 Kristóf Huszár , Jonathan Spreer , Uli Wagner

A treedepth decomposition of an undirected graph $G$ is a rooted forest $F$ on the vertex set of $G$ such that every edge $uv\in E(G)$ is in ancestor-descendant relationship in $F$. Given a weight function $w\colon V(G)\rightarrow…

离散数学 · 计算机科学 2026-02-05 Jona Dirks , Nicole Schirrmacher , Sebastian Siebertz , Alexandre Vigny

A graph $G=(V,E)$ with a vertex set $V$ and an edge set $E$ is called a pairwise compatibility graph (PCG, for short) if there are a tree $T$ whose leaf set is $V$, a non-negative edge weight $w$ in $T$, and two non-negative reals…

数据结构与算法 · 计算机科学 2020-07-23 Mingyu Xiao , Hiroshi Nagamochi

The Constraint Shortest Path (CSP) problem is as follows. An $n$-vertex graph is given, each edge/arc assigned two weights. Let us call them "cost" and "length" for definiteness. Finding a min-cost upper-bounded length path between a given…

数据结构与算法 · 计算机科学 2022-04-12 Adil Erzin , Roman Plotnikov , Ilya Ladygin

The metric dimension has been introduced independently by Harary, Melter and Slater in 1975 to identify vertices of a graph G using its distances to a subset of vertices of G. A resolving set X of a graph G is a subset of vertices such…

数据结构与算法 · 计算机科学 2023-03-21 Nicolas Bousquet , Quentin Deschamps , Aline Parreau

In this paper, we show that Bandwidth is hard for the complexity class $W[t]$ for all $t\in {\bf N}$, even for caterpillars with hair length at most three. As intermediate problem, we introduce the Weighted Path Emulation problem: given a…

计算复杂性 · 计算机科学 2020-12-03 Hans L. Bodlaender

Orienting the edges of an undirected graph such that the resulting digraph satisfies some given constraints is a classical problem in graph theory, with multiple algorithmic applications. In particular, an $st$-orientation orients each edge…

数据结构与算法 · 计算机科学 2023-07-11 Carla Binucci , Giuseppe Liotta , Fabrizio Montecchiani , Giacomo Ortali , Tommaso Piselli

Solution discovery asks whether a given (infeasible) starting configuration to a problem can be transformed into a feasible solution using a limited number of transformation steps. This paper investigates meta-theorems for solution…

数据结构与算法 · 计算机科学 2025-10-21 Nicolas Bousquet , Amer E. Mouawad , Stephanie Maaz , Naomi Nishimura , Sebastian Siebertz

Treewidth and hypertree width have proven to be highly successful structural parameters in the context of the Constraint Satisfaction Problem (CSP). When either of these parameters is bounded by a constant, then CSP becomes solvable in…

数据结构与算法 · 计算机科学 2022-10-14 Andre Schidler , Robert Ganian , Manuel Sorge , Stefan Szeider

A prototypical graph problem is centered around a graph-theoretic property for a set of vertices and a solution to it is a set of vertices for which the desired property holds. The task is to decide whether, in the given graph, there exists…

计算复杂性 · 计算机科学 2020-06-11 Dušan Knop , Tomáš Masařík , Tomáš Toufar

In the \textsc{Waypoint Routing Problem} one is given an undirected capacitated and weighted graph $G$, a source-destination pair $s,t\in V(G)$ and a set $W\subseteq V(G)$, of \emph{waypoints}. The task is to find a walk which starts at the…

数据结构与算法 · 计算机科学 2021-09-27 Šimon Schierreich , Ondřej Suchý

We give a fixed-parameter tractable algorithm that, given a parameter $k$ and two graphs $G_1,G_2$, either concludes that one of these graphs has treewidth at least $k$, or determines whether $G_1$ and $G_2$ are isomorphic. The running time…

数据结构与算法 · 计算机科学 2014-12-11 Daniel Lokshtanov , Marcin Pilipczuk , Michał Pilipczuk , Saket Saurabh

A secure set $S$ in a graph is defined as a set of vertices such that for any $X\subseteq S$ the majority of vertices in the neighborhood of $X$ belongs to $S$. It is known that deciding whether a set $S$ is secure in a graph is…

计算复杂性 · 计算机科学 2017-07-11 Bernhard Bliem , Stefan Woltran

In the Metric Dimension problem, one asks for a minimum-size set $R$ of vertices such that for any pair of vertices of the graph, there is a vertex from $R$ whose two distances to the vertices of the pair are distinct. This problem has…

组合数学 · 数学 2026-04-17 Antoine Dailly , Florent Foucaud , Anni Hakanen

We associate a graph with a 1-safe Petri net and study the parameterized complexity of various problems with parameters derived from the graph. With treewidth as the parameter, we give W[1]-hardness results for many problems about 1-safe…

计算机科学中的逻辑 · 计算机科学 2011-06-13 M. Praveen , Kamal Lodaya