标签: 进制 信息编码 NOIP2013 NOIP2016 NOIP2018