On a New Approach for Finding All the Modified Cut-Sets in an Incompatibility Graph
- 1 February 1973
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-22 (2) , 187-193
- https://doi.org/10.1109/t-c.1973.223683
Abstract
The compatibility relation occurs in many different disciplines in science and engineering. When a compatibility relation exists between pairs of elements in a set, an important problem is to derive the collection of aU those elements that form maximal compatibles. If the set of elements with the compatibility relation can be visualized as a compatibility graph of which the different nodes represent the elements of the set, the only edges of the graph being the nonoriented lines joining pairs of elements with the compatibility relation, then the problem of deriving the maximal compatibles becomes identical to the graph theory problem of finding all the maximal complete subgraphs in a symmetric graph. Recently, in connection with simplifying incompletely specified sequential machines, where a kind of compatibility relation also exists between pairs of internal states, Das and Sheng proposed a method for deriving the different maximal compatibles through finding all of the modified cut-sets of the incompatibility graph of the machine. This paper, without confining itself to only incompletely specified machines, considers the problem involving the compatibility relation in a broader perspective and suggests a new approach for finding aU the modified cut-sets of the incompatibility graph of a set having a compatibility relation between its different pairs of elements.Keywords
This publication has 16 references indexed in Scilit:
- On the Determination of Irredundant Prime Closed SetsIEEE Transactions on Computers, 1971
- Simplification of Incompletely Specified Flow Tables with the Help of Prime Closed SetsIEEE Transactions on Computers, 1969
- On the Determination of the Maximum Compatibility ClassesIEEE Transactions on Computers, 1969
- Scheduling of traffic lights—A new approachTransportation Research, 1968
- Some Studies on Connected Cover Term Matrices of Switching Functions†International Journal of Control, 1965
- Flow Table Simplification-Some Useful AidsIEEE Transactions on Electronic Computers, 1965
- Minimum-State Sequential Circuits for a Restricted Class of Incompletely Specified Flow Tables*Bell System Technical Journal, 1962
- Boolean Algebra, Map Coloring, and InterconnectionsThe American Mathematical Monthly, 1962
- The Reduction of Redundancy in Solving Prime Implicant TablesIRE Transactions on Electronic Computers, 1962
- Minimizing Incompletely Specified Sequential Switching FunctionsIEEE Transactions on Electronic Computers, 1961