π を S 上の正の確率分布、Q を S 上の遷移行列(提案)とする。x=y、Q(x,y)>0 となる組について
r(x,y)=π(x)Q(x,y)π(y)Q(y,x)∈[0,∞)と置く。関数 a(x,y)∈[0,1](採択関数)が、x=y なるすべての組で
π(x)Q(x,y)a(x,y)=π(y)Q(y,x)a(y,x)を満たすとき、遷移行列
Pa(x,y)=Q(x,y)a(x,y)(x=y),Pa(x,x)=1−y=x∑Q(x,y)a(x,y)を、提案 Q と採択関数 a による Metropolis–Hastings 型の連鎖という。「x から Q(x,⋅) に従って y を提案し、確率 a(x,y) で y に移り、そうでなければ x にとどまる」連鎖である。次の 2 つが代表的である。
- Metropolis–Hastings の採択関数: aMH(x,y)=min(1,r(x,y))。
- Barker の採択関数: aB(x,y)=1+r(x,y)r(x,y)=π(x)Q(x,y)+π(y)Q(y,x)π(y)Q(y,x)。
(Q(x,y)=0 の組では a(x,y) の値は Pa に影響しない。)