Fourier decision diagrams on finite non-Abelian groups with preprocessing

Abstract

The present paper introduces a method for optimization of Fourier decision diagrams representations of discrete functions based on the preprocessing of the represented functions. Fourier decision diagrams are defined for matrix-valued function on non-Abelian groups. Their application to number-valued functions is provided though a simple preprocessing of the represented functions.