IMO Shortlist 2022: Combinatorics


Trong bài này tôi sẽ dịch phần Tổ hợp trong cuốn IMO Shortlist 2022. Các năm trước bạn có thể tìm ở đường dẫn https://nttuan.org/2023/07/02/isl/.

Phần Hình của năm 2022 tôi đã dịch ở đây

C1. Một \pm 1-dãy là một dãy gồm 2022 số a_1, \ldots, a_{2022}, mỗi số bằng +1 hoặc -1. Tìm số C lớn nhất sao cho, đối với bất kỳ dãy \pm 1 nào, tồn tại một số nguyên k và các chỉ số 1 \le t_1 < \ldots < t_k \le 2022 để t_{i+1} - t_i \le 2 với mọi i, và \displaystyle \left| \sum_{i=1}^{k} a_{t_i} \right| \ge C.

C2. Ngân hàng Oslo phát hành hai loại tiền xu: nhôm (ký hiệu là A) và đồng (ký hiệu là B). Alpha có n đồng xu nhôm và n đồng xu đồng được sắp xếp thành một hàng theo thứ tự ban đầu tùy ý. Một chuỗi là bất kỳ dãy con nào các đồng xu liên tiếp có cùng loại. Cho một số nguyên dương cố định k \leq 2n, Beta lặp đi lặp lại thao tác sau: anh ta xác định chuỗi dài nhất chứa đồng xu thứ k từ bên trái và di chuyển tất cả đồng xu trong chuỗi đó sang đầu bên trái của hàng. Ví dụ: nếu n=4k=4, quá trình bắt đầu từ AABBBABA sẽ là

AABBBABA \to BBBAAABA \to AAABBBBA \to BBBBAAAA \to ...

Tìm tất cả các cặp (n,k) với 1 \leq k \leq 2n sao cho với mỗi cách xếp các đồng xu lúc đầu, tại một thời điểm nào đó trong quá trình, n đồng xu ngoài cùng bên trái có cùng loại.

C3. Trong mỗi ô vuông của một khu vườn có dạng bảng ô vuông cỡ 2022 \times 2022, ban đầu có một cái cây cao 0. Một người làm vườn và một thợ đốn gỗ thay phiên nhau chơi trò chơi sau, người làm vườn sẽ chơi ở lượt đầu tiên:

(1) Người làm vườn chọn một ô vuông trong vườn. Sau đó mỗi cây trên ô vuông đó và tất cả các ô vuông xung quanh trở thành cao hơn một đơn vị.

(2) Người thợ đốn gõ chọn bốn ô vuông khác nhau trong vườn. Sau đó mỗi cây có chiều cao dương trên các ô vuông đó sẽ trở thành thấp hơn một đơn vị.

Ta nói rằng một cái cây là hùng vĩ nếu chiều cao của nó ít nhất là 10^6. Tìm số K lớn nhất sao cho người làm vườn có thể đảm bảo cuối cùng sẽ có K cây hùng vĩ trong vườn, bất kể người thợ đốn gỗ chơi như thế nào.

C4. Cho một số nguyên n > 3. Giả sử rằng n đứa bé được sắp xếp thành một vòng tròn và n đồng xu được phân phát cho chúng (một số bé có thể không có đồng xu nào). Ở mỗi bước, bé có ít nhất 2 đồng xu có thể đưa 1 đồng xu cho mỗi bé ngay bên phải và bên trái của mình. Hãy tìm tất cả các cách phân phát các đồng xu ban đầu sao cho sau một số hữu hạn bước, mỗi bé có đúng một đồng xu.

C5. Cho m,n \geqslant 2 là các số nguyên, X là một tập hợp có n phần tử, và X_1, X_2, \ldots, X_m là các tập hợp con khác rỗng phân biệt của X. Một hàm f \colon X \to \{1,2,\ldots,n+1\} được gọi là tốt nếu tồn tại một chỉ số k sao cho \displaystyle\sum_{x \in X_k} f(x )>\sum_{x \in X_i} f(x), \quad \forall i \ne k. Chứng minh rằng số hàm tốt ít nhất là n^n.

C6. Cho n là một số nguyên dương. Chúng ta bắt đầu với n đống sỏi, mỗi đống ban đầu chỉ chứa một viên sỏi. Người ta có thể thực hiện các bước di chuyển theo hình thức sau: chọn hai đống, lấy một số viên sỏi bằng nhau từ mỗi đống và tạo thành một đống mới từ những viên sỏi này. Tìm, theo n, số nhỏ nhất các đống sỏi khác rỗng mà một người có thể thu được bằng cách thực hiện một dãy hữu hạn các bước di chuyển có dạng này.

C7. Lucy bắt đầu bằng cách viết s bộ 2022 số nguyên lên bảng đen. Sau khi làm điều đó, cô ấy có thể lấy hai bộ bất kỳ (không nhất thiết phải khác nhau) \mathbf{v}=(v_1,\ldots,v_{2022})\mathbf{w}=(w_1,\ldots,w_{ 2022}) mà cô ấy đã viết và áp dụng một trong các thao tác sau để lấy bộ mới:

\mathbf{v}+\mathbf{w}=(v_1+w_1,\ldots,v_{2022}+w_{2022})

\mathbf{v} \lor \mathbf{w}=(\max(v_1,w_1),\ldots,\max(v_{2022},w_{2022}))

rồi viết bộ này lên bảng. Sau hữu hạn bước, theo cách này, Lucy có thể viết bất kỳ bộ 2022 số nguyên nào lên bảng. Số s nhỏ nhất có thể là bao nhiêu?

C8. Cho n là một số nguyên dương. Hình vuông Bắc Âu là một bảng ô vuông n \times n chứa tất cả các số nguyên từ 1 đến n^2 sao cho mỗi ô chứa đúng một số. Hai ô khác nhau được gọi là kề nếu chúng có chung một cạnh. Mỗi ô chỉ kề với các ô chứa số lớn hơn được gọi là thung lũng. Đường lên dốc là một dãy gồm một hoặc nhiều ô sao cho các điều kiện sau được thỏa mãn đồng thời:

(i) ô đầu tiên trong dãy là một thung lũng,

(ii) mỗi ô tiếp theo trong dãy kề với ô trước đó,

(iii) các số trên các ô trong dãy lập thành một dãy tăng theo thứ tự.

Tìm, theo n, số nhỏ nhất đường lên dốc có thể có trong một hình vuông Bắc Âu.

C9. Xét các song ánh f:\mathbb N\times \mathbb N \to \mathbb N có tính chất: mỗi khi f(x_1,y_1) > f(x_2, y_2), thì f(x_1+1, y_1) > f(x_2 + 1, y_2)f(x_1, y_1+1) > f(x_2, y_2+1). Gọi k là số cặp số nguyên (x,y) sao cho 0\le x,y<100f(x,y) is số nguyên lẻ. Tìm giá trị lớn nhất và giá trị nhỏ nhất của k.

IMO Shortlist 2022: Geometry


Trong bài này tôi sẽ dịch phần Hình học trong cuốn IMO Shortlist 2022. Các năm trước bạn có thể tìm ở đường dẫn https://nttuan.org/2023/07/02/isl/

G1.  Cho ngũ giác lồi ABCDE với BC=DE. Giả sử có một điểm T nằm trong ABCDE sao cho TB=TD, TC=TE,\angle ABT = \angle TEA. Đường thẳng AB cắt các đường thẳng CDCT lần lượt tại PQ. Giả sử P, B, A,Q thẳng hàng theo thứ tự đó. Đường thẳng AE cắt các đường thẳng CDDT lần lượt tại RS. Giả sử R, E, A,S thẳng hàng theo thứ tự đó. Chứng minh rằng các điểm P, S, Q,  và R cùng nằm trên một đường tròn.

G2. Trong tam giác nhọn ABC, điểm F là chân đường cao kẻ từ A, P là một điểm trên đoạn AF. Các đường thẳng qua P song song với ACAB lần lượt cắt BC tại DE. Các điểm X \ne AY \ne A lần lượt nằm trên (ABD)(ACE) sao cho DA = DXEA = EY. Chứng minh rằng các điểm B, C, X,Y cùng nằm trên một đường tròn.

G3. Cho ABCD là một tứ giác nội tiếp. Giả sử các điểm Q, A, B, và P thẳng hàng theo thứ tự này sao cho đường thẳng AC là tiếp tuyến của (ADQ), và đường thẳng BD là tiếp tuyến của (BCP). Gọi MN lần lượt là trung điểm của các đoạn thẳng BCAD. Chứng minh ba đường thẳng sau đồng quy: đường thẳng CD, tiếp tuyến của (ANQ) tại A, và tiếp tuyến của (BMP) tại B.

G4. Cho ABC là một tam giác nhọn có AC > AB, gọi O là tâm đường tròn ngoại tiếp của nó và D là một điểm trên đoạn BC. Đường thẳng qua D vuông góc với BC lần lượt cắt các đường thẳng AO, AC,AB tại W, X,Y. Các đường tròn ngoại tiếp của các tam giác AXYABC cắt lại nhau tại Z \ne A. Chứng minh rằng nếu W \ne DOW = OD, thì DZ là tiếp tuyến của (AXY).

G5. Cho ABC là một tam giác và \ell_1,\ell_2 là hai đường thẳng song song. Giả sử với mỗi i, \ell_i lần lượt cắt các đường thẳng BC, CA, AB tại X_i,Y_i,Z_i. Với mỗi i, gọi \Delta_i là tam giác được tạo bởi đường thẳng đi qua X_i và vuông góc với BC, đường thẳng đi qua Y_i và vuông góc với CA, và đường thẳng đi qua Z_i và vuông góc với AB. Chứng minh rằng các đường tròn ngoại tiếp các tam giác \Delta_1\Delta_2 tiếp xúc với nhau.

G6. Cho ABC là một tam giác nhọn có đường cao {AH}P là một điểm thay đổi sao cho các đường phân giác k\ell lần lượt của \angle PBC\angle PCB gặp nhau trên {AH}. Cho k gặp {AC} tại E, \ell gặp {AB} tại F{EF} gặp {AH} tại Q. Chứng minh rằng khi P thay đổi, đường thẳng PQ luôn đi qua một điểm cố định.

G7. Hai tam giác ABC, A^{\prime}B^{\prime}C^{\prime} có cùng trực tâm H và cùng đường tròn ngoại tiếp có tâm O. Gọi PQR là tam giác tạo bởi AA^{\prime}, BB^{\prime}CC^{\prime}, chứng minh rằng tâm đường tròn ngoại tiếp của tam giác PQR nằm trên OH.

G8. Cho AA^{\prime}BCC^{\prime}B^{\prime} là một lục giác lồi nội tiếp sao cho AC là tiếp tuyến của đường tròn nội tiếp tam giác A^{\prime}B^{\prime}C^{\prime}A^{\prime}C^{\prime} là tiếp tuyến của đường tròn nội tiếp tam giác ABC. Cho các đường thẳng ABA^{\prime}B^{\prime} cắt nhau tại X, các đường thẳng BCB^{\prime}C^{\prime} cắt nhau tại Y. Chứng minh rằng nếu XBYB^{\prime} là một tứ giác lồi thì nó có đường tròn nội tiếp.

Graph theory: Basic definitions


Đây là bài thứ hai của tôi về lý thuyết đồ thị. Các bạn có thể xem bài trước ở

[1] https://nttuan.org/2023/08/13/graph01/


Với mỗi tập hợp X, ký hiệu [X]^2 là tập gồm tất cả các tập con có 2 phần tử của X.

Định nghĩa 1. Một đồ thị là một cặp G=(V,E) các tập hợp sao cho E\subset [V]^2.

Như vậy, các phần tử của E là các tập con có 2 phần tử của V. Các phần tử của V được gọi là các đỉnh của đồ thị G, các phần tử của E được gọi là các cạnh của G. Đồ thị có tập các đỉnh V được gọi là đồ thị trên V. Cách thông thường để vẽ một đồ thị là mỗi đỉnh biểu thị bởi một dấu chấm và nối hai trong các dấu chấm này bởi một đường cong nếu hai đỉnh tương ứng tạo thành một cạnh.

Trong hình trên ta có một đồ thị trên V=\{1,2,\ldots,6\} với tập cạnh E=\{\{1;2\},\{2;3\},\{6;5\},\{2;4\}\}. Khi vẽ một đồ thị ta không quan tâm các đỉnh hay cạnh được vẽ thế nào, điều quan trọng duy nhất ở đây là hai đỉnh nào được nối với nhau. Tập các đỉnh của một đồ thị G được ký hiệu bởi V(G), trong khi tập cạnh của nó được ký hiệu bởi E(G). Ta thường không phân biệt đồ thị và tập cạnh hoặc tập đỉnh của nó. Chẳng hạn, ta có thể nói đỉnh v thuộc G (thay vì v\in V(G)), một cạnh e của G,

Số đỉnh của G được gọi là cấp của nó, ký hiệu bởi \mid G\mid. Một đồ thị G được gọi là hữu hạn nếu V(G)E(G) là hai tập hữu hạn, vô hạn nếu V(G) hoặc E(G) là một tập vô hạn. Trong bài giảng này ta chỉ xét các đồ thị hữu hạn. Khi \mid G\mid =0 ta gọi G là đồ thị rỗng, ký hiệu \emptyset. Nếu cấp của G bằng n thì ta cũng nói G là đồ thị trên n đỉnh.

Định nghĩa 2. Cho một đồ thị G. Đỉnh v của G được gọi là đầu mút của một cạnh e của G nếu v\in e. Nếu hai đầu mút của một cạnh exy thì ta nói e nối xy, hoặc e kề với hai đỉnh xy.

Một cạnh \{x;y\} thường được viết là xy hoặc yx.

Định nghĩa 3. Cho một đồ thị G. Hai đỉnh xy của G được gọi là kề nhau nếu \{x;y\} là một cạnh của G. Trong trường hợp đó ta nói xy là láng giềng của nhau.

Với mỗi đỉnh x, tập gồm tất cả các đỉnh kề với x được ký hiệu là N(x) hoặc N_G(x). Hai cạnh phân biệt ef của G được gọi là kề nhau nếu chúng có chung một đầu mút. Nếu tất cả các đỉnh của G là đôi một kề nhau ta nói G là một đồ thị đầy đủ. Một đồ thị đầy đủ trên n đỉnh được ký hiệu bởi K_n. K_3 được gọi là tam giác. Một cặp các đỉnh hay cạnh được gọi là độc lập nếu chúng không kề nhau.

Định nghĩa 4. Cho hai đồ thị G=(V,E)G^{\prime}=(V^{\prime},E^{\prime}). Một ánh xạ \varphi: V\to V^{\prime} được gọi đồng cấu từ G đến G^{\prime} nếu nó bảo toàn quan hệ kề giữa các đỉnh, nghĩa là \varphi (x)\varphi (y) kề nhau mỗi khi xy kề nhau. Nếu đồng cấu \varphi từ G đến G^{\prime} là một song ánh và \varphi^{-1} cũng là một đồng cấu, thì ta nói \varphi là một đẳng cấu hoặc GG^{\prime} là đẳng cấu.

Ta không phân biệt các đồ thị đẳng cấu, vì thế ta thường viết G=G^{\prime} để chỉ GG^{\prime} đẳng cấu. Trong một số trường hợp ta cũng nói G^{\prime} là một bản sao của G.

Continue reading “Graph theory: Basic definitions”