BZOJ3436: 小K的农场（差分约束裸题&DFS优化判环）