摘要 |
PROBLEM TO BE SOLVED: To calculate the product of a binary matrix and a real vector always at a high speed.SOLUTION: In the present invention, whether a binary matrix is converted into a zero-suppress type binary decision graph (ZDD) or a binary matrix is calculated as it is without conversion is determined on the basis of a score calculated using a function having a value that decreases as the density of non-zero elements in the binary matrix increases and decreases as the rank of the matrix decreases. When it is determined that the binary matrix is converted into the ZDD, the binary matrix is converted into the ZDD, the product of an input N-dimensional real vector and the binary matrix converted into the ZDD is calculated. When it is determined that the binary matrix is not converted into the ZDD, the product of the binary matrix using no ZDD and the N-dimensional real vector is calculated. |