Estoy mirando el siguiente problema:
Dados vectores dimensionales de números naturales v 1 , ... , v my algún vector de entrada u , ¿es u una combinación lineal de v i 's con coeficientes numéricos naturales?
es decir, ¿hay alguna donde u = t 1 v 1 + ⋯ + t m v m ?
Obviamente, la versión en números reales de este problema se puede resolver utilizando la eliminación gaussiana. Me pregunto, ¿se ha estudiado la versión entera de este problema? ¿Qué algoritmos existen para resolverlo?
Tenga en cuenta que esto está usando números naturales, pero no aritmética modular, por lo que está algo separado del Teorema del resto chino y sistemas como ese. Además, parece estar relacionado con las ecuaciones de diofantina, pero me pregunto qué se ha hecho en el caso en que solo se consideran enteros no negativos. Esto también recuerda un problema de suma de subconjuntos multidimensional, generalizado para permitirnos tomar un número arbitrario de copias de cada vector. También parece estar relacionado con probar si es un elemento de la red generada por v 1 , ... , v m , excepto que aquí solo permitimos combinaciones lineales con coeficientes no negativos.
Para cualquier persona interesada, esto se motiva al observar si un vector Parikh está en un conjunto lineal, como en el Teorema de Parikh .
En particular, estoy interesado en un algoritmo que pueda resolver el problema utilizando solo operaciones de números naturales, evitando entrar en los números reales / flotantes.