81921

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Методы эффективных векторов для квантового решения булевых уравнений вида КНФ в целях проектирования и верификации цифровых схем.

ISBN/ISSN: 

2073-2597

DOI: 

10. 10.52190/2073-2597_2025_3_16

Наименование источника: 

  • Информационные технологии в проектировании и производстве

Обозначение и номер тома: 

№ 3 (199)

Город: 

  • Москва

Издательство: 

  • ФГУП «НТЦ оборонного комплекса «Компас»

Год издания: 

2025

Страницы: 

16-24
Аннотация
Утверждается, что без практически полезных квантовых алгоритмов квантовые компьютеры становятся никому ненужным и дорогостоящим железом. Показано, что квантовые алгоритмы являются таким же технологическим продуктом, как, например, оборудование классических или квантовых компьютеров. Приводятся прогнозы некоторых экспертов о том, что в ближайшем будущем сложные вычисления будут эффективны только на гибридных квантово-ориентированных суперкомпьютерах, и поэтому алгоритмы для них будут содержать классическую и квантовую части. Представлено описание одной из модификации метода эффективных векторов в виде алгоритма сокращенного перебора для решения булевых уравнений типа КНФ.

Библиографическая ссылка: 

Правильщиков П.А. Методы эффективных векторов для квантового решения булевых уравнений вида КНФ в целях проектирования и верификации цифровых схем. // Информационные технологии в проектировании и производстве. 2025. № 3 (199). С. 16-24.