单调函数的列表判别法

• Tabling decision method of monotonic functions