Random sample consensus¶

Estimate a model under substantial outlier contamination by repeatedly fitting random minimal subsets, scoring each hypothesis by thresholded consensus support, and refining the best supported model.

Version: v2 · 2026-08-30 · History
Domain-specific #: 2620
Origin domain: computer vision and robust estimation
Subdomain: sample consensus model fitting

Core Idea¶

Random sample consensus, or RANSAC, is a randomized robust-fitting algorithm that repeatedly draws a minimal data subset, fits a candidate model, identifies observations whose residuals fall within a declared threshold, and retains or refines the hypothesis with strongest consensus. When an all-inlier minimal subset is sampled it can generate a good hypothesis despite many outliers; thresholded residuals expose its supporting consensus, and repeated independent trials increase the chance of encountering such a subset.

Its autonomous residual is the random-minimal-hypothesis, thresholded-consensus, best-model, and refit loop, not robust estimation generally, random subsampling alone, or one software library. The identity fails when samples are not sufficient to fit the model, degeneracy is ignored, residuals and threshold use inconsistent units, the stopping formula assumes a false inlier rate, multiple structures are merged without a model, or nondeterministic output is reported without seed and budget.

Scope of Application¶

Random sample consensus applies when the analyst can specify observed data containing an unknown inlier subset compatible with one parametric model and outliers not required to follow that model and establish that candidate models arise from random minimal subsets and are selected by a declared consensus or robust support criterion before an optional fit to the accepted inliers. The entry is conceptual and nonprocedural; it does not provide surveillance, targeting, evasion, or deployment instructions, and application suitability requires domain-specific validation.

Clarity¶

A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because consensus refers to data support for a model, not agreement among people or distributed processes, and random sample describes hypothesis generation rather than the final estimator alone. The disciplined statement is that the object counts as Random sample consensus exactly when candidate models arise from random minimal subsets and are selected by a declared consensus or robust support criterion before an optional fit to the accepted inliers

Manages Complexity¶

The abstraction compresses basic RANSAC, adaptive stopping, MSAC, MLESAC, PROSAC, locally optimized RANSAC, preemptive variants, multiple-model extensions, and deterministic sampling alternatives into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.

Compression can hide assumptions. A responsible use therefore declares model family, minimal sample size, sampler, degeneracy, residual, threshold, consensus score, inlier ratio, confidence, trial budget, local optimization, refit, and reproducibility and returns to the full diagnostic whenever a convention or boundary case changes.

Abstract Reasoning¶

Type the carrier. Establish observed data containing an unknown inlier subset compatible with one parametric model and outliers not required to follow that model and reject examples from a different problem. 2. Lock the rule. Express that candidate models arise from random minimal subsets and are selected by a declared consensus or robust support criterion before an optional fit to the accepted inliers independently of one notation or implementation.

Knowledge Transfer¶

Transfer within computer vision and robust estimation is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from For line fitting in a plane, randomly select two points, fit their line, count points within a residual threshold, and retain then refit the line supported by the largest adequate consensus set. to In image matching, RANSAC can fit a homography from candidate feature correspondences and reject many geometrically inconsistent matches. demonstrates that continuity.

Relationships to Other Abstractions¶

Current abstraction Random sample consensus Domain-specific

Parents (1) — more general patterns this builds on

Random sample consensus is a kind of Algorithm Prime

The proposed strict upward parent is prime:algorithm.

Hierarchy paths (2) — routes to 2 parentless roots

Random sample consensus → Algorithm → Function (Mapping)

Show alternative path (1)

Neighborhood in Abstraction Space¶

Random sample consensus sits in a moderately populated region (56^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Robust Decomposition & Sensitivity Analysis (5 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08