matrix M and A a set of its columns. We say that A implies a iff M contains no two rows equal i n A but different i n a. It is easy IO see that if Y,~,(A) denotes . the columns implied by A, than :/,,,(A) is a closure operation. We say that M represents this closure operation.
On minimum matrix representation of closure operations
β Scribed by F.E. Bennett; Lisheng Wu
- Publisher
- Elsevier Science
- Year
- 1990
- Tongue
- English
- Weight
- 1023 KB
- Volume
- 26
- Category
- Article
- ISSN
- 0166-218X
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Let X be an n-element set and 2' be the family of subsets of X. If&C c 2' such that for any K. K\_ F .%'" K. f K\_ it-dim K. ct K. then Wr is ca!!pd a Sn~rtwr wstem Let \_M be 8~ ,+\_ x g \_\_l'\_\_L-~" '\_\_I , \_\_' \_\_\_\_=\_\_ \_\_ \_\_I i \_\_' \_ .
Boolean operations akin to set intersection, union, and difference play an important role in CAD/CAM. Geometric entities of practical interest (e.g. polygons or polyhedra) are not algebraically closed under the conventional set operators, and therefore algorithms cannot implement conventional set op
Several universal approximation and universal representation results are known for non-Boolean multivalued logics such as fuzzy logics. In this paper, we show that similar results can be proven for multivalued Boolean logics as well.
Rooted phylogenetic trees can be represented as matrices in which the rows correspond to termini, and columns correspond to internal nodes (elements of the n-tree). Parsimony analysis of such a matrix will fully recover the topology of the original tree. The maximum size of the represented matrix de