中文
相关论文

相关论文: NP-completeness Proof: RBCDN Reduction Problem

200 篇论文

We investigate the complexity of the reachability problem for (deep) neural networks: does it compute valid output given some valid input? It was recently claimed that the problem is NP-complete for general neural networks and conjunctive…

计算复杂性 · 计算机科学 2022-03-16 Marco Sälzer , Martin Lange

The problem of Syndrome Decoding was proven to be NP-complete in 1978 and, since then, quite a few cryptographic applications have had their security rely on the (provable) difficulty of solving some instances of it. However, in most cases,…

密码学与安全 · 计算机科学 2009-12-03 Matthieu Finiasz

We investigate the complexity of the reachability problem for (deep) neural networks: does it compute valid output given some valid input? It was recently claimed that the problem is NP-complete for general neural networks and…

计算复杂性 · 计算机科学 2026-04-08 Marco Sälzer , Martin Lange

This paper investigates the problem of decomposition with respect to outputs for Boolean control networks (BCNs). First, with the linear expression of BCNs and the matrix semi-tensor product, some algebraic equivalent conditions for the…

最优化与控制 · 数学 2014-07-09 Yunlei Zou , Jiandong Zhu

The reservoir computing networks (RCNs) have been successfully employed as a tool in learning and complex decision-making tasks. Despite their efficiency and low training cost, practical applications of RCNs rely heavily on empirical…

机器学习 · 计算机科学 2021-12-14 Wei Miao , Vignesh Narayanan , Jr-Shin Li

Given partial objects and some complete ones as references, point cloud completion aims to recover authentic shapes. However, existing methods pay little attention to general shapes, which leads to the poor authenticity of completion…

计算机视觉与模式识别 · 计算机科学 2023-03-21 Kaiyi Zhang , Ximing Yang , Yuan Wu , Cheng Jin

Shape completion, the problem of estimating the complete geometry of objects from partial observations, lies at the core of many vision and robotics applications. In this work, we propose Point Completion Network (PCN), a novel…

计算机视觉与模式识别 · 计算机科学 2019-09-30 Wentao Yuan , Tejas Khot , David Held , Christoph Mertz , Martial Hebert

Border basis detection (BBD) is described as follows: given a set of generators of an ideal, decide whether that set of generators is a border basis of the ideal with respect to some order ideal. The motivation for this problem comes from a…

计算复杂性 · 计算机科学 2010-11-30 Prabhanjan V. Ananth , Ambedkar Dukkipati

Decision-theoretic troubleshooting is one of the areas to which Bayesian networks can be applied. Given a probabilistic model of a malfunctioning man-made device, the task is to construct a repair strategy with minimal expected cost. The…

人工智能 · 计算机科学 2013-08-02 Václav Lín

Completion problems, of recovering a point from a set of observed coordinates, are abundant in applications to image reconstruction, phylogenetics, and data science. We consider a completion problem coming from algebraic statistics: to…

统计理论 · 数学 2024-12-04 May Cai , Cecilie Olesen Recke , Thomas Yahl

We consider two covering variants of the network design problem. We are given a set of origin/destination pairs, called O/D pairs, and each such O/D pair is covered if there exists a path in the network from the origin to the destination…

最优化与控制 · 数学 2021-09-07 Víctor Bucarey , Bernard Fortz , Natividad González-Blanco , Martine Labbé , Juan A. Mesa

Convolutional neural networks (CNN) exhibit unmatched performance in a multitude of computer vision tasks. However, the advantage of using convolutional networks over fully-connected networks is not understood from a theoretical…

机器学习 · 计算机科学 2020-10-06 Eran Malach , Shai Shalev-Shwartz

We prove that persuasion is an NP-complete problem.

计算复杂性 · 计算机科学 2025-07-09 Alban Grastien

Deciding whether a graph can be embedded in a grid using only unit-length edges is NP-complete, even when restricted to binary trees. However, it is not difficult to devise a number of graph classes for which the problem is polynomial, even…

数据结构与算法 · 计算机科学 2012-04-13 Vinícius G. P. de Sá , Guilherme D. da Fonseca , Raphael Machado , Celina M. H. de Figueiredo

In graph realization problems one is given a degree sequence and the task is to decide whether there is a graph whose vertex degrees match to the given sequence. This realization problem is known to be polynomial-time solvable when the…

计算复杂性 · 计算机科学 2012-01-18 Sepp Hartung , André Nichterlein

Given a neural network, training data, and a threshold, it was known that it is NP-hard to find weights for the neural network such that the total error is below the threshold. We determine the algorithmic complexity of this fundamental…

计算复杂性 · 计算机科学 2021-11-22 Mikkel Abrahamsen , Linda Kleist , Tillmann Miltzow

We investigate the computational properties of the spatial algebra RCC-5 which is a restricted version of the RCC framework for spatial reasoning. The satisfiability problem for RCC-5 is known to be NP-complete but not much is known about…

人工智能 · 计算机科学 2009-09-25 P. Jonsson , T. Drakengren

In this paper we summarize the existing principles for building unconventional computing devices that involve delayed signals for encoding solutions to NP-complete problems. We are interested in the following aspects: the properties of the…

新兴技术 · 计算机科学 2015-09-10 Mihai Oltean , Oana Muntean

We show that the problem of covering a set of points in the plane with a minimum number of guillotine cuts is NP-complete. To that end, first we present a new NP-completeness proof for the problem of covering points with disjoint line…

计算几何 · 计算机科学 2026-02-25 Delia Garijo , Alberto Márquez , Rodrigo I. Silveira

Cognitive Radio Networks (CRNs) are considered as a promising solution to the spectrum shortage problem in wireless communication. In this paper, we initiate the first systematic study on the algorithmic complexity of the connectivity…

数据结构与算法 · 计算机科学 2013-01-08 Hongyu Liang , Tiancheng Lou , Haisheng Tan , Yuexuan Wang , Dongxiao Yu
‹ 上一页 1 2 3 10 下一页 ›