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

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...

Gaussian Elimination: Problem Solving

Gaussian Elimination: Problem Solving

Systems of linear equations in several variables are pivotal in modeling complex scenarios involving multiple unknowns and constraints. Such systems are widely used in various fields to represent relationships where several conditions must be simultaneously satisfied. Each variable in the system corresponds to an unknown quantity, while each equation imposes a linear constraint, leading to a structured approach for analyzing and solving real-world problems.A system of three equations with three...

Statically Indeterminate Problem Solving

Statically Indeterminate Problem Solving

Statically indeterminate problems are those where statics alone can not determine the internal forces or reactions. Consider a structure comprising two cylindrical rods made of steel and brass. These rods are joined at point B and restrained by rigid supports at points A and C. Now, the reactions at points A and C and the deflection at point B are to be determined. This rod structure is classified as statically indeterminate as the structure has more supports than are necessary for maintaining...

Systems of Equations

Systems of Equations

A system of equations consists of multiple equations involving common variables. The objective is to identify values that simultaneously satisfy all equations. Systems of equations provide a framework for analyzing multiple constraints or relationships within a single problem context.Three primary algebraic techniques are used to solve systems: substitution, elimination, and graphical methods. The substitution method involves solving one equation for one variable and substituting the result...

Mathematical Modeling: Problem Solving

Mathematical Modeling: Problem Solving

Mathematical modeling transforms real-world scenarios into mathematical expressions, allowing for structured problem-solving and analysis. This process involves defining the situation, assigning variables to measurable quantities, selecting an appropriate model, and solving the resulting equation. Such models are invaluable in finance, providing precise methods to evaluate investments, loans, and repayment structures.A widely used example is the calculation of fixed monthly payments on a loan,...

Theorems of Pappus and Guldinus: Problem Solving

Theorems of Pappus and Guldinus: Problem Solving

Pappus and Guldinus's theorems are powerful mathematical principles that are used for finding the surface area and volume of composite shapes. For example, consider a cylindrical storage tank with a conical top. Finding the surface area or volume can be challenging for such complex shapes. These theorems are particularly useful in calculating the volume and surface area of such systems. Here, the cylindrical storage tank with a conical top can be broken down into two simple shapes: a cylinder...

You might also read

Related Articles

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

Sort by

Same author

Comparing 24 h Urine and Spot Urine Calcium Measurements in Clinical Routine: Accuracy and Limitations.

Journal of clinical medicine·2026

Same author

Clinical presentation of adults with persistently low alkaline phosphatase activity: a retrospective multicentre, cross-sectional study in Germany.

BMJ open·2025

Same author

In and beyond the Griffiths phase: A large-deviation study of the magnetic susceptibility of the two-dimensional bond-diluted Ising model.

Physical review. E·2024

Same author

Statistical methods for linking material composition to recombination losses in optoelectronic devices.

The Review of scientific instruments·2024

Same author

Metastate analysis of the ground states of two-dimensional Ising spin glasses.

Physical review. E·2023

Same author

Cutting-plane algorithms and solution whitening for the vertex-cover problem.

Physical review. E·2022

Same journal

Tension on dsDNA bound to ssDNA-RecA filaments may play an important role in driving efficient and accurate homology recognition and strand exchange.

Physical review. E, Statistical, nonlinear, and soft matter physics·2016

Same journal

Publisher's Note: Amplitude-phase coupling drives chimera states in globally coupled laser networks [Phys. Rev. E 91, 040901(R) (2015)].

Physical review. E, Statistical, nonlinear, and soft matter physics·2016

Same journal

Erratum: Shapes of sedimenting soft elastic capsules in a viscous fluid [Phys. Rev. E 92, 033003 (2015)].

Physical review. E, Statistical, nonlinear, and soft matter physics·2016

Same journal

Erratum: Attenuation of excitation decay rate due to collective effect [Phys. Rev. E 90, 022142 (2014)].

Physical review. E, Statistical, nonlinear, and soft matter physics·2016

Same journal

Publisher's Note: Role of connectivity and fluctuations in the nucleation of calcium waves in cardiac cells [Phys. Rev. E 92, 052715 (2015)].

Physical review. E, Statistical, nonlinear, and soft matter physics·2016

Same journal

Publisher's Note: Lattice Boltzmann approach for complex nonequilibrium flows [Phys. Rev. E 92, 043308 (2015)].

Physical review. E, Statistical, nonlinear, and soft matter physics·2016

See all related articles

Search research articles

Related Experiment Video

Updated: Jun 5, 2026

Finite Element Analysis Model for Assessing Expansion Patterns from Surgically Assisted Rapid Palatal Expansion

Finite Element Analysis Model for Assessing Expansion Patterns from Surgically Assisted Rapid Palatal Expansion

Published on: October 20, 2023

Numerical solution-space analysis of satisfiability problems.

Alexander Mann¹, A K Hartmann

¹II. Institute of Physics, University of Göttingen, Friedrich-Hund-Platz 1, 37077 Göttingen, Germany. amann@uni-goettingen.de

Physical Review. E, Statistical, Nonlinear, and Soft Matter Physics

|January 15, 2011

Summary

This summary is machine-generated.

Standard algorithms for the three-satisfiability problem (3-SAT) show sampling bias. A new ballistic-networking approach provides unbiased solutions, revealing a clustered solution-space structure crucial for solving large 3-SAT instances.

Related Experiment Videos

Last Updated: Jun 5, 2026

Finite Element Analysis Model for Assessing Expansion Patterns from Surgically Assisted Rapid Palatal Expansion

Finite Element Analysis Model for Assessing Expansion Patterns from Surgically Assisted Rapid Palatal Expansion

Published on: October 20, 2023

Area of Science:

Computational complexity theory
Statistical physics

Background:

The three-satisfiability problem (3-SAT) is a fundamental problem in computational complexity.
Understanding the structure of its solution space is key to developing efficient solving algorithms.

Purpose of the Study:

To investigate the solution-space structure of 3-SAT as a function of the control parameter α.
To identify and overcome sampling biases in standard algorithms.

Main Methods:

Numerical simulations of 3-SAT instances.
Comparison of standard stochastic local-search (SLS) algorithms (ASAT, MCMCMC) with a novel ballistic-networking approach.
Analysis of solution-space clustering and variable behavior.

Main Results:

Standard SLS algorithms like ASAT and MCMCMC exhibit sampling bias.
The ballistic-networking approach provides unbiased sampling and reveals a clustered solution-space structure.
A phase transition to a clustered phase occurs around α(c)≈3.86.
Clusters persist even near the SAT-UNSAT transition (α(s)≈4.267), with no frozen variables.

Conclusions:

The ballistic-networking approach offers a method for unbiased sampling of 3-SAT solutions.
The identified clustered structure, particularly the absence of frozen variables near the transition, explains the success of some SLS algorithms on large instances.