MATRIX GENERATION DEVICE, MATRIX GENERATION METHOD, AND MATRIX GENERATION PROGRAM

摘要

This matrix generation device (100) is equipped with a tree structure generation unit (110), a root processing unit (120), and a node processing unit (130). The tree structure generation unit (110) generates a binary tree (T) representing a logical expression (F). The root processing unit (120) generates a matrix (M) in accordance with the type of element represented by the root of the binary tree (T) among the elements of the logical expression (F). The node processing unit (130) selects nodes other than the root of the binary tree (T) sequentially; performs an operation on the matrix (M) in accordance with the type of element represented by a node having a child node; and maps a variable as an element represented by a node having no child node to one row of the matrix (M). After selecting a node in the binary tree (T), the node processing unit (130) outputs the matrix (M) and a mapping (ρ). The mapping (ρ) is information representing a variable mapped to each row of the matrix (M).