搜索-干活符号化