O rozwiązaniach i niektórych zastosowaniach liniowych ograniczeń w zbiorze {0, 1}

Liniowe ograniczenia odgrywają ważną rolę w wiciu dziedzinach współczesnej nauki obliczeniowej dzięki temu. że wiele problemów z tych dziedzin redukuje się do rozwiązania tych liniowych ograniczeń lub sprawdzenia spełnialności w zbiorze liczb całkowitych lub naturalnych. Takie ograniczenia i systemy ograniczeń nazywamy diofantycznymi. Szczególnym przykładem systemów liniowych ograniczeń diofantycznych są systemy jednorodnych, liniowych równań w zbiorze {0, 1}. Oznacza to, że współczynniki tych układów równań są liczbami ze zbioru {-1, 0,1} a rozwiązania szuka się w zbiorze {0, 1}. W artykule zostaną, zaproponowane metody rozwiązań zarówno w przypadku jednego równania, jak i układu równań.

---

Linear constraints play great role in computer science. because very many problems are reduced to solutions of such systems of contraints over set of natural numbers or over set {0, 1}. These constraints are called the Diophantine linear consiraints. In this paper are consider some methods of solutions and some applications of solution algorithms.