垂直搜索是针对某一个行业的______搜索引擎，是搜索引擎的细分和延伸。