A Patrol Problem in a Building by Search TheoryRyusuke Hohzaki, Syuhei Morita and Yoshiharu Terashima