A divide-and-conquer approach for solving fuzzy max-Archimedean t-norm relational equations (Q1723841)

Summary: A system of fuzzy relational equations with the max-Archimedean t-norm composition is considered. The relevant literature indicated that this problem can be reduced to the problem of finding all the irredundant coverings of a binary matrix. A~divide-and-conquer approach is proposed to solve this problem and, subsequently, to solve the original problem. This approach is used to analyze the binary matrix and then decompose the matrix into several submatrices such that the irredundant coverings of the original matrix could be constructed using the irredundant coverings of each of these submatrices. This step is performed recursively for each of these submatrices to obtain the irredundant coverings. Finally, once all the irredundant coverings of the original matrix have been found, they are easily converted into the minimal solutions of the fuzzy relational equations. Experiments on binary matrices, with the number of irredundant coverings ranging from 24 to 9680, are also performed. The results indicated that, for test matrices that could initially be partitioned into more than one submatrix, this approach reduces the execution time by more than three orders of magnitude. For the other test matrices, this approach is still useful because certain submatrices can be partitioned into more than one submatrix.