Chia Sẻ Một Vài Vấn đề Về Cực Trị Rời Rạc - Diễn Đàn MathScope
Có thể bạn quan tâm
|
News & Announcements |
Ngoài một số quy định đã được nêu trong phần Quy định của Ghi Danh , mọi người tranh thủ bỏ ra 5 phút để đọc thêm một số Quy định sau để khỏi bị treo nick ở MathScope nhé ! * Nội quy MathScope.Org * Một số quy định chung ! * Quy định về việc viết bài trong diễn đàn MathScope * Nếu bạn muốn gia nhập đội ngũ BQT thì vui lòng tham gia tại đây * Những câu hỏi thường gặp * Về việc viết bài trong Box Đại học và Sau đại học |
27-12-2013, 03:03 AM | #1 | ||
huynhcongbang Administrator : Feb 2009 : Ho Chi Minh City : 2,413 : 2,165 | Chia sẻ má»™t và i vấn Ä‘á» vá» cá»±c trị rá»i rạc Thế là còn 1 tuần nữa thôi các bạn HSG Toán sẽ bÆ°á»›c và o kì thi được trông đợi nhất của năm, đó chÃnh là kì thi chá»n há»c sinh giá»i cấp quốc gia mà chúng ta quen gá»i là VMO. Kỳ thi VMO 2014 diá»…n ra trong hai ngà y 04, 05/01 và có lẽ sá»›m nhất từ trÆ°á»›c đến giá». Trải qua nhiá»u vòng chá»n lá»c, là m nhiá»u bà i kiểm tra, có lẽ giá» nà y các thà nh viên của các Ä‘á»™i tuyển Ä‘á»u đã sẵn sà ng cho thá» thách sắp tá»›i. Năm nay có lẽ vì báºn việc nhiá»u nên thầy DÅ©ng không tổ chức được chÆ°Æ¡ng trình tiến tá»›i kì thi VMO nhÆ° má»i năm, phần giải và bình luáºn Ä‘á» thi các tỉnh cÅ©ng vẫn còn dang dở. Dù váºy, ở hầu hết các địa phÆ°Æ¡ng thì các chÆ°Æ¡ng trình rèn luyện khác vẫn được tổ chức, tức là các thà sinh của chúng ta vẫn có Ä‘iá»u kiện để trao đổi, há»c há»i rồi, nhÆ° thế là đáng mừng rồi. Năm nay mình cÅ©ng không có Ä‘iá»u kiện tham gia các chÆ°Æ¡ng trình nhiá»u và má»›i chỉ tranh thủ được và i ngà y cuối năm nà y. Mong rằng sẽ được tham gia giải và bình luáºn Ä‘á» thi nhÆ° những năm trÆ°á»›c! Trong ná»™i dung dÆ°á»›i đây, mình xin chia sẻ má»™t và i kinh nghiệm nho nhá» vá» má»™t phần trong rất nhiá»u ná»™i dung mà các bạn phải chuẩn bị cho kì thi nà y, cụ thể là vá» bà i toán cá»±c trị rá»i rạc. NhÆ° chúng ta Ä‘á»u biết, các bà i toán tổ hợp đòi há»i tÆ° duy nhiá»u, nhất là tÆ° duy trừu tượng, sáng tạo không theo lối mòn. Trong phòng thi có thá»i gian Ãt, áp lá»±c cao, Ãt có thà sinh nà o dám mạo hiểm là m tổ hợp khi các câu đại số, giải tÃch (thÆ°á»ng có mô hình sẵn) vẫn chÆ°a xong. Tuy nhiên, nói Ä‘i thì cÅ©ng phải nói lại, tổ hợp cÅ©ng nhÆ° hình há»c và số há»c, bên cạnh các ná»™i dung định tÃnh thì vẫn có các câu định lượng. Chẳng hạn nhÆ° xét riêng trong chủ Ä‘á» hình phẳng, nếu bạn nà o há»c hình chÆ°a tốt nhÆ°ng lại sá» dụng tốt các công cụ phụ trợ nhÆ° đại số, lượng giác, tá»a Ä‘á»™, … và o bà i toán thì chỉ cần má»™t tà cố gắng nà o đó để Ä‘Æ°a bà i toán định tÃnh thuần túy vỠđịnh lượng là coi nhÆ° có thể tá»± tin xá» lý được rất nhiá»u bà i khó. Tuy nhiên, đó lại là má»™t câu chuyện dà i khác. Äi và o vấn Ä‘á» chÃnh, chúng ta có thể thấy rằng tổ hợp cÅ©ng thế, bên cạnh các bà i chứng minh đòi há»i sá» dụng các láºp luáºn logic, các nguyên lý tổ hợp má»™t cách bà i bản thì vẫn có các bà i định lượng nhÆ° thế. Mình thÃch các dạng nà y hÆ¡n và có lẽ nhiá»u bạn khác cÅ©ng thế. TrÆ°á»›c hết mình xin nhắc lại và i Ä‘iá»u vá» dạng toán cá»±c trị rá»i rạc, má»™t nhánh của các bà i toán tổ hợp thi Olympic (tạm chia thà nh đếm, chứng minh, cá»±c trị). CÅ©ng giống nhÆ° cá»±c trị đại số thông thÆ°á»ng, xét trên miá»n liên tục, các bà i toán loại nà y cÅ©ng đòi há»i 2 bÆ°á»›c: - Bằng cách đánh giá thÃch hợp, chỉ ra giá trị cá»±c trị. - Xây dá»±ng má»™t mô hình thÃch hợp để chứng minh dấu bằng đạt được. Ở nhiá»u bà i thì khối lượng cần xá» lý cho hai bÆ°á»›c nà y là 50-50, nhiá»u khi lại là 20-80 hoặc 80-20. Chắc các bạn vẫn còn nhá»› bà i 3 Ä‘á» TST 2010, việc Ä‘oán và lát được gạch thì dá»… nhÆ°ng chứng minh được đó là giá trị tốt nhất thì lại vô cùng phức tạp; bà i 2 IMO 2013 vừa rồi thì có thể nói tỉ lệ nà y là cân bằng khi mà chỉ ra mô hình Ä‘a giác Ä‘á»u cho cách tạo thà nh cấu hình Colombia cÅ©ng khó ngang vá»›i việc quy nạp để chứng minh. Mình xin nêu má»™t thống kê nhá» vá» các bà i toán cá»±c trị rá»i rạc các năm gần đây: - Năm 2007: bà i 4 VMO, bà i 5 TST. - Năm 2008: bà i 3 TST. - Năm 2009: không có. - Năm 2010: bà i 3 TST. - Năm 2011: không có. - Năm 2012: bà i 4 VMO, bà i 2 TST. - Năm 2013: bà i 3, bà i 6 TST. Rõ rà ng các bà i toán cá»±c trị rá»i rạc đóng má»™t vai trò không nhá» trong các bà i toán Olympic. Ná»™i dung và hình thức của các bà i cá»±c trị tổ hợp rất phong phú, Ä‘a dạng. Tất nhiên mình không mong muốn trình bà y phÆ°Æ¡ng pháp giải dạng Toán nà y vì nó rá»™ng quá và mình cÅ©ng không đủ năng lá»±c. Vá»›i những gì mình biết thì phÆ°Æ¡ng pháp để giải những bà i nà y cÅ©ng muôn hình muôn vẻ, nhÆ°ng nếu há»c được má»™t số kỹ thuáºt Ä‘em Ä‘i áp dụng thì cÅ©ng tốt. DÆ°á»›i đây mình xin nêu má»™t kỹ thuáºt nhá» trong các kỹ thuáºt nhÆ° thế. Äó là việc quan sát quy luáºt của dãy số nguyên để Ä‘oán kết quả. Chẳng hạn nhÆ° bà i toán sau: VD1. Trên bà n tròn có $n \ge 3$ ngÆ°á»i ngồi. Biết rằng trong số há», ai cÅ©ng luôn nói dối hoặc luôn nói tháºt và hiện tại há» nói: “Cả 2 ngÆ°á»i ngồi cạnh tôi Ä‘á»u là kẻ nói dốiâ€. Há»i trên bà n có nhiá»u nhất và Ãt nhất bao nhiêu ngÆ°á»i nói dối? Äây là má»™t bà i mình phát triển từ má»™t câu đố vui dà nh cho há»c sinh Tiểu há»c trong trÆ°á»ng hợp $n=5$ (hoà n toà n có thể thá» các trÆ°á»ng hợp nhá»). Tất nhiên bà i toán nà y không phải quá dá»… dà ng để nhìn và o là ra ngay, nhất là khi đòi há»i phải xây dá»±ng má»™t cách bà i bản. Mình hãy thá» vá»›i các trÆ°á»ng hợp nhỠđể cố gắng tìm cách xá» lý. Các bạn có thể vẽ hình ra để dá»… hình dung hÆ¡n! - Vá»›i $n=3$ thì $\min = 2$ và $\max = 2$. (Chú ý rằng phủ định của vá»›i má»i là tồn tại nhé!) - Vá»›i $n=4$ thì $\min = 2$ và $\max =2$. - Vá»›i $n=5$ thì $\min =3$ và $\max=3$. Các giá trị đầu thì lá»›n nhất và nhá» nhất bằng nhau rồi, ta tiếp tục. - Vá»›i $n=6$ thì $\min=3$ và $\max = 4$. - Vá»›i $n=7$ thì $\min=4$ và $\max=4$. - Vá»›i $n=8$ thì $\min=4$ và $\max=5$. - Vá»›i $n=9$ thì $\min=5$ và $\max=6$. - Vá»›i $n=10$ thì $\min=5$ và $\max=6$. Äến đây chắc các bạn có thể dá»… dà ng nháºn ra quy luáºt của 2 dãy min và max. Vá»›i dãy min thì $2,2,3,3,4,4,5,5,…$, rất dá»… nháºn ra. Tuy nhiên, phải mô tả được công thức tổng quát của nó chứ không thể dừng lại ở đó. Má»™t kinh nghiệm cho thấy rằng khi sá»± thay đổi theo các cụm có Ä‘á»™ dà i 2 nhÆ° thế thì 90% công thức có dạng phần nguyên của má»™t hà m tuyến tÃnh theo n khi chia cho 2. Ta có thể là m cháºm hÆ¡n má»™t chút: + Vá»›i $n=2k$ thì $\min = k$. + Vá»›i $n=2k+1$ thì $\min =k$. NhÆ° thế, công thức có thể viết gá»™p lại là : $\min = \left[ \frac{n+1}{2}\right]$. TÆ°Æ¡ng tá»± vá»›i dãy max, ta Ä‘oán được $\max = \left[ \frac{2n}{3}\right]$. NhÆ° thế, đến đây, ta đã có được gì trong tay? Nếu viết hết ná»™i dung ở trên và o thì có Ä‘iểm nà o chÆ°a? Tháºt khó nói nhÆ°ng có lẽ muốn có Ä‘iểm thì ta phải cố gắng thêm nữa. Có thể chứng minh các giá trị kia tốt nhất là điá»u không dá»… nhÆ°ng trÆ°á»›c mắt, việc xây dá»±ng đã khá Ä‘Æ¡n giản. Ta chỉ cần chia trÆ°á»ng hợp ra và “bắt chÆ°á»›c†theo cách đã là m vá»›i các số nhá». Chẳng hạn trÆ°á»ng hợp $n=2k$ thì cho những ngÆ°á»i nói dối tháºt ngồi xen kẽ là có được ngay kết quả. Äây cÅ©ng là má»™t kinh nghiệm nữa khi xá» lý dạng nà y. Khi chứng minh Ä‘iá»u kiện đủ, tức là xây dá»±ng cấu hình thá»a mãn thì phải chia từng trÆ°á»ng hợp ra xét cho dá»…. Nếu để nguyên xi công thức dạng phần nguyên thì rất khó, nhiá»u khi không dá»±ng được. Còn phần chứng minh Ä‘iá»u kiện cần thì cÅ©ng tÆ°Æ¡ng đối nhẹ nhà ng và có thể nói chÃnh kết quả trên đã gợi ý cho phần nà y. Ta chỉ nêu nháºn xét dÆ°á»›i đây là xong: (1) Trong 2 ngÆ°á»i liên tiếp, phải có Ãt nhất má»™t ngÆ°á»i nói dối. (2) Trong 3 ngÆ°á»i liên tiếp, phải có Ãt nhất má»™t ngÆ°á»i nói tháºt. Hai nháºn xét nà y có vẻ rất hiển nhiên nhÆ°ng dá»… nghÄ© ra được hay không thì cÅ©ng tùy ngÆ°á»i. TÃnh khó dá»… đến đây cÅ©ng không còn khách quan nữa khi má»i chuyện đã rõ rà ng rồi. DÆ°á»›i đây mình xin nêu má»™t bà i toán trong kì thi Olympic Tin há»c toà n quốc vừa rồi. Bà i nà y phong cách không giống Toán lắm nhÆ°ng cÅ©ng khá thú vị! VD2. Tèo dùng $n \ge 2$ que diêm để xếp thà nh các con số nhÆ° hình bên dÆ°á»›i. Há»i số lá»›n nhất và nhá» nhất mà Tèo có thể nháºn được là bao nhiêu? Ở bà i nà y, ta chỉ cần dùng má»™t ý tưởng tham lam (greedy paradigm) Ä‘Æ¡n giản sau: số cà ng có nhiá»u chữ số thì cà ng lá»›n và có cà ng Ãt chữ số thì cà ng nhá». NhỠđó mà trÆ°á»ng hợp số lá»›n nhất, Tèo có thể dá»… dà ng thá»±c hiện được nhÆ° sau: - Nếu $n$ chẵn thì xếp $n/2$ số 1. - Nếu $n$ lẻ thì xếp 1 số 7 ở đầu tiên và $(n-3)/2$ số 1. Rõ rà ng cách xếp nà y cho nhiá»u chữ số nhất và hiển nhiên số tÆ°Æ¡ng ứng sẽ lá»›n nhất. Tuy nhiên, trÆ°á»ng hợp nhá» nhất lại không Ä‘Æ¡n giản nhÆ° váºy. Mình đã phải viết đến $n$ gần 30 má»›i dá»± Ä‘oán được quy luáºt. Còn là do tại sao có sá»± khác nhau nà y giữa lá»›n nhất và nhá» nhất thì dá»… thôi, vì đặc Ä‘iểm của số lượng các que diêm để xếp các số. Gá»i $f(n)$ là số nhá» nhất thu được. Ta thá» liệt kê các kết quả xếp được bằng tay nhÆ° sau: $f(2)=1,f(3)=7,f(4)=4,f(5)=2,f(6)=0,f(7)=8,f(8)=10 ,f(9)=18,f(10)=22,$ $f(11)=20,f(12)=28,f(13)=80,f(14)=88,f(15)=108,f(1 6)=188,f(17)=200,$ $f(18)=208,f(19)=288,f(20)=688,f(21)=888,f(22)=108 8,f(23)=1888,f(24)=2008$ Äến đây ta má»›i thấy được có má»™t quy luáºt bắt đầu rõ rà ng từ 14 và nó có chu kỳ 7. Việc chứng minh hầu nhÆ° chỉ mang tÃnh hình thức vì kết quả trên đã quá cụ thể. Các bạn thá» là m bà i tÆ°Æ¡ng tá»± dÆ°á»›i đây để thấy rõ hÆ¡n ý nghÄ©a của việc liệt kê nà y: Cho số nguyên dÆ°Æ¡ng $n$. Tìm số nguyên dÆ°Æ¡ng nhá» nhất có $n$ chữ số và chia hết đồng thá»i cho $2,3,5,7$. Ta xét VD tiếp theo, công thức phức tạp hÆ¡n nhiá»u. VD3. Có má»™t con thỠăn $n$ củ cà rốt trong má»™t số ngà y theo quy luáºt sau: (1) Ngà y đầu tiên và ngà y cuối cùng, nó phải ăn 1 củ cải. (2) Hai ngà y liên tiếp nhau, con thá» phải ăn số củ cải chênh lệch không quá 1. Há»i số ngà y Ãt nhất mà con thỠăn hết số củ cải là bao nhiêu? Mô tả của bà i toán khá rõ rà ng và việc xây dá»±ng tÆ°Æ¡ng đối Ä‘Æ¡n giản, tháºm chà là trong trÆ°á»ng hợp $n$ khá lá»›n. Gá»i $f(n)$ là số ngà y Ãt nhất cần tìm, ta có dãy sau: $f(1)=1,f(2)=2,f(3)=3,f(4)=3,f(5)=4,f(6)=4,f(7)=5, f(8)=5,f(9)=5,f(10)=6,$ $f(11)=6,f(12)=6, f(13)=7,f(14)=7,f(15)=7,f(16)=7,f(17)=8,f(18)=8$ Quan sát quy luáºt của dãy số, ta thấy rằng: - Giá trị của $f$ thay đổi tại các số có dạng $k^2+1$. - Trong khoảng từ $(k-1)^2+1$ đến $k^2$, giá trị của $f$ thay đổi má»™t lần nữa tại Ä‘iểm giữa. Từ đó suy ra: - Vá»›i $k^2-k+1 \le n \le k^2$ thì giá trị $f(n)=2k-1$. - Vá»›i $k^2+1 \le n \le k^2+k$ thì giá trị $f(n)=2k$. Cách xây dá»±ng thì cÅ©ng dá»… thấy do ta có thể dá»±a theo mô hình tam giác Pascal và lá»±a chá»n khi nà o cần phải có tam giác đỉnh nhá»n, đỉnh bằng phù hợp. Nếu tìm công thức trên má»™t cách tổng quát thì ta có $\left [ \sqrt{4n-3} \right]$. Rõ rà ng bằng má»™t láºp luáºn thú vị nà o đó, ta có thể tìm ra được công thức nà y nhÆ°ng ở đây, má»i việc hoà n toà n có thể là m má»™t cách thủ công và trong thá»i gian không quá lâu. Rõ rà ng công việc nà y đáng được xem xét và áp dụng! Ở VD dÆ°á»›i đây, chÃnh việc kiểm tra kết quả trong trÆ°á»ng hợp nhỠđã cho mình cách chứng minh cho bà i toán. VD4. Cho số nguyên dÆ°Æ¡ng $n$. Xét dãy số nguyên dÆ°Æ¡ng hữu hạn $(a_k)$ gồm $k$ số hạng sao cho vá»›i má»i $1 \le i < j \le n$ thì tồn tại $t$ vá»›i $1 \le t \le k$ sao cho $a_t = i, a_{t+1}=j$ hoặc $a_t=j, a_{t+1}=i$. Há»i giá trị nhá» nhất của $k$ là bao nhiêu? Bà i toán phát biểu hÆ¡i rắc rối nhÆ°ng nếu ngẫm nghÄ© kÄ© thì má»i chuyện cÅ©ng tÆ°Æ¡ng đối rõ rà ng. Ta thá» xét các trÆ°á»ng hợp nhá»: Vá»›i $n=1$ thì $k=1$. Vá»›i $n=2$ thì $k=2$ ứng vá»›i dãy $1,2$. Vá»›i $n=3$ thì $k=4$ ứng vá»›i dãy $1,2,3,1$. Vá»›i $n=4$ thì $k=8$ ứng vá»›i dãy $1,2,3,4,1,3,2,4$. Vá»›i $n=5$ thì $k=11$ ứng vá»›i dãy $1,2,3,4,5,1,4,2,5,3,1$. Trong quá trình xây dá»±ng nà y, mình đã gặp má»™t số vấn Ä‘á» sau: Do có tất cả $C_n^2$ cặp số và có $C_2^2=1, C_3^2=3$ nên dá»± Ä‘oán kết quả là $C_n^2+1$. TrÆ°á»ng hợp $n=5$ hoà n toà n hợp lý nhÆ°ng $n=4$ thì lại không xây dá»±ng được $k=7$. Äể kiểm tra cẩn tháºn và trá»±c quan, mình đã vẽ ra mô hình có các số và các cạnh nối chúng nếu cặp đó thá»a mãn Ä‘iá»u kiện Ä‘á» bà i. Từ đó phát hiện ra bà i toán nà y có liên hệ máºt thiết vá»›i bà i toán vá» chu trình Euler trong đồ thị đầy đủ và dãy $(a_k)$ trên chÃnh là sá»± liệt kê thứ tá»± đỉnh trong chu trình đó. Việc cá»™ng thêm 1 ở đây là do dãy không tạo thà nh mô hình khép kÃn nên cần liệt kê dÆ° ra 1 đỉnh. Từ Ä‘iá»u kiện vá» tồn tại Ä‘Æ°á»ng Ä‘i Euler, ta thấy cần phải chia thà nh 2 trÆ°á»ng hợp chẵn lẻ má»›i có thể giải quyết được bà i toán. Cụ thể là : - Nếu $n$ lẻ thì tất cả các đỉnh Ä‘á»u báºc chẵn nên thá»a mãn Ä‘iá»u kiện có chu trình Euler, số $k$ cần tìm là $C_n^2+1 = \frac{n^2-n+2}{2}$. - Nếu $n$ chẵn thì tất cả các đỉnh Ä‘á»u báºc lẻ nên phải thêm và o $\frac{n}{2}$ cạnh nữa để có được Ä‘a đồ thị có các báºc Ä‘á»u chẵn và số $k$ cần tìm là $C_n^2+\frac{n}{2}=\frac{n^2}{2}$. VD5. (TST 2006) Trong không gian cho 2006 Ä‘iểm mà trong đó không có 4 Ä‘iểm nà o đồng phẳng. NgÆ°á»i ta nối tất cả các Ä‘iểm đó lại bởi các Ä‘oạn thẳng. Số tá»± nhiên m gá»i là số tốt nếu ta có thể gán cho má»—i Ä‘oạn thẳng trong các Ä‘oạn thẳng đã nối bởi má»™t số tá»± nhiên không vượt quá m sao cho má»—i tam giác tạo bởi ba Ä‘iểm bất kì trong số các Ä‘iểm đó Ä‘á»u có hai cạnh được gán bởi hai số bằng nhau và cạnh còn lại gán bởi số lá»›n hÆ¡n hai số đó. Tìm số tốt có giá trị nhá» nhất. CÅ©ng nhÆ° nhiá»u bà i toán khác, ở bà i nà y, ta thấy số 2006 không có ý nghÄ©a lá»›n lắm và thá» tổng quát trong trÆ°á»ng hợp $n \ge 2$ tùy ý. Bà i toán nà y mình đã biết trÆ°á»›c kết quả có liên quan đến lÅ©y thừa của 2, nghÄ©a là giá trị của hà m cá»±c trị thay đổi khi giá trị của $n$ tăng gấp đôi nên cố gắng hÆ°á»›ng láºp luáºn theo hÆ°á»›ng nà y. Tuy nhiên, khi giải lại, xây dá»±ng không tối Æ°u, mình đã mắc sai lầm nhÆ° sau: Vá»›i $n=2$ thì chỉ cần $m=0$ là được. Vá»›i $n=3$ thì cần đến 2 số để đánh nên chá»n $m=1$. Vá»›i $n=4$ thì cÅ©ng chỉ cần 2 số nên $m=1$. Vá»›i $n=5$ thì ta cần 3 số và $m=2$. Äến đây dá»… thấy rằng luôn tồn tại má»™t cạnh nà o đó được đánh số 0, giả sá» cạnh đó nối A và B. Ta chia $n-2$ đỉnh còn lại thà nh 2 phần thì rõ rà ng má»—i đỉnh đó Ä‘á»u phải nối vá»›i A hoặc B bởi cạnh đánh số 0. Ta lại chia chúng thà nh 2 táºp hợp: X chứa các đỉnh nối vá»›i A bởi cạnh đánh số 0, Y chứa các đỉnh nối vá»›i B bởi các cạnh đánh số 0. Khi đó ta có thể cho: - Từ má»—i đỉnh táºp X sang má»—i đỉnh táºp Y, cạnh nối vá»›i nhau đánh số 0. - Từ đỉnh A sang táºp Y và từ đỉnh B sang táºp X, cạnh nối vá»›i nhau đánh số 1. - Còn lại trong ná»™i bá»™ X và Y, ta cần sá» dụng $\max \{ f(|X|), f(|Y|) \}$ số. Tuy nhiên, do cần chá»n nhá» nhất nên $f(n)= 2 + \min \{ \max \{ f(|X|), f(|Y|) \} \}$. HÆ¡n nữa, $f(n)$ là hà m Ä‘Æ¡n Ä‘iệu và $|X|+|Y| = n-2$ nên $\min \{ \max \{ f(|X|), f(|Y|) \} \} = f([(n-1)/2])$. Từ đó Ä‘i đến kết luáºn $f(n)= 2 + f([(n-1)/2])$. Kết luáºn nà y sai và vá»›i phản và dụ khi xây dá»±ng trong trÆ°á»ng hợp $n=7, n=8$ mình má»›i phát hiện ra vấn Ä‘á» nằm ở chá»— cách xây dá»±ng mô hình. Trên thá»±c tế, ta có thể chia ra ngay từ đầu chứ không cần phải xét thêm Ä‘iểm A, B và công thức đúng là $f(n)= 1 + f([(n+1)/2])$. Bà i nà y cho ta thấy rằng trong nhiá»u trÆ°á»ng hợp, ta xây dá»±ng các mô hình dá»±a theo kinh nghiệm nhÆ°ng cÅ©ng có lúc cần phải xét các giá trị cụ thể trong trÆ°á»ng hợp nhá» thì má»›i phát hiện ra được vấn Ä‘á». Ngoà i ra, việc xây dá»±ng cho các giá trị nhá» tạo thà nh dãy rồi tìm quy luáºt nhÆ° đã nêu trên không chỉ áp dụng được cho dạng toán cá»±c trị rá»i rạc mà má»™t số bà i toán định tÃnh khác vẫn được. Thá» thá» xét bà i toán kinh Ä‘iển sau: Có hai ngÆ°á»i A, B chÆ¡i trò chÆ¡i bốc sá»i và ban đầu có $n$ viên sá»i, A Ä‘i trÆ°á»›c. Má»—i ngÆ°á»i có thể bốc 2,3 hoặc 6 viên và ai bốc được viên cuối cùng thì thắng. Nếu chỉ còn 1 viên thì ngÆ°á»i chÆ¡i ở lượt đó bốc và thắng luôn. Há»i vá»›i những giá trị nà o của $n$ thì A có chiến lược thắng? TrÆ°á»›c khi tiến hà nh xây dá»±ng tÆ°Æ¡ng tá»± nhÆ° trên, các bạn có thể cần 2 định nghÄ©a sau vá» trò chÆ¡i tổ hợp cân bằng (tức là hai bên có cách chÆ¡i nhÆ° nhau): - Vị trà thắng: là vị trà mà tồn tại má»™t cách Ä‘i đến vị trà thua (vị trà ở đây ý nói giá trị $n$ hiện tại, thắng nà y chỉ ngÆ°á»i chÆ¡i hiện tại và đi đến chỉ số sá»i còn lại sau lượt chÆ¡i đó). - Vị trà thua: là vị trà mà luôn phải Ä‘i đến má»™t vị trà thắng. Có vẻ hÆ¡i mÆ¡ hồ, ta thá» phân tÃch vá»›i bà i toán cụ thể ở trên. Äặt $f(n)$ là hà m số Ä‘i từ táºp $\mathbb{N}*$ và o táºp $\{0,1 \}$ và nó nháºn giá trị 1 khi A có chiến lược thắng, 0 khi B có chiến lược thắng. Hiển nhiên A thắng thì B thua và ngược lại nên ta có: $f(1)=1,f(2)=1,f(3)=1$. Äến đây để tÃnh $f(4)$, ta thấy rằng nếu A bốc 2 hoặc 3 thì Ä‘á»u dẫn đến vị trà thắng của đối phÆ°Æ¡ng nên theo định nghÄ©a ở trên, 4 chÃnh là vị trà thua và $f(4)=0$. Cứ thế, ta tÃnh tiếp được: $f(5)=0, f(6)=1,f(7)=1,f(8)=1, f(9)=0,f(10)=0,…$ Dá»… thấy quy luáºt: nếu $n$ chia 5 dÆ° 0,1,2 thì A thắng; ngược lại thì B thắng. Äể nghÄ© ra được Ä‘iá»u nà y thì rõ rà ng không dá»… nhÆ°ng để Ä‘oán ra được thì lại quá dá»… dà ng. Chứng minh được thá»±c hiện má»™t cách nhanh chóng bằng quy nạp. DÆ°á»›i đây là má»™t số bà i toán tÆ°Æ¡ng tá»± để các bạn có thể tá»± lặp lại các thao tác trên để dá»± Ä‘oán kết quả, má»™t công việc hết sức thú vị, tuy là thủ công nhÆ°ng lại mang đến những hiệu quả bất ngá». Bà i 1. (bà i toán page shuffle) a. Có 3 chú ếch và ng và 3 chú ếch xanh ngồi trên lá sen theo mô hình sau: $VVV _ XXX$ (dấu “_†chỉ lá sen còn trống, V chỉ ếch và ng, X chỉ ếch xanh). Má»—i bÆ°á»›c ta thá»±c hiện Ä‘iá»u khiển ếch di chuyển tuân theo các quy tắc sau: 1. Má»—i lần chỉ được di chuyển má»™t con ếch. 2. Ếch chỉ có thể nhảy sang lá sen còn trống bên cạnh nó hoặc nhảy qua đầu đúng má»™t con ếch khác để nhảy và o lá sen còn trống. 3. Ếch chỉ được nhảy tá»›i, không được nhảy lùi. Há»i sau Ãt nhất bao nhiêu bÆ°á»›c nhảy thì ta có thể Ä‘Æ°a ếch vá» trạng thái $XXX _ VVV$? b. Câu há»i tÆ°Æ¡ng tá»± nếu thay 3 chú ếch và ng, 3 chú ếch xanh bởi $n$ chú ếch và ng và $n$ chú ếch xanh? Bà i 2. (má»™t phiên bản của bà i toán tháp Hà Ná»™i) Có ba há»™p bóng đặt cạnh nhau trên Ä‘Æ°á»ng thẳng, đánh số thứ tá»± là 1, 2, 3 từ trái sang phải. Há»™p đầu tiên chứa $n$ quả bóng, kÃch thÆ°á»›c đôi má»™t khác nhau. Hai há»™p còn lại rá»—ng. NgÆ°á»i ta cho phép chuyển bóng theo quy tắc sau: 1. Má»—i lần chuyển chỉ chuyển được má»™t quả bóng sang há»™p đặt cạnh nó. 2. Quả bóng được chuyển phải là quả bóng lá»›n nhất trong hai há»™p. Hãy tÃnh số bÆ°á»›c chuyển nhá» nhất để chuyển tất cả các quả bóng sang há»™p thứ 3. Bà i 3. (TST 2008) Cho số nguyên $n>1$. Kà hiệu $T$ là táºp hợp gồm n số nguyên dÆ°Æ¡ng đầu tiên. Má»™t táºp con $S$ của $T$ được gá»i là táºp khuyết trong $T$ nếu $S$ có tÃnh chất: Tồn tại số nguyên dÆ°Æ¡ng $c$ không vượt quá $\frac{n}{2}$ sao cho vá»›i $s_1,s_2$ là hai số bất kì thuá»™c $S$, ta luôn có $|s_1-s_2| \neq c$. Há»i táºp khuyết trong $T$ có thể có tối Ä‘a bao nhiêu phần tá» ? Bà i 4. Cho bảng ô vuông $n \times n$. Há»i phải tô mà u Ãt nhất bao nhiêu ô vuông của bảng sao cho: a. Má»—i ô vuông Ä‘á»u được tô mà u hoặc ká» cạnh vá»›i Ãt nhất má»™t ô được tô mà u? b. Má»—i ô vuông Ä‘á»u được tô mà u hoặc kỠđỉnh vá»›i Ãt nhất má»™t ô được tô mà u? Bà i 5. Có $n$ đống sá»i và đống thứ $i$ có đúng $i$ viên sá»i, $1 \le i \le n$. Há»i sau Ãt nhất bao nhiêu lần thao tác, ngÆ°á»i ta có thể lấy hết số sá»i ở $n$ đống nếu nhÆ°: a. Má»—i thao tác cho phép chá»n má»™t số nguyên dÆ°Æ¡ng $k$ và bốc Ä‘i bá»›t $k$ viên sá»i ở má»™t số đống tùy ý (chỉ cho phép các đống có số sá»i không nhá» hÆ¡n $k$). b. Má»—i thao tác cho phép chá»n má»™t số nguyên dÆ°Æ¡ng $k$ và bốc Ä‘i bá»›t hoặc thêm và o $k$ viên sá»i ở má»™t số đống tùy ý (chỉ cho phép các đống có số sá»i không nhá» hÆ¡n $k$). Bà i 6. Trong má»™t trò chÆ¡i truyá»n hình, có $n$ câu há»i. Má»™t ngÆ°á»i chÆ¡i trả lá»i các câu há»i nà y sẽ nháºn kết quả là đúng hoặc sai. Nếu trả lá»i đúng sẽ được Ä‘iểm, nếu trả lá»i sai sẽ bị chia đôi số Ä‘iểm hiện tại. Xét trong tất cả các tình huống trả lá»i các câu há»i đúng/sai, há»i ngÆ°á»i chÆ¡i sẽ nháºn được tất cả bao nhiêu Ä‘iểm? Bà i 7. Có $n$ chiếc cốc được úp thà nh má»™t vòng tròn và dÆ°á»›i 1 trong các chiếc cốc nà y, có má»™t đồng xu. Ở má»—i lượt, ngÆ°á»i chÆ¡i có thể chá»n ra 4 chiếc cốc liên tiếp và mở lên. Nếu có đồng xu thì trò chÆ¡i kết thúc. Nếu không thì ngÆ°á»i chÆ¡i sẽ trả 4 chiếc cốc vá» vị trà cÅ© và bằng má»™t cách nà o đó, đồng xu sẽ di chuyển sang má»™t trong hai cốc ká» nó. NgÆ°á»i chÆ¡i luôn suy luáºn, phân tÃch kÄ© trong quá trình bốc. Há»i trong trÆ°á»ng hợp xấu nhất thì số lần cần phải thao tác là bao nhiêu? Bà i 8. Ở má»™t cá»a hà ng ná», ngÆ°á»i chủ chỉ sá» dụng các đồng tiá»n có giá trị là lÅ©y thừa tá»± nhiên của 3. Có má»™t ngÆ°á»i khách cần mua má»™t món hà ng có giá trị là $n$. Dù đã chuẩn bị sẵn má»™t số loại đồng tiá»n có giá trị là lÅ©y thừa của 3 (má»—i loại có số lượng tùy ý) nhÆ°ng không may là vá»›i các loại đồng tiá»n đó không thể nà o trả được vừa đúng giá tiá»n $n$. NgÆ°á»i bán cÅ©ng không muốn thối lại tiá»n thừa. Thế là ngÆ°á»i khách Ä‘Ã nh phải trả nhiá»u hÆ¡n giá trị của món hà ng. Äể tiết kiệm, ông đã trả số tiá»n $m>n$ vá»›i $m$ nhá» nhất có thể. Há»i trong các cách trả số tiá»n $m$ đó, số đồng tiá»n nhiá»u nhất đã sá» dụng là bao nhiêu? Bà i 9. Äể mở má»™t cánh cá»a, tên trá»™m cần phải bấm đúng thứ tá»± của $n$ cái nút mà ngÆ°á»i chủ quy định trÆ°á»›c. Nếu bấm nút đúng thứ tá»± thứ thì các nút sẽ giữ nguyên vị trÃ, nếu chỉ cần bấm sai má»™t nút thì toà n bá»™ các nút đã bấm sẽ bị báºt lên và tên trá»™m sẽ phải thá» lại từ đầu. Chẳng hạn vá»›i $n=3$ và thứ tá»± các nút cần bấm là $\left\{ 2,3,1 \right\}$. Nếu ban đầu, tên trá»™m bấm nút 1 hoặc 3 thì nút sẽ báºt lên ngay láºp tức. Nếu hắn bấm nút 2 thì nút sẽ giữ nguyên (do nút 2 có thứ tá»± đầu tiên). Tiếp theo, nếu hắn bấm nút 1 thì do sai thứ tá»± nên cả nút 2 đã bấm trÆ°á»›c đó và nút 1 sẽ bị báºt lên. Nếu hắn bấm nút 3 tiếp theo nút 2 thì cả hai nút sẽ giữ nguyên và còn lại hắn chỉ cần bấm nút 1. Dù má»™t tên trá»™m có thông minh đến đâu thì trong tình huống xấu nhất, hắn cÅ©ng phải bấm nút 7 lần. Há»i vá»›i $n$ nút trong trÆ°á»ng hợp xấu nhất, tên trá»™m phải bấm nút bao nhiêu lần để mở được cái cá»a? Nếu có vấn Ä‘á» gì ở các bà i toán trên thì các bạn trao đổi trá»±c tiếp tại đây nhé! Trong các bà i táºp trên, bà i 6 có công thức khác vá»›i các bà i kia má»™t tà nhÆ°ng vẫn có thể dá»± Ä‘oán được, đây cÅ©ng là bà i toán được má»™t bạn gá»i lên mathscope cách đây 2 năm mà đến giá» mình vẫn chÆ°a chứng minh được công thức mình dá»± Ä‘oán được là đúng! Mong rằng các ná»™i dung mình trên bà y ở trên sẽ giúp các bạn có má»™t chút cảm hứng má»›i nà o đó vá»›i các bà i toán cá»±c trị rá»i rạc nói riêng và tổ hợp nói chung. Tất nhiên nó chỉ là má»™t con Ä‘Æ°á»ng, má»™t kỹ thuáºt để tÆ° duy chứ không phải là má»™t phÆ°Æ¡ng pháp gì to lá»›n nhÆ°ng nếu Ä‘i thi, ta có thể sá» dụng thuần thục má»™t công cụ gì đó thì quả tháºt rất tốt! Chúc các bạn thà sinh có những ngà y ôn luyện cuối cùng tháºt tốt và có má»™t kỳ thi thà nh công!
| ||
AnhIsGod (28-12-2013), batigoal (27-12-2013), cuongpbc (04-01-2014), dangvip123tb (27-12-2013), dbm3001 (27-12-2013), henry0905 (27-12-2013), hoangqnvip (27-12-2013), khi gia (27-12-2013), MathForLife (27-12-2013), nghiepdu-socap (27-12-2013), NguyenThanhThi (27-12-2013), pco (27-12-2013), portgas_d_ace (27-12-2013), quocbaoct10 (27-12-2013), Short_list (27-12-2013), thaygiaocht (19-12-2014), Trà nvănđức (28-12-2013), Trầm (27-12-2013), tson1997 (29-12-2013) |
huynhcongbang |