M khong vuot qua so tat cacac hinh thai khac nhau Ct = UtqiVt
18. Ne ur 7^ r,„, thi bdc bọ
Nguoc lai, chap nhan."
I kilm tra xem li§u da tlm dii Rm
I
3.4 Do phUc tap khong gian Idga 255
Nhan thay r^ng, tai moi thdi d i i m trong qua trinh tinh todn, may N chi can nhd x, y, r,, r,+i, r, 2 va vi t r i cua dku doc-ghi tren dudng dị Do do may TV c6 do phiic tap khong gian iQga va chi ch^p nhan dau vao (G, u, v), trong do G la d6 thi c6 hudng khong chUa dudng di tiit u den v.
Dinh ly duqc chUng minh. • TU dinh ly nay va Dinh ly 3.4.11 ta suy ra Ang cac Idp phiJc
tap N L S va c o- N L S trung nhaụ Noi each khac, Idp N L S bat bien dudi tac dong cua phep 1% phan bu d6i v6i ngon ngu: cua nọ
He qua 3.4,13
N L S = c o - N L S . •
Nhu vay ta c6:
L S C N L S = c o - N L S C P C P S .
Cho dgn nay ta khong biet bay ky bao ham thiic nao trong do la
chat, ngoai triit N L S C P S se dudc chiing to trong He qua 4.1.5. Do vay, hoac c o - N L S C P hoac P C P S phai xay ra, nhung cu the ra sao t h i ta chua the khang dinh duoc. Phan Idn cac chuyen gia trong linh vuc nghien cilu nay cho r^ng tat ca cdc bao ham thilc neu tren deu la chat.
Cu6i Cling, tQng hop nhiJng dieu da biet ve quan hg gifla cdc Idp phiic tap CO ban, ta di den ket luan sau day:
256 Do phutc tap khong gian B a i t a p
3.1 Hay d^nh gia do phiic tap th6i gian cua mdy Turing B, duoc
xay dung trong V i du 3.1.2, nham chuygn d6i cac so nguyen khong am ttt dang nhat phan sang dang nhi phan.
3.2 Cho ngon ngfl L = {ÓV | t = 0,1,2,... }.
ạ Hay xay dung mot may Turing hai bang M, vdi do phutc
tap th5i gian n + 3 va do phiic tap khong gian n + 2, khang dinh ngon ngu: L.