[(x,y) | x <- [1..], y <- [1..], 3^x - 2^y == 1]

深さ優先探索なので，(1,1)の後は事実上フリーズします

これを深さも幅も均衡して広げて探索していくにはどうしますか？