... time (more precisely, NLOG-complete) if the size of Q(t) is bounded by a constant. Proof sketch: Let n = |Q| and Q(t) = C(a) where C is a concept name.
確定! 回上一頁