一道IMO预选题的另证

题目 对于整数m，在{1，2，3}中存在唯一的一个数t（m），使得m＋t（m）是3的倍数．函数f：Z→Z满足f（-1）=0，f（0）=1，f（1）=-1，且对于所有满足2n〉m的非负整数m、n。