选项A错误，因为递归深度为log3(n)并不意味着时间复杂度为O(n log3(n))。选项B错误，因为递归深度不是n，不会导致平方阶的时间复杂度。选项C错误，因为递归深度和每层操作数的乘积不是指数增长。选项D正确，因为递归深度为log3(n)，每层有n个操作，总操作数约为n * log3(n) = n，因此时间复杂度为O(n)。