Teaching dimension¶
The maximum, over concepts in a class, of the smallest labeled example set that uniquely identifies each concept to a learner when examples are chosen by a helpful teacher.
Core Idea¶
The classical teaching dimension of a concept class is the largest minimum size of a teaching set that uniquely distinguishes a target concept from every other concept in the class. A cooperative teacher selects maximally informative labeled instances; uniqueness follows when every competing concept disagrees with the target on at least one selected instance. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.
Scope of Application¶
Teaching dimension belongs to computational learning theory and is useful where the analyst can specify a domain, concept class, target concept, labeled examples, a learner's consistency or preference rule, witness or teaching sets, and a maximum over targets, then evaluate teacher and learner model, concept class and uniqueness criterion are fixed before taking the per-target minimum and class-wide maximum. The scope is broad within that domain but bounded by the need for teacher and learner model, concept class and uniqueness criterion are fixed before taking the per-target minimum and class-wide maximum. The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
Clarity¶
The abstraction clarifies a crowded vocabulary by making teacher and learner model, concept class and uniqueness criterion are fixed before taking the per-target minimum and class-wide maximum the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because the name Teaching dimension can be used for a formal identity, an implementation, or a neighboring result unless carrier and convention are stated.
Manages Complexity¶
Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Teaching dimension. Teaching dimension compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.
Abstract Reasoning¶
- Identify the carrier. State what the elements, states, objects, or observations are: a domain, concept class, target concept, labeled examples, a learner's consistency or preference rule, witness or teaching sets, and a maximum over targets. Reject examples whose alleged carrier belongs to a different problem. 2. Lock the constitutive rule. Express teacher and learner model, concept class and uniqueness criterion are fixed before taking the per-target minimum and class-wide maximum independently of one notation or implementation.
Knowledge Transfer¶
Knowledge transfers strongly among subfields of computational learning theory because they reuse a domain, concept class, target concept, labeled examples, a learner's consistency or preference rule, witness or teaching sets, and a maximum over targets, A cooperative teacher selects maximally informative labeled instances; uniqueness follows when every competing concept disagrees with the target on at least one selected instance., and type the carrier, state every parameter and convention in the definition, test that teacher and learner model, concept class and uniqueness criterion are fixed before taking the per-target minimum and class-wide maximum, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.
Relationships to Other Abstractions¶
Current abstraction Teaching dimension Domain-specific
Parents (1) — more general patterns this builds on
-
Teaching dimension is a kind of Measurement Prime
The proposed strict upward parent is
prime:measurement.
Hierarchy path (1) — routes to 1 parentless root
- Teaching dimension → Measurement
Neighborhood in Abstraction Space¶
Teaching dimension sits in a crowded region of the domain-specific corpus (20th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Concept Learning & Classification (8 abstractions)
Nearest neighbors
- Concept class — 0.94
- Tutorial — 0.92
- Inert knowledge — 0.91
- Witness set — 0.91
- Natural approach — 0.91
Computed from structural-signature embeddings · 2026-09-08