解:(1)∵函数g(x)的图象与函数

(a>1)的图象关于直线y=x对称
∴函数g(x)与函数

(a>1)互为反函数
则g(x)=log
a(x
2-3x+3)(x>

)
(2)∵a>1,m>

∴函数g(x)在区间

上单调递增
∵函数g(x)在区间

上的值域为[log
a(p+3m),log
a(p+3n)],
∴g(m)=log
a(m
2-3m+3)=log
a(p+3m),
g(n)=log
a(n
2-3n+3)=log
a(p+3n),
即x
2-3x+3=p+3x在(

,+∞)有两个不等的根
∴-6<p<

(3)f(x)-g(x)=log
a(x+1)-log
a(x
2-3x+3)=

∴F(x)=a
f(x)-g(x)=

(x>

)
而函数F(x)的值域为(0,

]
∵F(x)∈Z
∴F(x)=1或2或3,此时x=2+

、

、2
∴M={x|F(x)∈Z}={2+

,

,2}
分析:(1)根据函数g(x)的图象与函数

(a>1)的图象关于直线y=x对称可知两函数互为反函数,从而求出函数g(x)的解析式;
(2)根据函数的单调性建立等式关系,x
2-3x+3=p+3x在(

,+∞)有两个不等的根,从而求出p的范围;
(3)先求出函数F(x)的值域,然后根据值域中的整数来求相应的x的值,即可求出集合M.
点评:本题主要考查了函数解析式的求解,以及函数的值域和列举法,同时考查了分析问题,解决问题的能力,属于中档题.