English
Related papers

Related papers: Hardness of Network Satisfaction for Relation Alge…

200 papers

Quantum algorithms for graph problems are considered, both in the adjacency matrix model and in an adjacency list-like array model. We give almost tight lower and upper bounds for the bounded error quantum query complexity of Connectivity,…

Quantum Physics · Physics 2016-12-30 Christoph Durr , Mark Heiligman , Peter Hoyer , Mehdi Mhalla

The Metric Dimension problem asks for a minimum-sized resolving set in a given (unweighted, undirected) graph $G$. Here, a set $S \subseteq V(G)$ is resolving if no two distinct vertices of $G$ have the same distance vector to $S$. The…

Data Structures and Algorithms · Computer Science 2021-02-22 Shaohua Li , Marcin Pilipczuk

Although neural networks are routinely and successfully trained in practice using simple gradient-based methods, most existing theoretical results are negative, showing that learning such networks is difficult, in a worst-case sense over…

Machine Learning · Computer Science 2017-03-13 Ohad Shamir

We prove hardness-of-learning results under a well-studied assumption on the existence of local pseudorandom generators. As we show, this assumption allows us to surpass the current state of the art, and prove hardness of various basic…

Machine Learning · Computer Science 2021-06-09 Amit Daniely , Gal Vardi

We revisit the hardness of approximating the diameter of a network. In the CONGEST model of distributed computing, $ \tilde \Omega (n) $ rounds are necessary to compute the diameter [Frischknecht et al. SODA'12], where $ \tilde \Omega…

Data Structures and Algorithms · Computer Science 2018-03-02 Karl Bringmann , Sebastian Krinninger

We consider the L(p,q)-Edge-Labelling problem, which is the edge variant of the well-known L(p,q)-Labelling problem. So far, the complexity of this problem was only partially classified. We complete this study for all nonnegative p and q,…

Discrete Mathematics · Computer Science 2022-05-24 Gaetan Berthe , Barnaby Martin , Daniel Paulusma , Siani Smith

Synthesis for a type $\tau$ of Petri nets is the following search problem: For a transition system $A$, find a Petri net $N$ of type $\tau$ whose state graph is isomorphic to $A$, if there is one. To determine the computational complexity…

Logic in Computer Science · Computer Science 2019-04-03 Ronny Tredup

Given an $n$-vertex non-negatively real-weighted graph $G$, whose vertices are partitioned into a set of $k$ clusters, a \emph{clustered network design problem} on $G$ consists of solving a given network design optimization problem on $G$,…

Data Structures and Algorithms · Computer Science 2018-02-01 Mattia D'Emidio , Luca Forlizzi , Daniele Frigioni , Stefano Leucci , Guido Proietti

We consider the Densest-Subgraph problem, where a graph and an integer k is given and we search for a subgraph on exactly k vertices that induces the maximum number of edges. We prove that this problem is NP-hard even when the input graph…

Computational Complexity · Computer Science 2013-06-28 Manuel Sorge

We prove the \textbf{NP}-hardness, using Karp reductions, of some problems related to the correlation polytope and its corresponding cone, spanned by all of the $n\times n$ rank-one matrices over $\{0,1\}$. The problems are: membership,…

Optimization and Control · Mathematics 2026-05-06 Alberto Caprara , Fabio Furini , Claudio Gentile , Leo Liberti , Andrea Lodi

Network complexity has been studied for over half a century and has found a wide range of applications. Many methods have been developed to characterize and estimate the complexity of networks. However, there has been little research with…

Machine Learning · Statistics 2021-01-13 Yann Issartel

For a first-order theory $T$, the Constraint Satisfaction Problem of $T$ is the computational problem of deciding whether a given conjunction of atomic formulas is satisfiable in some model of $T$. In this article we develop sufficient…

Logic · Mathematics 2020-12-03 Manuel Bodirsky , Johannes Greiner

In many combinatorial problems one may need to model the diversity or similarity of assignments in a solution. For example, one may wish to maximise or minimise the number of distinct values in a solution. To formulate problems of this…

Artificial Intelligence · Computer Science 2014-01-17 Emmanuel Hebrard , Dániel Marx , Barry O'Sullivan , Igor Razgon

The empirical results suggest that the learnability of a neural network is directly related to its size. To mathematically prove this, we borrow a tool in topological algebra: Betti numbers to measure the topological geometric complexity of…

Machine Learning · Computer Science 2021-11-05 Ji Yang , Lu Sang , Daniel Cremers

Complex networks representing social interactions, brain activities, molecular structures have been studied widely to be able to understand and predict their characteristics as graphs. Models and algorithms for these networks are used in…

Social and Information Networks · Computer Science 2022-10-24 Murat Çelik , Ali Baran Taşdemir , Lale Özkahya

We investigate the parameterized complexity of several problems formalizing cluster identification in graphs. In other words we ask whether a graph contains a large enough and sufficiently connected subgraph. We study here three relaxations…

Computational Complexity · Computer Science 2023-03-23 Ambroise Baril , Antoine Castillon , Nacim Oijid

We investigate the class of regular-ordered word equations. In such equations, each variable occurs at most once in each side and the order of the variables occurring in both sides is the preserved (the variables can be, however, separated…

Formal Languages and Automata Theory · Computer Science 2017-03-01 Joel D. Day , Florin Manea , Dirk Nowotka

We consider the computational complexity of reconfiguration problems, in which one is given two combinatorial configurations satisfying some constraints, and is asked to transform one into the other using elementary transformations, while…

Computational Complexity · Computer Science 2020-01-17 Jean Cardinal , Erik D. Demaine , David Eppstein , Robert A. Hearn , Andrew Winslow

The tree-depth problem can be seen as finding an elimination tree of minimum height for a given input graph $G$. We introduce a bicriteria generalization in which additionally the width of the elimination tree needs to be bounded by some…

Data Structures and Algorithms · Computer Science 2021-05-31 Piotr Borowiecki , Dariusz Dereniowski , Dorota Osula

Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all three kinds of information. We therefore propose a framework,…

Artificial Intelligence · Computer Science 2009-05-26 Carmel Domshlak , Francesca Rossi , Kristen Brent Venable , Toby Walsh