Shattering families #
This file defines the shattering property and VC-dimension of set families.
Main declarations #
Finset.Shatters: The shattering property.
Finset.shatterer: The set family of sets shattered by a set family.
Finset.vcDim: The Vapnik-Chervonenkis dimension.
- Strong shattering
A set family
𝒜 shatters a set
s if all subsets of
s can be obtained as the intersection
s and some element of the set family, and we denote this
𝒜.Shatters s. We also say that
is traced by