>>813
集合Sが探索効率を上げるんですかね
未解決部分があるようですが最近の研究はどうなっているのか