Some algorithmic questions connected with the solution of the search problem without a clear criteria for checking the validity of a variant

S. V. Polin