В работе исследуется сожность проверки выполнимости различных видов бинарных программ. Обобщая простейшую из них (OBDD), показано начиная с какого момента проблема становится NP-полной.