Предложена аналитическая математическая модель для исследования дискретных итерационных процессов при формировании функциональных макроопераций (ФМ) обобщенными CORDIC-подобными алгоритмами. В модели объединены посредством ...

Показано, что SAT-задачу (satisfiability problem) нельзя считать универсальной NP-полной задачей, а следовательно, вопрос о существовании хотя бы одной NP-полной задачи остается открытым, чем объясняется безуспешность ...