임의의 P도에서 단어 문제가있는 그룹이 있습니까?

튜링 학위가 주어지면 단어 문제가 그 정도라는 유한하게 제시된 그룹이 오랫동안 알려져 왔습니다. 내 질문은 임의의 다항식 시간 Turing degree에 대해 동일한 것이 사실인지 여부 입니다. 구체적으로하는 decidable 세트를 주어진 단어 문제와 더불어, 유한 한 제시 그룹이 존재하는 W 등, 즉 W ≤ P T 및 ≤ P T W ? 나는 또한 재귀 적으로 제시하기 위해 유한하게 제시된 긴장을 풀고 자합니다.$A$$W$$W\leq_T^P A$$A\leq_T^P W$

나는 그 대답이 그렇다고 의심하고, 다른 사람들이 이것을 어딘가에서 읽었다 고 말하는 것을 들었지만 참조를 쫓을 수 없었습니다.

$\mathsf{NP}$

$L \subseteq A^*$$A$$G$$G$$L$

$\leq_T^p$