Chuyén dé 7 Don bién va bai todn héi tu Noi mét céch don gidn thi don bién (monovariant) 1a dai lugng bién déi theo mét chiéu nht dinh (tang hoc gim). Ciing nhu bat bién, don bién cé vai tro quan trong trong toan hoc. Ta sit dung don bién dé chitng minh mét qué trinh nao d6 hdi tu (ding) hay phan ki (khong dimg). 7.1 Ham don bién Cho A # @ 1A khong gian cdc trang thai va thuat toan T: A> A. Anh xa H: A- R goi la ham don bién trén A néu H thod man mot trong hai diéu kien sau: a) Va,be€ A:b€ a= H(b) < H(a). b) Va,be A: bE a> H(b) > H(a). (Kf hiéu @ 1A tap cdc trang thai nhan duge tit a sau khi thyc hién thuat toan T hitu han lan). 7.2 Bai todn héi tu va bai todn phan ki Bai todn héi tu. Cho thuat to4n T trén khong gian cdc trang thai A va trang thai ban dau a. Ching minh ring sau hitu han lan thuc hién thuat todn T, ta nhan dugc trang théi xéc dinh 8 va khong thé thuc hién T thém nifa (trd choi dimg lai). Bai to4n phan ki. Cho thuat ton 7’ trén A va trang thai ban dau a. Ching minh rang ta c6 thé thc hién thuat toan 7 vo han lan (trd choi khong ditng). Dé gidi cdc bai todn hoi tu va céc bai toén phan ki, ta sit dung ham don bién. Ta c6 cde dinh If sau: 115116 Chuyén dé 7. Don bién va bai toan hoi tu Dinh Ii 1. Néu tdn tai ham don bién H ; A> R tren khong gian cae trang thai A hitu han thi tro chai dimg lai sau hitu han bude. Dinh li 2. Néu tdn tai ham don, bién H : A — Z tang va bi chan trén thi trd choi dimg lai sau hitu han bude. Dinh Ii 3. Néu ton tai ham don bién H : A> Z gidm va bi chan duoi thi tro choi dig lai sau hitu han bude. Xét cdc vi du sau; Vi dy 1. Xét bang 6 vudng m x n (m,n > 2). Trong mdi 6 cita bang ta dién mot s6 thyc. Thyc hién thuat toan sau: méi lan l4y ra mot hang hoae mot cot c6 téng cdc s6 nhé hon 0 va déi déu tt ca cac s6 trong hang (hoac cot) dé. Ching minh rang sau hitu han buéc ta nhan dugc bang ma téng cdc s6 trong méi hang va téng céc 6 trong mdi cot 1a s6 khong am. Loi gidi. Goi S(n) la téng tat ca cac s6 trong bang sau buéc thit n. Ta c6, S(n +1) > S(n),Vn > 0. Do dé, $(n) 1A mot ham don bién. Mat khéc, sé trang thai c6 thé nhan dugc 1a hitu han nén chi c6 thé thuc hién thuat toan hitu han lan va ta nhan duge bang théa man yéu cAu bai todn. Vi du 2. Cho mot day phong dai vo han, dugc danh s6: 1,2,3, ... CO mot 6 hitu han ngudi séng trong day phdng. Méi ngay c6 hai ngudi séng 6 hai phong canh nhau chuyén sang hai phdng khéc theo hai huéng nguge nhau nhimg khong duge tro déi vi tri cho nhau. Chimg minh ring viéc chuyén phong 6 dimg lai sau hitu han ngay. Loi gidi. Ta dua cho méi ngudi mot chia khod, trén d6 c6 ghi s6 phdng minh dang 6. Goi S(n) la tich c&e s6 viét trén céc chia khod 6 ngay thit n. Ta c6: S(n+1)_ kK +1) TS) = yey <1 trong d6 & va k +1 1a cc phong c6 ngudi chuyén. Do 6, S(n) 18 mot don bién. Do S(n) gidm va S(n) € N* nén viee chuyén phong phai dimg lai sau hitu han ngay.116 Chuyén dé 7. Don bién va bai todn hdi tu Dinh If 1. Néu tdn tai ham don bién H : A — R trén khong gian cac trang thai A hiu han thi trd choi dimg lai sau hiu han bude Dinh If 2. Néu tén tai ham don, bién H : A > Z tang va bi chan trén thi trd choi dimg lai sau hitu han bude. Dinh li 3. Néu tén tai ham don bién H : A > Z gidm va bi chan dudi thi trd choi dimg lai sau hitu han bude. Xét cdc vi du sau: Vi dy 1. Xét bang 6 vudng m x n (m,n > 2). Trong méi 6 cita bang ta dién mét s6 thyc. Thuc hién thuat ton sau: mdi lin Ta mot hang hodc mot cot c6 téng cdc sé nhé hon 0 va déi déu tat ca c&c sé trong hang (hoac cot) dé. Ching minh rang sau hiu han buéc ta nhan dugc bang ma téng cc s6 trong mdi hang va téng céc sé trong mdi cot 1a s6 khong am. Léi gidi. Goi $(n) la téng tt cd cdc s6 trong bang sau bude thit n. Ta c6, S(n +1) > S(n),Vn > 0. Do dé, $(n) 1A mot ham don bién. Mat khdc, 86 trang thai cé thé nhan duge 1a hitu han nén chi c6 thé thye hién thuat toan hima han lan va ta nhan duge bang théa man yéu cAu bai todn. Vi du 2. Cho mot day phdng dai vo han, dude danh sé: 1,2,3,.... C6 mot s6 hitu han ngudi song trong day phdng. Mdi ngay cé hai ngudi sng. 6 hai phong canh nhau chuyén sang hai phong khéc theo hai huéng nguoc nhau nhung khong duge tro déi vi tri cho nhau. Ching minh ring viée chuyén phong 46 ditng lai sau hitu han ngay. Loi gidi. Ta dua cho méi ngudi mot chia khod, trén d6 c6 ghi sé phong minh dang 6. Goi S(n) la tich céc sé viét trén cée chia khoa 6 ngay thit n. Ta c6: S(n+1)___k(k+1) “3n) * E-DR+D <1,¥n>1, trong d6 k va k +1 1a cée phong c6 ngudi chuyén. Do 46, S$(n) 1a mot dan bién. Do S(n) giam va S(n) € N* nén viée chuyén phong phai dimg lai sau hitu han ngay.