Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Testing a Claim about Population Proportion

Testing a Claim about Population Proportion

A complete procedure for testing a claim about a population proportion is provided here.
There are two methods of testing a claim about a population proportion: (1) Using the sample proportion from the data where a binomial distribution is approximated to the normal distribution and (2) Using the binomial probabilities calculated from the data.
The first method uses normal distribution as an approximation to the binomial distribution. The requirements are as follows: sample size is large...

What are Populations and Communities?

What are Populations and Communities?

Analysis of Population Pharmacokinetic Data

Analysis of Population Pharmacokinetic Data

Analysis of population pharmacokinetic data involves studying the behavior of drugs within diverse populations to understand their pharmacokinetic parameters. Traditional pharmacokinetic methods typically involve collecting samples from a few individuals and estimating these parameters. While these methods are commonly used, they have limitations in capturing the variability in drug response among individuals or heterogeneous populations. Population pharmacokinetics is employed to address these...

What is Population Genetics?

What is Population Genetics?

A population is composed of members of the same species that simultaneously live and interact in the same area. When individuals in a population breed, they pass down their genes to their offspring. Many of these genes are polymorphic, meaning that they occur in multiple variants. Such variations of a gene are referred to as alleles. The collective set of all the alleles within a population is known as the gene pool.

Sample Proportion and Population Proportion

Sample Proportion and Population Proportion

Collecting samples or responses from an entire population takes significant time and effort, so a researcher collects responses from only a sample of that population. Suppose a study needs to collect information about a specific mobile application. After sample collection, the researcher analyzes the data and discovers that most individuals in the sample use that specific mobile application. The sample proportion measures the number of individuals in a sample who either use or don't use the...

Testing a Claim about Mean: Known Population SD

Testing a Claim about Mean: Known Population SD

A complete procedure of testing the hypothesis about a population mean is explained here.
Estimating a population mean requires the samples to be distributed normally. The data should be collected from the randomly selected samples having no sampling bias. The sample size needed to be higher than 30, and most importantly, the population standard deviation should be already known.
In most realistic situations, the population standard deviation is often unknown, but in rare circumstances, when it...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by

Same author

Towards efficient verification of population protocols.

Formal methods in system design·2021

Same journal

A topological characterization of stabilizing consensus.

Distributed computing·2026

Same journal

Connectivity Labeling in Faulty Colored Graphs.

Distributed computing·2026

Same journal

Optimal message-passing with noisy beeps.

Distributed computing·2025

Same journal

Asymmetric distributed trust.

Distributed computing·2024

Same journal

Near-optimal distributed dominating set in bounded arboricity graphs.

Distributed computing·2024

Same journal

Component stability in low-space massively parallel computation.

Distributed computing·2024

See all related articles

Search research articles

Related Experiment Video

Updated: Oct 14, 2025

Heuristic Mining of Hierarchical Genotypes and Accessory Genome Loci in Bacterial Populations

Heuristic Mining of Hierarchical Genotypes and Accessory Genome Loci in Bacterial Populations

Published on: December 7, 2021

The complexity of verifying population protocols.

Javier Esparza¹, Stefan Jaax¹, Mikhail Raskin¹

¹Technical University of Munich, Munich, Germany.

Distributed Computing

|November 1, 2021

Summary

This summary is machine-generated.

Population protocols, a distributed computing model, are analyzed for their correctness problem. For observation models, this problem has significantly lower computational complexity than previously known.

Keywords:

Distributed computing Parameterized verification Population protocols Reachability analysis

More Related Videos

Daily Transfers, Archiving Populations, and Measuring Fitness in the Long-Term Evolution Experiment with Escherichia coli

Daily Transfers, Archiving Populations, and Measuring Fitness in the Long-Term Evolution Experiment with Escherichia coli

Published on: August 18, 2023

A Robotic Platform for High-throughput Protoplast Isolation and Transformation

A Robotic Platform for High-throughput Protoplast Isolation and Transformation

Published on: September 27, 2016

Related Experiment Videos

Last Updated: Oct 14, 2025

Heuristic Mining of Hierarchical Genotypes and Accessory Genome Loci in Bacterial Populations

Heuristic Mining of Hierarchical Genotypes and Accessory Genome Loci in Bacterial Populations

Published on: December 7, 2021

Daily Transfers, Archiving Populations, and Measuring Fitness in the Long-Term Evolution Experiment with Escherichia coli

Daily Transfers, Archiving Populations, and Measuring Fitness in the Long-Term Evolution Experiment with Escherichia coli

Published on: August 18, 2023

A Robotic Platform for High-throughput Protoplast Isolation and Transformation

A Robotic Platform for High-throughput Protoplast Isolation and Transformation

Published on: September 27, 2016

Area of Science:

Distributed computing
Theoretical computer science
Formal methods

Background:

Population protocols are a model for distributed computation with indistinguishable agents.
Previous work classified protocols and analyzed their expressive power.
The correctness problem for the main population protocol model is decidable but highly complex.

Purpose of the Study:

To investigate the computational complexity of the correctness problem for various classes of population protocols.
To analyze classes of population protocols less powerful than the main model.
To provide a complexity analysis for the correctness problem across different protocol classes.

Main Methods:

Analysis of computational complexity for correctness checking.
Comparison of complexity across different population protocol classes.
Focus on the decidability and complexity bounds for specific protocol types.

Main Results:

The correctness problem for the main population protocol model is at least as hard as the reachability problem for Petri nets (non-elementary complexity).
For the class of observation models, the correctness problem exhibits significantly lower computational complexity.
Complexity for observation models ranges from to PSPACE.

Conclusions:

The complexity of the correctness problem varies substantially across different population protocol classes.
Observation models offer a more computationally tractable setting for verifying population protocols.
Further research into specific protocol classes can yield more efficient verification methods.