Le problème de la réalisation minimale dans le demi-anneau max-plus et le problème de Pisot sont NP-durs∗

Abstract

We prove the NP-hardness of two problems. The first is the well-known minimal realization problem in the max-plus semiring. The second problem (Pisot's problem) is the problem of determining if a given integer linear recurrent sequence has a zero coefficient.