English
Related papers

Related papers: Rice-like complexity lower bounds for Boolean and …

200 papers

We consider a variant of the clustering problem for a complete weighted graph. The aim is to partition the nodes into clusters maximizing the sum of the edge weights within the clusters. This problem is known as the clique partitioning…

Social and Information Networks · Computer Science 2023-09-15 Alexander Belyi , Stanislav Sobolevsky , Alexander Kurbatski , Carlo Ratti

We develop a framework to give upper bounds on the "practical" computational complexity of stability problems for a wide range of nonlinear continuous and hybrid systems. To do so, we describe stability properties of dynamical systems using…

Systems and Control · Computer Science 2014-06-05 Sicun Gao , Soonho Kong , Edmund Clarke

This paper deals with dynamical networks for which the relations between node signals are described by proper transfer functions and external signals can influence each of the node signals. We are interested in graph-theoretic conditions…

Optimization and Control · Mathematics 2019-12-02 Henk J. van Waarde , Pietro Tesi , M. Kanat Camlibel

We study a graph-theoretic property known as robustness, which plays a key role in certain classes of dynamics on networks (such as resilient consensus, contagion and bootstrap percolation). This property is stronger than other graph…

Social and Information Networks · Computer Science 2015-03-20 Haotian Zhang , Elaheh Fata , Shreyas Sundaram

Finding the k-medianin a network involves identifying a subset of k vertices that minimize the total distance to all other vertices in a graph. This problem has been extensively studied in computer science, graph theory, operations…

Data Structures and Algorithms · Computer Science 2023-12-14 Roldan Pozo

Boolean networks are a general model of interacting entities, with applications to biological phenomena such as gene regulation. Attractors play a central role, and the schedule of entities update is a priori unknown. This article presents…

Discrete Mathematics · Computer Science 2020-01-22 Florian Bridoux , Caroline Gaze-Maillot , Kévin Perrot , Sylvain Sené

We study statistical problems, such as planted clique, its variants, and sparse principal component analysis in the context of average-case communication complexity. Our motivation is to understand the statistical-computational trade-offs…

Computational Complexity · Computer Science 2021-07-06 Cyrus Rashtchian , David P. Woodruff , Peng Ye , Hanlin Zhu

Our understanding of the Universe breaks down for very small spacetime intervals, corresponding to an extremely high level of granularity (and energy), commonly referred to as the ``Planck scale''. At this fundamental level, there are…

General Physics · Physics 2024-01-08 Alexandru-Ionuţ Băbeanu

The present paper studies local distributed graph problems in highly dynamic networks. Communication and changes of the graph happen in synchronous rounds and our algorithms always, i.e., in every round, satisfy non-trivial guarantees, no…

Data Structures and Algorithms · Computer Science 2018-12-10 Philipp Bamberger , Fabian Kuhn , Yannic Maus

Complex networks are ubiquitous in nature and play a role of paramount importance in many contexts. Internet and the cyberworld, which permeate our everyday life, are self-organized hierarchical graphs. Urban traffic flows on intricate road…

Physics and Society · Physics 2014-08-08 Francesca Di Patti , Duccio Fanelli , Francesco Piazza

Courcelle's famous theorem from 1990 states that any property of graphs definable in monadic second-order logic (MSO) can be decided in linear time on any class of graphs of bounded treewidth, or in other words, MSO is fixed-parameter…

Logic in Computer Science · Computer Science 2015-03-13 Stephan Kreutzer , Siamak Tazari

The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Buchi, regular languages have been classified according to their descriptive complexity, i.e. the type of logical…

Logic in Computer Science · Computer Science 2017-01-11 Pascal Tesson , Denis Therien

To date, the only way to argue polynomial lower bounds for dynamic algorithms is via fine-grained complexity arguments. These arguments rely on strong assumptions about specific problems such as the Strong Exponential Time Hypothesis (SETH)…

Computational Complexity · Computer Science 2023-07-27 Sayan Bhattacharya , Danupon Nanongkai , Thatchaphol Saranurak

The learnability of different neural architectures can be characterized directly by computable measures of data complexity. In this paper, we reframe the problem of architecture selection as understanding how data determines the most…

Machine Learning · Computer Science 2018-02-14 William H. Guss , Ruslan Salakhutdinov

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…

Artificial Intelligence · Computer Science 2013-08-02 Václav Lín

It is well-known that inference in graphical models is hard in the worst case, but tractable for models with bounded treewidth. We ask whether treewidth is the only structural criterion of the underlying graph that enables tractable…

Data Structures and Algorithms · Computer Science 2016-11-11 Venkat Chandrasekaran , Nathan Srebro , Prahladh Harsha

The Beeping Network (BN) model captures important properties of biological processes. Paradoxically, the extremely limited communication capabilities of such nodes has helped BN become one of the fundamental models for networks. Since in…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-20 Pawel Garncarek , Dariusz R. Kowalski , Shay Kutten , Miguel A. Mosteiro

We introduce Graph Neural Processes (GNP), inspired by the recent work in conditional and latent neural processes. A Graph Neural Process is defined as a Conditional Neural Process that operates on arbitrary graph data. It takes features of…

Machine Learning · Computer Science 2019-10-03 Andrew Carr , David Wingate

We study the fixed points of outer-totalistic cellular automata on sparse random regular graphs. These can be seen as constraint satisfaction problems, where each variable must adhere to the same local constraint, which depends solely on…

Disordered Systems and Neural Networks · Physics 2024-12-06 Cédric Koller , Freya Behrens , Lenka Zdeborová

We examine the problem of question answering over knowledge graphs, focusing on simple questions that can be answered by the lookup of a single fact. Adopting a straightforward decomposition of the problem into entity detection, entity…

Computation and Language · Computer Science 2018-06-07 Salman Mohammed , Peng Shi , Jimmy Lin