Kvant
Khác

[Đáp số gửi câu hỏi của độc giả B. Ivyakin về lời giải bài toán M115]

Ширшов А. И.

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 →

58

Hỏi - chúng tôi trả lời

Người biên tập nhận được một lá thư của học sinh lớp 10 B. Ivachin. Trong đó ông viết:

“Nhìn qua các số cũ «Kvant», tôi nhận thấy dòng tái bút ở cuối lời giải bài toán M115 “… bài toán này lần đầu tiên xuất hiện trong một trong những tác phẩm của nhà đại số hiện đại nổi tiếng A. I. Shirshov. Anh ấy cần nó để xây dựng một lý thuyết toán học dựa trên máy chủ. Integrano tìm hiểu xem nó như thế nào lời giải? Việc tính toán toán học được sử dụng cho mục đích này hay lời giải ý chí của phần tử? Suy cho cùng, nếu là sơ cấp, các chu trình của tôi có thể được viết ra theo ý muốn của nghiên cứu toán học phía máy chủ.”

Chúng tôi đã hỏi Thành viên tương ứng của Viện Hàn lâm Khoa học Liên Xô A.I. Shirshov để trả lời những câu hỏi này.

Borya thân mến!

Bạn không cần phải xem qua các số «Kvant» cũ để tìm ra những ý tưởng toán học thú vị. Họ ở xung quanh chúng ta.

Bạn quan tâm đến bài toán M115. Hãy để tôi nhắc bạn về điều kiện của nó:

MRI của tàu chứa đầy toàn bộ lít nước. Bất kỳ chiếc bình nào cũng được cắt để đổ lượng nước bằng với lượng nước mà nó đã chứa từ bất kỳ chiếc bình nào khác. Để chứng minh rằng có nhiều cực đại bị tràn, một trong các bình có thể được thả ra. (Các bình đủ lớn: người ta có thể gánh hết nước cùng nhau).

Có một lần tôi tìm thấy những gì được nêu dưới đây lời giải.

Đặt (n,p,q)(n, p, q) là trạng thái ban đầu nào đó của mạch và γ\gamma là số tự nhiên nhất sao cho ít nhất một trong các số n+pn+p, n+qn+q, p+qp+q chia hết cho 2γ2^\gamma. Rõ ràng là γ>0\gamma > 0. Đặt n+p=2γ(2s+1)n+p=2^\gamma (2s+1), n=2α(2t+1)n=2^\alpha (2t+1), p=2β(2r+1)p=2^\beta (2r+1). Giả sử α=β\alpha=\beta. Sau đó α<γ\alpha<\gamma. Nếu n>pn>p thì chúng tôi sẽ truyền máu (n,p,q)⇔(n−p,2p,q)(n, p, q) \Leftrightarrow (n-p, 2p, q); nếu n<pn<p thì truyền máu (n,p,q)⇔(2n,p−n,q)(n, p, q) \Leftrightarrow (2n, p-n, q). Vì n−p=2α+1(t−r)n-p=2^{\alpha+1}(t-r) và 2p=2α+1(2r+1)2p=2^{\alpha+1}(2r+1), tại một số bước được hiển thị khi hai số trở nên khác nhau hoặc các số tương ứng trở nên bằng nhau. Vì vậy, chúng ta có thể giả sử rằng α>β=γ\alpha>\beta=\gamma. Nếu n<pn<p, thì chúng tôi sẽ thực hiện một số lần truyền (n,p,q)⇒(2n,p−n,q)⇒…(n, p, q) \Rightarrow (2n, p-n, q) \Rightarrow \dots cho đến khi nin_i lớn hơn pip_i (β sẽ không thay đổi, nhưng α\alpha sẽ tăng). Vì vậy, n>pn>p, α>β=γ\alpha>\beta=\gamma. Nếu p<qp<q, (n,p,q)⇔(n,2p,q−p)(n, p, q) \Leftrightarrow (n, 2p, q-p) và n+2p=2γ+1mn+2p=2^{\gamma+1}m, tức là số γ tăng lên. Nếu p>qp>q, (n,p,q)⇔(n−p+q,2(p−q),2q)(n, p, q) \Leftrightarrow (n-p+q, 2(p-q), 2q) và 2(p−q)+2q=2p2(p-q)+2q=2p. γ\gamma tiếp tục tăng. Vì γ\gamma không thể tăng vô thời hạn nên đến một lúc nào đó sẽ nhận được một bình rỗng.

Thật dễ hiểu nếu tôi đã quyết định thì tôi cũng sẽ như vậy. Tất cả các bình đều có thể được làm trống, ngoại trừ hai bình.

Tất nhiên, trong tác phẩm của tôi (Bộ sưu tập toán học 45:2, 1958), không hề nói đến bình chứa.