English
Related papers

Related papers: Dynamic Complexity of the Dyck Reachability

200 papers

(see paper for full abstract) Cut problems and connectivity problems on digraphs are two well-studied classes of problems from the viewpoint of parameterized complexity. After a series of papers over the last decade, we now have (almost)…

Data Structures and Algorithms · Computer Science 2019-10-07 Rajesh Chitnis , Andreas Emil Feldmann

Deep Neural Networks (DNNs) have been used to solve different day-to-day problems. Recently, DNNs have been deployed in real-time systems, and lowering the energy consumption and response time has become the need of the hour. To address…

Machine Learning · Computer Science 2023-08-21 Mirazul Haque , Wei Yang

An algebraic telic problem is a decision problem in $\textsf{NP}_\mathbb{R}$ formalizing finite-time reachability questions for one-dimensional dynamical systems. We prove that the existence of "natural" mapping reductions between algebraic…

Computational Complexity · Computer Science 2026-01-16 Samuel Everett

Introduced the quantitative measure of the structural complexity of the graph (complex network, etc.) based on a procedure similar to the renormalization process, considering the difference between actual and averaged graph structures on…

Physics and Society · Physics 2024-06-05 A. A. Snarskii

Time-evolving or temporal graphs gain more and more popularity when studying the behavior of complex networks. In this context, the multistage view on computational problems is among the most natural frameworks. Roughly speaking, herein one…

Computational Complexity · Computer Science 2020-07-30 Klaus Heeger , Anne-Sophie Himmel , Frank Kammer , Rolf Niedermeier , Malte Renken , Andrej Sajenko

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…

Computational Complexity · Computer Science 2026-04-08 Marco Sälzer , Martin Lange

Influence diagrams allow for intuitive and yet precise description of complex situations involving decision making under uncertainty. Unfortunately, most of the problems described by influence diagrams are hard to solve. In this paper we…

Artificial Intelligence · Computer Science 2012-10-19 Denis D. Maua , Cassio Polpo de Campos , Marco Zaffalon

A (fully) dynamic graph algorithm is a data structure that supports edge insertions, edge deletions, and answers specific queries pertinent to the problem at hand. In this work, we address the fully dynamic edge orientation problem, also…

Data Structures and Algorithms · Computer Science 2024-07-18 Ernestine Großmann , Henrik Reinstädtler , Christian Schulz , Fabian Walliser

This paper investigates why and when the edge-based districting problem becomes computationally intractable. The overall problem is represented as an exact mathematical programming formulation consisting of an objective function and several…

Discrete Mathematics · Computer Science 2025-10-30 Niklas Jost , Adolfo Escobedo , Alice Kirchheim

Network or graph structures are ubiquitous in the study of complex systems. Often, we are interested in complexity trends of these system as it evolves under some dynamic. An example might be looking at the complexity of a food web as…

Information Theory · Computer Science 2007-07-16 Russell K. Standish

We study the classical problem of computing geometric thickness, i.e., finding a straight-line drawing of an input graph and a partition of its edges into as few parts as possible so that each part is crossing-free. Since the problem is…

Computational Complexity · Computer Science 2024-11-26 Thomas Depian , Simon Dominik Fink , Alexander Firbas , Robert Ganian , Martin Nöllenburg

In a dynamic parametric process every subprocess may spawn arbitrarily many, identical child processes, that may communicate either over global variables, or over local variables that are shared with their parent. We show that reachability…

Logic in Computer Science · Computer Science 2016-09-20 Anca Muscholl , Helmut Seidl , Igor Walukiewicz

Complexity is an interdisciplinary concept which, first of all, addresses the question of how order emerges out of randomness. For many reasons matrices provide a very practical and powerful tool in approaching and quantifying the related…

Soft Condensed Matter · Physics 2008-12-18 S. Drozdz , J. Kwapien , J. Speth , M. Wojcik

A novel approach to complex problems has been previously applied to graph classification and the graph equivalence problem. Here we consider its applications to a wide set of NP complete problems, namely, those of finding a subgraph g…

Disordered Systems and Neural Networks · Physics 2007-05-23 Shmuel Nussinov , Zohar Nussinov

Given a graph $G$ and two independent sets of same size, the Independent Set Reconfiguration Problem under token sliding ask whether one can, in a step by step manner, transform the first independent set into the second one. In each step we…

Discrete Mathematics · Computer Science 2025-05-01 Jona Dirks , Alexandre Vigny

In answer set programming, inconsistencies arise when the constraints placed on a program become unsatisfiable. In this paper, we introduce a technique for dynamic consistency checking for our goal-directed method for computing answer sets,…

Logic in Computer Science · Computer Science 2020-02-19 Kyle Marple , Gopal Gupta

The universal concept of complexity by the dynamic redundance paradigm and the ensuing concept of extended dynamic fractality (physics/9806002) are applied here to higher levels of complexity corresponding to living systems. After recalling…

General Physics · Physics 2007-05-23 Andrei P. Kirilyuk

We aim to find orientations of mixed graphs optimizing the total reachability, a problem that has applications in causality and biology. For given a digraph $D$, we use $P(D)$ for the set of ordered pairs of distinct vertices in $V(D)$ and…

Computational Complexity · Computer Science 2025-09-24 Florian Hörsch

In distributed networks, it is often useful for the nodes to be aware of dense subgraphs, e.g., such a dense subgraph could reveal dense subtructures in otherwise sparse graphs (e.g. the World Wide Web or social networks); these might…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-08-08 Atish Das Sarma , Ashwin Lall , Danupon Nanongkai , Amitabh Trehan

String Edit Distance is a more-than-classical problem whose behavior in the dynamic setting, where the strings are updated over time, is well studied. A single-character substitution, insertion, or deletion can be processed in time…

Data Structures and Algorithms · Computer Science 2025-11-18 Bingbing Hu , Jakob Nogler , Barna Saha