What's specific meaning search space in TVM

[choi95]

what’s specific meaning search space in TVM and How to express search space mathematically.