О сложности контроля логических схем типа постадиссертация