中文
相关论文

相关论文: Patrolling a Street Network is Strongly NP-Complet…

200 篇论文

We study the complexity of the problem DETECTION PAIR. A detection pair of a graph $G$ is a pair $(W,L)$ of sets of detectors with $W\subseteq V(G)$, the watchers, and $L\subseteq V(G)$, the listeners, such that for every pair $u,v$ of…

数据结构与算法 · 计算机科学 2018-01-31 Florent Foucaud , Ralf Klasing

A standard way of justifying that a certain probabilistic property holds in a system is to provide a witnessing subsystem (also called critical subsystem) for the property. Computing minimal witnessing subsystems is NP-hard already for…

计算机科学中的逻辑 · 计算机科学 2021-08-19 Simon Jantsch , Jakob Piribauer , Christel Baier

We study the problem of guarding the boundary of a simple polygon with a minimum number of guards such that each guard covers a contiguous portion of the boundary. First, we present a simple greedy algorithm for this problem that returns a…

This paper develops a structural theory of unique shortest paths in real-weighted graphs. Our main goal is to characterize exactly which sets of node sequences, which we call path systems, can be realized as unique shortest paths in a graph…

数据结构与算法 · 计算机科学 2018-10-18 Greg Bodwin

In this paper it is shown that for any network there is a uniquely determined network based on a structure tree that provides a convenient way of determining a minimal cut separating a pair $s, t$ where each of $s, t$ is either a vertex or…

组合数学 · 数学 2015-01-05 M. J. Dunwoody

A set $G$ of points on a 1.5-dimensional terrain, also known as an $x$-monotone polygonal chain, is said to guard the terrain if any point on the terrain is 'seen' by a point in $G$. Two points on the terrain see each other if and only if…

计算几何 · 计算机科学 2009-07-08 James King , Erik Krohn

Recent theoretical and empirical studies have focused on the structural properties of complex relational networks in social, biological and technological systems. Here we study the basic properties of twenty 1-square-mile samples of street…

物理与社会 · 物理学 2009-11-11 Alessio Cardillo , Salvatore Scellato , Vito Latora , Sergio Porta

The (axis-parallel) stabbing number of a given set of line segments is the maximum number of segments that can be intersected by any one (axis-parallel) line. This paper deals with finding perfect matchings, spanning trees, or…

计算几何 · 计算机科学 2008-09-05 Sandor P. Fekete , Marco Luebbecke , Henk Meijer

A set $S$ of vertices of a graph is a defensive alliance if, for each element of $S$, the majority of its neighbours is in $S$. We consider the notion of local minimality in this paper. We are interested in locally minimal defensive…

计算复杂性 · 计算机科学 2023-03-06 Ajinkya Gaikwad , Soumen Maity , Shuvam Kant Tripathi

It has been known since 1991 that the problem of recognizing grid intersection graphs is NP-complete. Here we use a modified argument of the above result to show that even if we restrict to the class of unit grid intersection graphs…

组合数学 · 数学 2013-06-11 Irina Mustaţă , Martin Pergel

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

In this paper we consider a robot patrolling problem in which events arrive randomly over time at the vertices of a graph. When an event arrives it remains active for a random amount of time. If that time active exceeds a certain threshold,…

机器人学 · 计算机科学 2014-09-17 Ahmad Bilal Asghar , Stephen L. Smith

In this work, we carry out structural and algorithmic studies of a problem of barrier forming: selecting theminimum number of straight line segments (barriers) that separate several sets of mutually disjoint objects in the plane. The…

机器人学 · 计算机科学 2022-02-25 Si Wei Feng , Jingjin Yu

Phylogenetic networks are a generalization of phylogenetic trees to leaf-labeled directed acyclic graphs that represent ancestral relationships between species whose past includes non-tree-like events such as hybridization and horizontal…

组合数学 · 数学 2021-04-13 Janosch Döcker , Simone Linz , Charles Semple

p-Cycles offer ring-like switching speed and mesh-like spare capacity efficiency for protecting network against link failures. This makes them extremely efficient and effective protection technique. p-Cycles can also protect all the links…

网络与互联网体系结构 · 计算机科学 2022-12-05 Varsha Lohani , Anjali Sharma , Yatindra Nath Singh

We consider the problem of routing on a network in the presence of line segment constraints (i.e., obstacles that edges in our network are not allowed to cross). Let $P$ be a set of $n$ points in the plane and let $S$ be a set of…

计算几何 · 计算机科学 2019-01-03 Prosenjit Bose , Matias Korman , André van Renssen , Sander Verdonschot

Here we show that deciding whether two rooted binary phylogenetic trees on the same set of taxa permit a cherry-picking sequence, a special type of elimination order on the taxa, is NP-complete. This improves on an earlier result which…

种群与进化 · 定量生物学 2021-04-13 Janosch Döcker , Leo van Iersel , Steven Kelk , Simone Linz

Perfect Matching-Cut is the problem of deciding whether a graph has a perfect matching that contains an edge-cut. We show that this problem is NP-complete for planar graphs with maximum degree four, for planar graphs with girth five, for…

组合数学 · 数学 2021-11-01 Valentin Bouquet , Christophe Picouleau

In this paper we study a particular aspect of the urban community policing: routine patrol route planning. We seek routes that guarantee visibility, as this has a sizable impact on the community perceived safety, allowing quick emergency…

人工智能 · 计算机科学 2016-09-16 Washington Alves de Oliveira , Antonio Carlos Moretti , Ednei Felix Reis

In the context of algorithm theory, various studies have been conducted on spanning trees with desirable properties. In this paper, we consider the \textsc{Minimum Cover Spanning Tree} problem (MCST for short). Given a graph $G$ and a…

数据结构与算法 · 计算机科学 2025-12-01 Toranosuke Kokai , Akira Suzuki , Takahiro Suzuki , Yuma Tamura , Xiao Zhou