<p>The authors present three algorithms for solving linear constraint systems with integer coefficients over the set {0, 1}. The first algorithm has an exponential time complexity estimate, but is parallelizable. The second algorithm finds solutions by reducing the problem of solving the system of constraints to solving a single linear equation. The third algorithm is a parallel combination of the first and second algorithms. The paper also provides experimental results of the implemented algorithms.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Algorithms for Solving Linear Constraints Over the Set {0, 1}

  • S. L. Kryvyi,
  • O. V. Chugaenko,
  • S. M. Krasnitskiy

摘要

The authors present three algorithms for solving linear constraint systems with integer coefficients over the set {0, 1}. The first algorithm has an exponential time complexity estimate, but is parallelizable. The second algorithm finds solutions by reducing the problem of solving the system of constraints to solving a single linear equation. The third algorithm is a parallel combination of the first and second algorithms. The paper also provides experimental results of the implemented algorithms.