Розв’язуються задачі знаходження мінімального загального часу виконання розподілених конкуруючих процесів з обмеженою кількістю копій структурованого програмного ресурсу в умовах необмеженого і обмеженого паралелізму

Якщо k=O(logn) і предикат P спадково апроксимаційно-стійкий для реоптимізації проблеми Max-EkCSP-P, при вставці нового істинісного значення в предикат і деякого обмеження існує поліноміальний наближений алгоритм з відношенням ...