Q可化歸性(Q-reducibility)一種可化歸性概念.對任意自然數集合A,B,若存在遞歸函式f,使得二EA,若且唯若Wfc}.} CB,則稱A為Q可化歸到B,記為A毛QB <W,的定義參見“遞歸可枚舉集”).Q化歸的概念主要是為了解決波斯特問題引入的.與通常的化歸不同,即使A鎮}B,A也未必遞歸於B.人們所能知道的僅僅是A:。於B.但若A為:。(或re於B>,則A鎮aB}A毛TB.因此,對Q化歸的研究一般限於re集(度).Q化歸在直觀上有些類似合取化歸.如果把Q化歸定義中的遞歸可枚舉集W f}.二)換為有窮集Df<}},就得到了C化歸的定義.Q化歸具有自反性與可傳性.在r。集上,它弱於m化歸而強於T化歸,但它與btt化歸、tt化歸及wtt化歸均不可比較.任何超超單純集都不是Q完備的,此為Q化歸的一個重要性質.