[math-fun] non-adjacent partitioning