On Verifying and Engineering the Well-gradedness of a Union-closed Family
Abstract
Current techniques for generating a knowledge space, such as QUERY, guarantees that the resulting structure is closed under union, but not that it satisfies wellgradedness, which is one of the defining conditions for a learning space. We give necessary and sufficient conditions on the base of a union-closed set family that ensures that the family is well-graded. We consider two cases, depending on whether or not the family contains the empty set. We also provide algorithms for efficiently testing these conditions, and for augmenting a set family in a minimal way to one that satisfies these conditions.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2007
- DOI:
- 10.48550/arXiv.0704.2919
- arXiv:
- arXiv:0704.2919
- Bibcode:
- 2007arXiv0704.2919E
- Keywords:
-
- Mathematics - Combinatorics;
- Computer Science - Discrete Mathematics;
- Computer Science - Data Structures and Algorithms;
- 03E05;
- 03E75;
- 91E40
- E-Print:
- 15 pages