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
3. Ng uV dugc danh dau, thi chap nhan; ngugc lai, bdc bọ"
Ta phan tich may M d i chirng to r^ng no hoat dong trong thdi
gian da thiic. Rd rang, doi vdi Bude 1 va Budc 3, mdi budc chi thuc
hien dung mot Ian. Budc lap 2 can tien hanh khong qua m - 1 Ian
^ai VI cU moi Ian lap, trU Ian cuoi cung, mot dinh ciia G lai dugc
^anh daụ Nhu vay tdng so cac budc ma may M can sii dung khong ^^dt qua 1 + rn, tilc mot da thiic theo so dinh do thị
146 Do phijfc tap th5i gian Theo each ma hoa, moi dinh Vk{l < k < m) cua do t h i G duoc
ma hoa bdi bieu dign nhi phan k cua so nguyen duong k va duoc
sap xep 5 khuc dau cua tir vao {G,u, u). Nhan thay rSng noi dung
chinh cua moi budc lap cua may hf bao gom viec t i m kiem va danh dau dinh y lien thuQc cung (x, y) vdi dinh x da duoc danh daụ Viec
nay thuc chat la so sanh hai so nguyen duong dudi dang nhi phan
[d cac v i t r i khac nhau trong (G, u, v)), giong nhil trong V i du 1.1.2,
va do do diroc thirc hien trong thdi gian da thijfc, bdi vi t i i vao c6
do dai da thiic theo m. Lap luan nhu vay doi v6i cac Budc 1 va 3,
ta suy ra rang may M hoat dong trong thdi gian da thutc. •
Hoan tokn tUdng tir, bai toan ve dudng di trong do t h i vo hudng
C O ten goi la P A T H va cung giai diidc trong thdi gian da thilc, tiic
PATH 6 P.
Sau day ta xem xet mot trudng hop ca biet cua hhi toan thoa
duoc d6i vdi cong thiic Boole, mot bai toan quan trong cua ly thuygt do phiic tap t i n h toan. D6 tien theo doi, t a nhac lai doi dieu lien quan den cong thiic Boole ma da dudc t r i n h bay trong Muc 0.1.4.
Bien Boole la bien cd th6 lay cac gid tri Boole, tiic cac gia t r i DUNG
va SAI, ma thudng duoc bi6u t h i tuong ling bdi 1 va 0. Cac phep
toan Boole la phep phu dinh phep hoi A, phep tuygn V, phep suy
dien —> va phep suy di6n thuan nghich Mot each nhanh gon, ta
diing net gach ngang tren bien dg thay cho ky hieu -> trudc bien, tiic X dong nghia vdi -^x. Cong thiic Boole \k mot bigu thiic bao
gom cac phep toan Boole va cac bi6n Boolẹ T h i d u ,