This problem is used in private contest:逻辑控制