Table of Contents
Fetching ...

RTD-Conjecture and Concept Classes Induced by Graphs

Hans U. Simon

TL;DR

The paper investigates the RTD-conjecture, which seeks a universal bound of RTD by VC-dimension, and proves a strong form for two graph-induced concept families: stars and connected sets. By leveraging graph parameters such as the maximum degree $\Delta(G)$ and the leaves parameter $\ell(G)$, along with subset- and superset-based preference teaching, the authors establish tight bounds: for stars, $\Delta(G) \le \mathrm{RTD}(\mathcal{C}_{star}(G)) \le \mathrm{VCD}(\mathcal{C}_{star}(G)) \le \Delta(G)+1$, and for connected sets, $\ell(G) \le \mathrm{RTD}(\mathcal{C}_{con}(G)) \le \mathrm{VCD}(\mathcal{C}_{con}(G)) \le \ell(G)+1$. These results show that RTD and VCD differ by at most one in these natural graph-induced families, with several graphs illustrating all possible tightness scenarios. The findings strengthen the RTD-conjecture in concrete, structurally rich domains and illuminate connections to sample compression theory through teaching models and preferences. The work thus provides both tight theoretical bounds and methodological insights for extending RTD analysis to broader graph-based substructure classes.

Abstract

It is conjectured that the recursive teaching dimension of any finite concept class is upper-bounded by the VC-dimension of this class times a universal constant. In this paper, we confirm this conjecture for two rich families of concept classes where each class is induced by some graph $G$. For each $G$, we consider the class whose concepts represent stars in $G$ as well as the class whose concepts represent connected sets in $G$. We show that, for concept classes of this kind, the recursive teaching dimension either equals the VC-dimension or is less by $1$.

RTD-Conjecture and Concept Classes Induced by Graphs

TL;DR

The paper investigates the RTD-conjecture, which seeks a universal bound of RTD by VC-dimension, and proves a strong form for two graph-induced concept families: stars and connected sets. By leveraging graph parameters such as the maximum degree and the leaves parameter , along with subset- and superset-based preference teaching, the authors establish tight bounds: for stars, , and for connected sets, . These results show that RTD and VCD differ by at most one in these natural graph-induced families, with several graphs illustrating all possible tightness scenarios. The findings strengthen the RTD-conjecture in concrete, structurally rich domains and illuminate connections to sample compression theory through teaching models and preferences. The work thus provides both tight theoretical bounds and methodological insights for extending RTD analysis to broader graph-based substructure classes.

Abstract

It is conjectured that the recursive teaching dimension of any finite concept class is upper-bounded by the VC-dimension of this class times a universal constant. In this paper, we confirm this conjecture for two rich families of concept classes where each class is induced by some graph . For each , we consider the class whose concepts represent stars in as well as the class whose concepts represent connected sets in . We show that, for concept classes of this kind, the recursive teaching dimension either equals the VC-dimension or is less by .

Paper Structure

This paper contains 9 sections, 13 theorems, 22 equations, 2 figures.

Key Result

Theorem 3.1

$\Delta(G) \le \mathrm{VCD}({\mathcal{C}}_{star}(G)) \le \Delta(G)+1$.

Figures (2)

  • Figure 1: A graph with $(\Delta,\mathrm{RTD},\mathrm{VCD})$-triple $(2,3,3)$ and a second graph with $(\Delta,\mathrm{RTD},\mathrm{VCD})$-triple $(3,3,4)$.
  • Figure 2: A graph $G$ with $\mathrm{RTD}({\mathcal{C}}_{con}(G)) = 4$ and $\mathrm{VCD}({\mathcal{C}}_{con}(G)) = 5$.

Theorems & Definitions (43)

  • Definition 2.1: Open and Closed Neighborhood
  • Remark 2.2
  • proof
  • Definition 2.3: Subgraph-Relation
  • Definition 2.4: Shattered Sets and VC-dimension VC1971
  • Example 2.5: VC-Dimension of the Powerset
  • Remark 2.6: Common Sense
  • proof
  • Definition 2.7: SM-GK-Model SM1991GK1995
  • Definition 2.8: RT-Model ZLHZ2011
  • ...and 33 more