Assume that in
SA search
SPRT is used as statistical inference method
S, and for judging
m 
subtrees the significance level

,

, is chosen. Under the above conditions, the
SA search is called
SPA1 with significant level

, or simply
SPA1 algorithm.
Variable obeys the distribution. Construct ...