Algorithms of solving systems of linear constraints over the set of natural numbers are applied in various sciences and spheres. Among them we should highlight Petri Nets [2], logic deduction in the first order predicate calculus with use of associative-commutative unification, computer algebra [6] etc. The special case of system of linear Diophantine constraints is system of homogenous linear Diorhantine equations (SHLDE), where solutions are searched over the set of naturals or the set {0,1}. In this work the algorithms for solving SHLDE over the set of naturals will be presented.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.