We introduce an affine generalization of counter automata, and analyze their ability as well as affine finite automata. Our contributions are as follows. We show that there is a language that can be recognized by exact ...
В работе исследуется сожность проверки выполнимости различных видов бинарных программ.
Обобщая простейшую из них (OBDD), показано начиная с какого момента проблема становится NP-полной.
Исследована tau -компактность произведения tau-измеримых операторов, присоединенных к полуконечной алгебре фон Неймана. Установлены новые мажоризации для произведения tau-измеримых операторов.
Пусть $P, Q$ -- идемпотенты в гильбертовом пространстве,
$Q=Q^*$.
1) Если оператор $U=P-Q$ -- изометрия, то $U=U^*$ унитарен и $Q=P^{\perp}$. 2) Если еще $P=P^*$, то
$$
P\wedge Q^{\perp}+ P^{\perp}\wedge Q\leq |P-Q| ...
В данном пособии описываются структуры и классы языка объектно-ориентированного программирования Visual Си# и Visual C++ при решении конкретных задач. Пособие представляет собой перечень тем и задач и предназначено для ...
В данном пособии описываются основные инструменты и алгоритмы языка программирования Си# и Си++ при решении конкретных задач. Пособие представляет собой перечень тем и задач и предназначено для студентов, обучающихся по ...