English
Related papers

Related papers: The Complexity of Synthesizing nop-Equipped Boolea…

200 papers

Generalised degrees provide a natural bridge between local and global topological properties of networks. We define the generalised degree to be the number of neighbours of a node within one and two steps respectively. Tailored random graph…

Disordered Systems and Neural Networks · Physics 2013-09-17 Ekaterina S. Roberts , Anthonius C. C. Coolen

This paper is devoted to a study of single-peakedness on arbitrary graphs. Given a collection of preferences (rankings of a set of alternatives), we aim at determining a connected graph G on which the preferences are single-peaked, in the…

Computer Science and Game Theory · Computer Science 2020-04-29 Bruno Escoffier , Olivier Spanjaard , Magdaléna Tydrichová

The trophic levels of nodes in directed networks can reveal their functional properties. Moreover, the trophic coherence of a network, defined in terms of trophic levels, is related to properties such as cycle structure, stability and…

Physics and Society · Physics 2020-01-16 R. S. MacKay , S. Johnson , B. Sansom

A Petri net is choice-free if any place has at most one transition in its postset (consuming its tokens) and it is (extended) free-choice (EFC) if the postsets of any two places are either equal or disjoint. Asymmetric choice (AC) extends…

Formal Languages and Automata Theory · Computer Science 2019-11-25 Harro Wimmel

In this paper, we study the problem of non-blockingness verification by tapping into the basis reachability graph (BRG). Non-blockingness is a property that ensures that all pre-specified tasks can be completed, which is a mandatory…

Systems and Control · Electrical Eng. & Systems 2021-06-15 Chao Gu , Ziyue Ma , Zhiwu Li , Alessandro Giua

We calculate explicit formulae for the Shannon entropies of several families of tailored random graph ensembles for which no such formulae were as yet available, in leading orders in the system size. These include bipartite graph ensembles…

Disordered Systems and Neural Networks · Physics 2014-04-24 Ekaterina Roberts , Ton Coolen

We consider Independent Set and Dominating Set restricted to VPG graphs (or, equivalently, string graphs). We show that they both remain $\mathsf{NP}$-hard on $B_0$-VPG graphs admitting a representation such that each grid-edge belongs to…

Data Structures and Algorithms · Computer Science 2020-04-17 Esther Galby , Andrea Munaro

(a) We propose a ``static'' construction procedure for random networks with given correlations of the degrees of the nearest-neighbor vertices. This is an equilibrium graph, maximally random under the constraint that its degree-degree…

Statistical Mechanics · Physics 2007-05-23 S. N. Dorogovtsev , J. F. F. Mendes , A. N. Samukhin

In this note we study the computational complexity of feedback arc set counting problems in directed graphs, highlighting some subtle yet common properties of counting classes. Counting the number of feedback arc sets of cardinality $k$ and…

Discrete Mathematics · Computer Science 2022-03-11 Kevin Perrot

We investigate how classifiers for Boolean networks (BNs) can be constructed and modified under constraints. A typical constraint is to observe only states in attractors or even more specifically steady states of BNs. Steady states of BNs…

Commutative Algebra · Mathematics 2021-08-20 Robert Schwieger , Matías R. Bender , Heike Siebert , Christian Haase

Drawings of highly connected (dense) graphs can be very difficult to read. Power Graph Analysis offers an alternate way to draw a graph in which sets of nodes with common neighbours are shown grouped into modules. An edge connected to the…

Computational Geometry · Computer Science 2013-11-28 Tim Dwyer , Christopher Mears , Kerri Morgan , Todd Niven , Kim Marriott , Mark Wallace

Neural networks that compute over graph structures are a natural fit for problems in a variety of domains, including natural language (parse trees) and cheminformatics (molecular graphs). However, since the computation graph has a different…

Neural and Evolutionary Computing · Computer Science 2017-02-23 Moshe Looks , Marcello Herreshoff , DeLesley Hutchins , Peter Norvig

We apply a Bethe-Peierls approach to statistical-mechanics models defined on random networks of arbitrary degree distribution and arbitrary correlations between the degrees of neighboring vertices. Using the NP-hard optimization problem of…

Disordered Systems and Neural Networks · Physics 2009-11-07 Alexei Vazquez , Martin Weigt

A graph G is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function w is defined on its vertices. Then G is w-well-covered if all maximal independent sets are of the same weight. For…

Discrete Mathematics · Computer Science 2016-11-22 Vadim E. Levit , David Tankus

Probabilistic dependency graphs (PDGs) are a flexible class of probabilistic graphical models, subsuming Bayesian Networks and Factor Graphs. They can also capture inconsistent beliefs, and provide a way of measuring the degree of this…

Data Structures and Algorithms · Computer Science 2023-11-10 Oliver E. Richardson , Joseph Y. Halpern , Christopher De Sa

Recent work by the authors equips Petri occurrence nets (PN) with probability distributions which fully replace nondeterminism. To avoid the so-called confusion problem, the construction imposes additional causal dependencies which restrict…

Logic in Computer Science · Computer Science 2018-07-18 Roberto Bruni , Hernán Melgratti , Ugo Montanari

Graphs serve as generic tools to encode the underlying relational structure of data. Often this graph is not given, and so the task of inferring it from nodal observations becomes important. Traditional approaches formulate a convex inverse…

Machine Learning · Computer Science 2024-06-24 Max Wasserman , Gonzalo Mateos

We derive a message passing method for computing the spectra of locally tree-like networks and an approximation to it that allows us to compute closed-form expressions or fast numerical approximates for the spectral density of random graphs…

Physics and Society · Physics 2019-04-19 M. E. J. Newman , Xiao Zhang , Raj Rao Nadakuditi

Boolean network models of strongly connected modules are capable of capturing the high regulatory complexity of many biological gene regulatory circuits. We study numerically the previously introduced basin entropy, a parameter for the…

Disordered Systems and Neural Networks · Physics 2009-11-13 P. Krawitz , I. Shmulevich

Graphs face challenges when dealing with massive datasets. They are essential tools for modeling interconnected data and often become computationally expensive. Graph embedding techniques, on the other hand, provide an efficient approach.…

Databases · Computer Science 2024-12-16 Plácido A Souza Neto