M khong vuot qua so tat cacac hinh thai khac nhau Ct = UtqiVt
3. Kigm tra xem tron gG c6 cung tit Vh den Vk hay khong?
Neu khong thi bdc bo; ngUdc lai, thi so sanh Vk vdi v:
3ạ Neu Vk = v thi chap nhan;
3b. Nguoc lai, khi Vk 7^ v , thi xoa dinh Vh (di lai dinh Ujt)'
va chuyen ve Budc 2." " .
3.4 DQ phiic tap khong gian loga 245i
Ro rang, tai moi thdi dilm trong qua trinh tinh todn cua may cua mat Turing khong tat dinh vdi bang chuyen doc N , tren bang
thao tac CO nhieu nhat hai dinh, chang han nhu Vh va Vk mh thilc chat tuong ling la nhflng bigu dien nhi phan h vh k vdi dO dai
0[logm]. V i vay, may N cd do phiJc tap khong gian logạ
Dinh ly duoc chiing minh. •
3.4.2 Tinh NLS-day du
Nhu trgn da thay, bai toan DIPATH thuoc Idp N L S nhung khong ro cd thuoc Idp L S hay khong. Ta tin tudng r^ng DIPATH khong thoc LS, nhung cho tdi nay ta van khong thg chiing minh duoc
dieu naỵ That ra, ta chua phat hien dudc bat cii mot bai toan nao
trong N L S ma khong thuoc L S . Tuong tu nhu cau hoi P = NP, 6 day ta cd cau hoi L S = NLS.
Nhu mot budc tien nham lam sang to cau hoi lieu L S cd bang
NLS hay khong, ta tim each kham pha nhiJng ngon ngu: dich thuc
ma la NLS-day dụ Cung nhu nhiing ngon ngiJ day du doi vdi cac phurc tap khac, ngon ngii NLS-day du la ngon ngu: khd nhat trong
Idp N L S . Ngu L S va N L S khac nhau, thi moi ngon ngfl NLS-day du deu khong thuoc L S .
Tuong tu nhu nhflng dinh nghia trudc day ve tinh day du, ta dinh nghIa ngon ngU NLS-day du la mot ngon ngu: thuoc N L S ma moi ngon ngu khac cua N L S deu dan duoc den ngon ngfl nay
theo mot each nao đ. Tuy nhien, d day ta khong t h i sii dung phep quy dan thdi gian da thufc d i dinh nghia tinh NLS-day du bdi
vi, nhu sau nay se thay (He qua 3.4.10), moi bai toan cua N L S
deu giai duoc trong thdi gian da thiic vh do đ viec sii dung nhu vay trai vdi nguyen tac lua chon mo hinh quy dan da duoc dat ra, tren eo sd nhiing ban luan sau khi dinh nghia tinh PS-day du (Dinh nghia 4.3.3). D i thay the mot each hop ly, ta can sii dung