The Diclique Representation and Decomposition of Binary Relations
- 1 July 1974
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 21 (3) , 356-366
- https://doi.org/10.1145/321832.321834
Abstract
The binary relation is often a useful mathematical structure for representing simple relationships whose essence is a directed connection. To better aid in interpreting or storing a binary relation we suggest a diclique decomposition. A diclique of a binary relation R is defined as an ordered pair ( I, O ) such that I × O ⊆ R and ( I, O ) is maximal. In this paper, an algorithm is described for determining the dicliques of a binary relation; it is proved that the set of such dicliques has a nice algebraic structure. The algebraic structure is used to show how dicliques can be coalesced, the relationship between cliques and dicliques is discussed, and an algorithm for determining cliques from dicliques is described.Keywords
This publication has 4 references indexed in Scilit:
- Corrections to Bierstone's Algorithm for Generating CliquesJournal of the ACM, 1972
- An Analysis of Some Graph Theoretical Cluster TechniquesJournal of the ACM, 1970
- On the State Assignment Problem for Sequential Machines IIIEEE Transactions on Electronic Computers, 1961
- On the State Assignment Problem for Sequential Machines. IIEEE Transactions on Electronic Computers, 1961