技术总结
高效地判定非减序列的存在。整列部(10)生成将集合Pi的元素按升序排列的矢量ti,i+1和bi,i+1。合并部(20)重复进行将矢量(ti,j,bi,j)和(tj,k,bj,k)合并而生成矢量(ti,k,bi,k)，从而生成矢量t0,m和b0,m。稳定排序部(21)生成将矢量bi,j和tj,k连结并稳定排序的矢量e。搜索部(22)搜索e[λ]为bi,j[x]且e[λ+1]为tj,k[y]的(λ,x,y)的组，生成包含全部x的集合X和包含全部y的集合Y。提取部(23)生成将ti,j[x](x∈X)按升序排列的矢量ti,k、和将bj,k[y](y∈Y)按升序排列的矢量bi,k。若矢量t0,m的长度为0则判定部(30)输出表示不存在非减序列的判定结果。
技术研发人员：滨田浩气;五十岚大;桐渊直人
受保护的技术使用者：日本电信电话株式会社
文档号码：201580053994
技术研发日：2015.10.05
技术公布日：2017.05.31