“…Surprisingly, the art gallery problem is probably not contained in NP, as it is ∃R-complete [3]. In recent years, the art gallery problem has been studied also from various other theoretical perspectives: approximation [12,19], smoothed analysis [18,22], and parameterized complexity [6][7][8]13]. From a practical perspective, various research groups developed, implemented, and tested algorithms that are exact, reliable, and relatively fast, but theoretically may run forever [14,24,27,44].…”