English
Related papers

Related papers: The Complexity of Verifying Population Protocols

200 papers

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 2012-01-23 Russell K. Standish

Community detection is one of the most important problems in network analysis. Among many algorithms proposed for this task, methods based on statistical inference are of particular interest: they are mathematically sound and were shown to…

Social and Information Networks · Computer Science 2019-02-25 Liudmila Prokhorenkova , Alexey Tikhonov

Multi-objective optimization problems (MOPs) require the simultaneous optimization of conflicting objectives. Real-world MOPs often exhibit complex characteristics, including high-dimensional decision spaces, many objectives, or…

Neural and Evolutionary Computing · Computer Science 2025-10-20 Haokai Hong , Liang Feng , Min Jiang , Kay Chen Tan

Community detection is an important research topic in complex networks. We present the employment of a genetic algorithm to detect communities in complex networks which is based on optimizing network modularity. It does not need any prior…

Physics and Society · Physics 2007-11-06 Mursel Tasgin , Amac Herdagdelen , Haluk Bingol

In this paper we investigate the computational power of Population Protocols (PP) under some unreliable and/or weaker interaction models. More precisely, we focus on two features related to the power of interactions: omission failures and…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-11-03 Giuseppe Antonio Di Luna , Paola Flocchini , Taisuke Izumi , Tomoko Izumi , Nicola Santoro , Giovanni Viglietta

The subpopulationtion shift, characterized by a disparity in subpopulation distributibetween theween the training and target datasets, can significantly degrade the performance of machine learning models. Current solutions to subpopulation…

Many classification applications require accurate probability estimates in addition to good class separation but often classifiers are designed focusing only on the latter. Calibration is the process of improving probability estimates by…

Machine Learning · Computer Science 2020-01-31 Tuomo Alasalmi , Jaakko Suutala , Heli Koskimäki , Juha Röning

Community detection is a very active field in complex networks analysis, consisting in identifying groups of nodes more densely interconnected relatively to the rest of the network. The existing algorithms are usually tested and compared on…

Social and Information Networks · Computer Science 2012-08-16 Günce Orman , Vincent Labatut , Hocine Cherifi

Community detection in graphs is the problem of finding groups of vertices which are more densely connected than they are to the rest of the graph. This problem has a long history, but it is undergoing a resurgence of interest due to the…

Computational Complexity · Computer Science 2017-08-25 Cristopher Moore

Complex networks, modeled as large graphs, received much attention during these last years. However, data on such networks is only available through intricate measurement procedures. Until recently, most studies assumed that these…

Networking and Internet Architecture · Computer Science 2007-05-23 Matthieu Latapy , Clemence Magnien

Following the Bayesian communication learning paradigm, we propose a finite population learning concept to capture the level of information aggregation in any given network, where agents are allowed to communicate with neighbors repeatedly…

Social and Information Networks · Computer Science 2012-12-13 Jianqing Fan , Xin Tong , Yao Zeng

Allocation strategies improve the efficiency of crowdsourcing by decreasing the work needed to complete individual tasks accurately. However, these algorithms introduce bias by preferentially allocating workers onto easy tasks, leading to…

Machine Learning · Computer Science 2022-04-28 Abigail Hotaling , James Bagrow

Meta-population networks are effective tools for capturing population movement across distinct regions, but the assumption of well-mixed regions fails to capture the reality of population higher-order interactions. As a multidimensional…

Physics and Society · Physics 2024-06-18 Yanyi Nie , Yanbing Liu , Qixuan Cao , Tao Lin , Wei Wang

We study the problem of adaptively identifying patient subpopulations that benefit from a given treatment during a confirmatory clinical trial. This type of adaptive clinical trial has been thoroughly studied in biostatistics, but has been…

Machine Learning · Statistics 2023-06-06 Alicia Curth , Alihan Hüyük , Mihaela van der Schaar

This paper addresses mechanisms for boundedly rational decision makers in discrete choice problem. First, we introduce two mathematical models of population dynamics with conformity biases. We next analyze the models in terms of…

Systems and Control · Electrical Eng. & Systems 2021-11-23 Shunya Yamashita , Kodai Irifune , Takeshi Hatanaka , Yasuaki Wasa , Kenji Hirata , Kenko Uchida

We consider \emph{plurality consensus} in a network of $n$ nodes. Initially, each node has one of $k$ opinions. The nodes execute a (randomized) distributed protocol to agree on the plurality opinion (the opinion initially supported by the…

Data Structures and Algorithms · Computer Science 2016-02-04 Petra Berenbrink , Tom Friedetzky , Peter Kling , Frederik Mallmann-Trenn , Chris Wastell

Constraint Programming (CP) has proved an effective paradigm to model and solve difficult combinatorial satisfaction and optimisation problems from disparate domains. Many such problems arising from the commercial world are permeated by…

Artificial Intelligence · Computer Science 2018-08-08 Neil Yorke-Smith , Carmen Gervet

We consider the problem of model multiplicity in downstream decision-making, a setting where two predictive models of equivalent accuracy cannot agree on the best-response action for a downstream loss function. We show that even when the…

Machine Learning · Computer Science 2024-05-31 Ally Yalei Du , Dung Daniel Ngo , Zhiwei Steven Wu

Purity testing protocols (PTPs), i.e., protocols that decide with high probability whether or not a distributed bipartite quantum state is maximally entangled, have been proven to be a useful tool in many quantum communication applications.…

Quantum Physics · Physics 2026-05-13 Róbert Trényi , Simeon Ball , David G. Glynn , Marcos Curty

Genetic Programming (GP) has found various applications. Understanding this type of algorithm from a theoretical point of view is a challenging task. The first results on the computational complexity of GP have been obtained for problems…

Neural and Evolutionary Computing · Computer Science 2011-05-09 Markus Wagner , Frank Neumann