Kvant
Trò chơi và câu đố

Bài toán về sự thống trị của nữ hoàng

Чванов В. Г.

Bản dịch tự động sơ bộ, chất lượng thấp: có thể còn lỗi và câu chữ chưa tự nhiên. Bản này sẽ được thay bằng bản dịch tốt hơn. Bản gốc →

60

Bài toán về việc nội trợ của nữ hoàng

V. G. CHVANOV

Một bài viết của M. Mamikon năm «Kvant» 1977, số 12 đã xem xét bài toán như sau:

Bài toán về việc nội trợ. Số lượng quân hậu tối thiểu F(n)F(n) có thể được đặt trên bàn cờ n×nn \times n để chúng tấn công tất cả các ô trống của nó là bao nhiêu?

Các số F(n)F(n) chỉ được biết đến với n(n≤11)n (n \leq 11) nhỏ, được cho trong Bảng 1.

Bảng 1

| nn | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | … |
| :— | :— | :— | :— | :— | :— | :— | :— | :— | :— | :— | :— |
| F(n)F(n) | 1 | 2 | 3 | 3 | 4 | 5 | 5 | 5 | 5 | ? | … |

TRÊN hình 1 cho thấy vị trí của quân hậu trên bàn cờ 3×33 \times 3, 8×88 \times 8, 11×1111 \times 11, vì cái gì F(n)F(n) lần lượt bằng 1, 5 và 5. Đối với lớn nn nhiệm vụ của anh ấy lời giải.

Bài báo của M. Mamikon cung cấp các ước tính sau cho F(n)F(n):

F(n)≥n−12,F(n) \geq \frac{n-1}{2},

F(n)≤58n+16n.F(n) \leq \frac{5}{8} n + 16 \sqrt{n}.

Mục tiêu của chúng tôi là cung cấp một số ví dụ để cải thiện những ước tính này và hình thành bài toán liên quan với hy vọng rằng người đọc sẽ độc lập nâng cao lời giải bài toán về nội trợ.

Ý tưởng hình học đầu tiên - đục lỗ viền

Vị trí của quân hậu trên bàn cờ n×nn \times n, trong đó F(n)=(n−1)/2F(n) = (n-1)/2 (giới hạn dưới của M. Mamikon được hiện thực hóa), được gọi là lý tưởng.

Một ví dụ là các vị trí được hiển thị tại hình 1 (tại n=3n=3 và n=11n=11).

Sau khi áp dụng 4 ô (n−1)(n-1) nằm dọc theo cạnh của nó. Với một vị trí lý tưởng (xem hình 1a, 6), mỗi quân hậu sẽ có chính xác 8 ô vuông trên mỗi ô vuông này, hình vuông của nó không thể bị hai quân hậu xuyên thủng, vì vậy số lượng quân hậu là 4 (n−1):8=(n−1)/2(n-1):8=(n-1)/2, điều này cho chúng ta ước tính thấp hơn (1). Bằng chứng đầy đủ về điều này có trong bài viết của M. Mamikon.

Bài toán 1 (chưa giải được). Có vị trí lý tưởng nào khác ngoài hai vị trí được liệt kê không? Có số lượng hữu hạn các vị trí lý tưởng không? (Hyotesis: đáp số cho câu hỏi cuối cùng - tích cực.)

Một điều kiện cần thiết cho việc nghiền nhà được đặt là việc nghiền nhà ở biên giới. Vì vậy, thật thú vị khi biết bảng nào có thể làm bài tập về nhà ở biên giới (n−1)/2(n-1)/2 với quân hậu. M. Mamikon đã chứng minh rằng các bảng như vậy là các bảng n×nn \times n với n=2(k2+l2)+1n=2(k^2+l^2)+1, trong đó kk và ll là các số nguyên tố cùng nhau của các chẵn lẻ khác nhau. Nhưng các bảng cũng không làm cạn kiệt danh sách này. Một ví dụ là vị trí trên hình 2 (n=15)(n=15); Tôi đã nghĩ ra một vị trí khác như vậy cho bảng n×nn \times n, n=27n=27. Những vị trí này được sử dụng ở chỗ chúng duy trì sự bằng nhau về số lượng của các vòng sắt chỉ nằm trong các ô vuông đối diện được hình thành bởi giao điểm của các đường chéo chính.

61

Ý tưởng hình học thứ hai là di chuyển quân hậu kk ra ngoài hình vuông trung tâm

Hãy xem xét quân hậu kk trên hình 4,6 và thay thế bốn quân hậu ở góc bằng hai quân hậu nằm bên ngoài ô vuông trung tâm m×mm \times m (m=5m=5) như được hiển thị trong hình 5. Sau đó, chúng ta nhận được một quân hậu kk từ các quân 2m−12m-1 thống trị bàn cờ 3m×3m3m \times 3m. Không thể giảm thêm số lượng hình vì hình vuông m×mm \times m có đường chéo 2m−12m-1.

Tuy nhiên, khi chúng ta di chuyển các quân dọc theo đường chéo của chúng bên ngoài ô vuông trung tâm, hóa ra là có thể có được một quân hậu kk thống trị một bàn cờ lớn hơn 3m×3m3m \times 3m bằng cách tăng số lượng cấp bậc và tập tin có thể tấn công (xem hình trên trang bìa thứ tư). Đương nhiên họ sẽ hỏi.

Bài toán 4. Kích thước tối đa của một hình vuông bị thống trị bởi quân hậu kk trong số 2m−12m-1 quân là bao nhiêu?

Tôi không biết đáp số cho câu hỏi này, nhưng từ một loạt kk-nữ hoàng khác được đưa ra làm ví dụ, cho phép cải thiện đáng kể giới hạn trên cho F(n)F(n). Cụ thể, đối với bất kỳ mm nào từ chuỗi m=12c+9m=12c+9 (c=0,1,2,...c=0,1,2,...), người ta có thể tạo ra một quân hậu kk từ các quân 2m−12m-1 thống trị bàn cờ n×nn \times n, trong đó n=42c+31=(7m−1)/2n=42c+31=(7m-1)/2. Do đó, đối với tất cả nn từ chuỗi n=42c+31n=42c+31 (c=0,1,2,...c=0,1,2,...), chúng ta thu được ước tính

F(n)≤4n−57.F(n) \leq \frac{4n-5}{7}.

Lưu ý rằng số lượng chiều dọc (cũng như chiều ngang), cũng như kk-nữ hoàng, bằng l=(3m−1)/2l=(3m-1)/2.

Nữ hoàng kk hiển thị trên trang bìa là một trong những nữ hoàng kk trong loạt bài này (tại c=0c=0). Chúng ta hãy xem xét kỹ hơn về nó. Nó bao gồm 3 nhóm số liệu có những lợi thế “mang tính xây dựng” nhất định. Mỗi nhóm, được tách riêng, tấn công theo mọi hướng vào một cột gồm nhiều hàng, bao nhiêu số liệu mà nó chứa. Hơn nữa, theo chiều dọc và một trong các đường chéo

62

Theo hướng chính, các hàng bị tấn công không ngừng, ở hướng khác - hàng thứ ba bị tấn công, theo chiều ngang - mỗi giây. Các nhóm bên ngoài chứa 23m−1\frac{2}{3}m-1, và nhóm ở giữa chứa 23m\frac{2}{3}m quân cờ, được đặt bằng các nước đi hiệp sĩ tuần tự dọc theo các đường song song 1-1, 2-2, 3-3. Đường 1-1 chạy qua ô trung tâm của bàn cờ. Khoảng cách giữa các dòng 2-2, 3-3 và các dòng 1-1 được chọn sao cho bên ngoài bảng m×mm \times m trên 2 mặt của nó (xem hình trên trang bìa) có m−14\frac{m-1}{4} các quân cờ của mỗi nhóm cực đoan. Nhưng đồng thời, một phần hình của mỗi nhóm rời khỏi vùng màu xanh lam và một khoảng trống được hình thành trong đó (hiển thị bằng màu xanh lá cây) theo một đường chéo mở liên tục. Các mảnh rời khỏi vùng màu xanh sẽ được đưa trở lại vùng đó bằng cách chuyển song song dọc theo các đường chéo của chúng để thu hẹp khoảng cách đã hình thành.

Cải thiện giới hạn dưới cho F(n)F(n)

Bây giờ hãy quay lại ước tính thấp hơn F(n)F(n). Nó có thể được cải thiện bằng cách đặt điểm F(n)F(n) cho các bảng n×nn \times n so sánh modulo 4.

Bài 5. Chứng minh cho mỗi loại bảng n×nn \times n các ước lượng sau F(n)F(n):

n=4kF(n)≥n2,n = 4k \quad F(n) \geq \frac{n}{2},

(4)

Gợi ý. Số ô vuông trên mép bàn cờ có n−12\frac{n-1}{2} quân hậu chiếm ưu thế là bội số của 8; số lượng các hình được sắp xếp lý tưởng F(n)=2k+1F(n) = 2k+1.

Bài toán 6. Cho n−12\frac{n-1}{2} các đường chéo dọc, ngang, tăng dần và giảm dần. Chỉ ra tất cả các giá trị nn mà có thể gạch bỏ tất cả các ô của bảng n×nn \times n bằng các dòng này (chúng đi qua tâm của các ô).

Vấn đề 7 (chưa giải quyết). Có số lượng bảng hữu hạn để thực hiện ước tính (4), (5), (6) không? Giả thuyết: số lượng bảng như vậy là hữu hạn.

Các ước lượng (4), (5), (6) cho phép chúng ta mở rộng Bảng 1. Thật vậy, khi tính đến chúng, chúng ta có thể viết rằng F(12)≥6F(12) \geq 6; F(13)≥7F(13) \geq 7; F(17)≥9F(17) \geq 9; F(12)=6F(12)=6 và F(13)=7F(13)=7 có thể dễ dàng có được bằng cách phân phối các vị trí F(11)=5F(11)=5 (hình 1 “6”) cho các kích cỡ 12×1212 \times 12 và 13×1313 \times 13 với một quân cờ bổ sung được đặt ở ô vuông góc của bàn cờ. Vị trí của F(17)=9F(17)=9 được hiển thị trên hình 6.

Sẽ rất thuận tiện khi đánh giá “chất lượng” của vị trí thống trị này hoặc vị trí thống trị khác bằng cách sử dụng mối quan hệ μ=F(n)n\mu = \frac{F(n)}{n}. Vì vậy, kết quả của chúng tôi có thể được trình bày dưới dạng Bảng 2.

Bảng 2 đáng được theo dõi, nhưng chúng tôi để lại cho người đọc phân tích. Chúng tôi chỉ lưu ý những điều sau đây rằng bảng 8×88 \times 8 là phù hợp và trang trọng nhất để đặt F(n)F(n) cho phép chúng tôi trả lời câu hỏi này ngay bây giờ.

Vấn đề 8 (về sự thống trị bên ngoài). Có thể đặt tối đa bao nhiêu quân hậu trên một bàn cờ vô hạn để tất cả các bàn n×nn \times n đều bị tấn công?