{ "id": "2205.02792", "version": "v1", "published": "2022-05-05T17:09:18.000Z", "updated": "2022-05-05T17:09:18.000Z", "title": "Tournaments, Johnson Graphs, and NC-Teaching", "authors": [ "Hans U. Simon" ], "comment": "12 pages, 0 figures", "categories": [ "math.CO", "cs.DM" ], "abstract": "Quite recently a teaching model, called \"No-Clash Teaching\" or simply \"NC-Teaching\", had been suggested that is provably optimal in the following strong sense. First, it satisfies Goldman and Matthias' collusion-freeness condition. Second, the NC-teaching dimension (= NCTD) is smaller than or equal to the teaching dimension with respect to any other collusion-free teaching model. It has also been shown that any concept class which has NC-teaching dimension $d$ and is defined over a domain of size $n$ can have at most $2^d \\binom{n}{d}$ concepts. The main results in this paper are as follows. First, we characterize the maximum concept classes of NC-teaching dimension $1$ as classes which are induced by tournaments (= complete oriented graphs) in a very natural way. Second, we show that there exists a family $(\\cC_n)_{n\\ge1}$ of concept classes such that the well known recursive teaching dimension (= RTD) of $\\cC_n$ grows logarithmically in $n = |\\cC_n|$ while, for every $n\\ge1$, the NC-teaching dimension of $\\cC_n$ equals $1$. Since the recursive teaching dimension of a finite concept class $\\cC$ is generally bounded $\\log|\\cC|$, the family $(\\cC_n)_{n\\ge1}$ separates RTD from NCTD in the most striking way. The proof of existence of the family $(\\cC_n)_{n\\ge1}$ makes use of the probabilistic method and random tournaments. Third, we improve the afore-mentioned upper bound $2^d\\binom{n}{d}$ by a factor of order $\\sqrt{d}$. The verification of the superior bound makes use of Johnson graphs and maximum subgraphs not containing large narrow cliques.", "revisions": [ { "version": "v1", "updated": "2022-05-05T17:09:18.000Z" } ], "analyses": { "subjects": [ "G.2.1" ], "keywords": [ "johnson graphs", "nc-teaching dimension", "tournaments", "recursive teaching dimension", "finite concept class" ], "note": { "typesetting": "TeX", "pages": 12, "language": "en", "license": "arXiv", "status": "editable" } } }