8.5.2 短信热点话题的形式化描述