We explore a problem of Frankl (1989). A family ~ of subsets of {1, 2, ..., m} is said to have trace Kk if there is a subset SC\_{1,2 ..... m} with IS] = k so that {FNSIF C .~} yields all 2 k possible subsets. Frankl (1989) conjectured that a family ~ which is an antichain (in poser given by C\_ ord
Sperner families over a subset
β Scribed by Ko-Wei Lih
- Publisher
- Elsevier Science
- Year
- 1980
- Tongue
- English
- Weight
- 254 KB
- Volume
- 29
- Category
- Article
- ISSN
- 0097-3165
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
A subset A of a poset P is a q-anti&in if it can be obtained as the union of at most q antichains. A ranked poset P is said to be q-Sperner if the maximum number of elements of a q-antichain of P is the sum of the cardinalities of its q larger rank-sets. P is strongly Spernu if it is q-Sperner for a
Given a subset X of a Dedekind domain D, and a polynomial F # D[x], the fixed divisor d(X, F) of F over X is defined to be the ideal in D generated by the elements F(a), a # X. In this paper we derive a simple expression for d(X, F) explicitly in terms of the coefficients of F, using a generalized n
Minimal Unsatisfiable Subsets (MUSes) are the subsets of constraints of an overconstrained constraint satisfaction problem (CSP) that cannot be satisfied simultaneously and therefore are responsible for the conflict in the CSP. In this paper, we present a hybrid algorithm for finding MUSes in overco