MENTAL MODEL · M4236

Pigeonhole Principle

StructureHigh supportLogic

Included

Version 1.0.0 · Updated 2026-07-30

CORE DEFINITION

If n+1 objects are placed into n boxes, then at least one box contains no fewer than two objects. This is the most basic, obvious, yet extremely widely applied mathematical principle.

SCAFFOLDING EFFECT

psychology

Reduce cognitive load

It provides a concise proof tool for inevitability. In resource allocation, cryptography, and algorithm design, it often proves with minimal logic that something "must happen," serving as the mathematical version of "too many people, too little porridge."

anchor

Anchor fast decisions

If n+1 objects are placed into n containers, counting shows that at least one container holds no fewer than two objects. It is the simplest inevitability argument of the drawer type: as long as "the number of objects exceeds the number of containers," conflict or repetition is unavoidable, without needing to know the specific distribution.

MINIMUM ACTION

In progress 0/5

Practice this model in one real situation:

Clarify what the "objects" and "containers" refer to respectively
Compare their quantities
if the number of objects > number of containers, assert that there must exist a container with at least two objects
Use the conclusion to prove existence (without constructing a specific instance)
In algorithms/cryptography, derive boundaries for collisions or inevitable events based on this principle.

Check to track your progress (stored locally)

Learning progress0%

account_treeGenealogyexpand_more

menu_bookReferencesexpand_more

Source support: Explicit

link
en.wikipedia.orghttps://en.wikipedia.org/wiki/Pigeonhole_principleZH · Explicit
verified

RELATED MODELS