## Abstract We suggest some new ways to effectivize the definitions of several classes of simple sets. On this basis, new completeness criterions for simple sets are obtained. In particular, we give descriptions of the class of complete maximal sets.
Some results on the complexity of families of sets
β Scribed by Daniel Grieser
- Publisher
- Elsevier Science
- Year
- 1991
- Tongue
- English
- Weight
- 872 KB
- Volume
- 88
- Category
- Article
- ISSN
- 0012-365X
No coin nor oath required. For personal study only.
β¦ Synopsis
Grieser, D., Some results on the complexity of families of sets, Discrete Mathematics 88 (1991) 179-192.
Let 'Y be a property of graphs on a fixed n-element vertex set V. The complexity c(P) is the minimal number of edges whose existence in a previously unknown graph H has to be tested such that it becomes possible to decide whether H has property 9 or not. We investigate properties (in the broader sense of families of sets) whose complexity is much less than the maximum (which is (2) for graph properties).
It is well known that such properties must be representable as a disjoint union of long intervals (in the boolean lattice of graphs on V). We show that, if the number of intervals is not too large, the converse is true as well. We also show that there are graph properties whose complexities differ by at most 4n from any given number between 2n -4 and (;). Finally, we give estimates on the complexity of the scorpion graph property.
π SIMILAR VOLUMES
A family of sets has the equal union property if there exist two nonempty disjoint subfamilies having equal unions and has the full equal union property if, in addition, all sets are included. Both recognition problems are NP-complete even when restricted to families for which the cardinality of eve
## Abstract A set of trivial necessary conditions for the existence of a large set of __t__βdesigns, __LS__[N](__t,k,__Ξ½), is $N\big | {{\nu \hskip -3.1 \nu}-i \choose k-i}$ for __i__β=β0,β¦,__t__. There are two conjectures due to Hartman and Khosrovshahi which state that the trivial necessary condi
A set of necessary conditions for the existence of a large set of t-designs, LS[N] (t, k, v), is N |( v&i k&i ) for i=0, 1, ..., t. We show that these conditions are sufficient for N=3, t=2, 3, or 4, and k 8.