I Doi vdi may Turing khong tat dinh diing N, quat rinh tinh toan trgn moi t i i vao w duqc dien ra theo mot nhanh nao do ma may lua
G CO chiia cung {ki, ki+i) hay khong Ne u khong chiia dii bat cu; cung nho, thi bdc bọ Nguac lai, khi moi viec
dii bat cu; cung nho, thi bdc bọ Nguac lai, khi moi viec
kiem tra deu troi chay, chap nhan."
Dg phan tich may Turing khong tat dinh nham chufng to rkng
may N hoat dOng trong thdi gian da thiic, ta xem xet lircng thdi
gian can thiet de may thttc hien tiing bu6c tinh toan cua nọ Ro rang, Budc 1 duoc thuc hien trong thdi gian 0[m^]. Tiep theo, do
so cung cua do thi G khong nhieu hdn rti^, cho nen Budc 2 duoc thuc hien trong thdi gian 0[ní']. Nhu vay, may Turing N hoat dong trong thdi gian da thilc theo n, do dai cua t\l vao, bdi vi m khong
vuot qua n. • Quan sat ky hoat dong cua may Á^ va xem xet vai tro cua day
so (fci, k 2 , . . . , km) trong viec quyet dinh cua may doi vdi tit v^o,
ta nhan thay nhiJng dieu dang luu y sau daỵ Thti nhdt, viec kiim tra
xem day s6 ay c6 tao thanh mot dudng di Hamilton nhu mong mu6n hay khong duoc thuc hien mot each tat dinh trong thdi gian da thiic.
2.3 May Turing khong tdt djnh thdi gian da thiic 157' ThU hai, cdc day so duoc de xuat dong vai tro nhu nhiing "chiing ctf' ThU hai, cdc day so duoc de xuat dong vai tro nhu nhiing "chiing ctf'
ma theo d6 may di dgn quyet dinh chap nhm hoac bdc bo doi vdi tiit vao {G, u, v). Nhu vay, viec giai bai toan DIHAMPATH, cu the la viec khing dinh ngon ngu DIHAMPATH mot each khong tat dinh trong thdi gian da thiic, hoan toan thuc hien duoc bang phuang
phdp kiem chUng thdi gian da thiic, nghia la b^ng each kiem tra
theo nhiJng "chiing cii" thich hop duoc dg xuat va viec kigm tra nay
dg dang duoc thuc hien mot each tat dinh trong thdi gian da thiic.
Co the noi r^ng "kigm chiing duoc trong thdi gian da thiic" la mot net dele trung quan trong khong chi cua rigng ngon ngu:
DIHAMPATH ma con la cua tat ca cac ngon ngfl thuoc Idp NP.
Trudc khi chiing to tinh diing d^n cua nhan dinh nay, ta hay chinh xac hoa nhflng khai niem lign quan.
Dinh nghia 2.3.4 Cho L la mot ngon ngU tren bang chit S.
Ta noi r&ng ngon ngU L Id kiem chiing diidc trong thdi gian da thiic {polynomial time verifiable), hay dan gian la kiim chiing diicfc nhanh {quickly verifiable), neu ton tai mot may Turing tdt dinh thdi gian da thiic V vd mot tap C ndo do sao cho, doi vdi moi tit w e E*,