New interpolation algorithms for multiple-valued Reed-Muller forms

Abstract

This paper presents new algorithms for the sparse multivariate polynomial interpolation over finite fields, which can be used for optimizing Reed-Muller forms for MVL functions. Starting with a quadratic time interpolation algorithm for Boolean functions, we develop a method that decomposes the problem into several smaller problems for the MVL case. We then show how each of these problems can be solved by a practical probabilistic algorithm. The approach is extended to fixed polarity RM forms, in which the complexity of the resulting forms becomes simpler and also the running lime of the algorithm is reduced.