Patrolling security games: Definition and algorithms for solving large instances with single patroller and single intruder · Study