下列哪种数学模型属于信息检索的代数论模型