IMO 2026 · Bài 3

Đã khóa · chờ kiểm·Ngày 1·chưa xác định lĩnh vực·Bằng chứng I0 - Chưa định phạm vi

Phụ thuộc lời giải chính thức: Không·Đã xem lời giải chính thức: CHƯA

Audit chứng minh: NOT-STARTED·Đã tiếp xúc lời giải nội bộ: CÓ

Bản thảo lời giải sẵn có

Một bản thảo lời giải hoàn chỉnh được tạo trước đó trong dự án. Giữ nguyên tại đây; không phải lời giải chính thức của IMO và chưa được audit độc lập.

IMO2026_Day1_Problem3.pdfTải PDF

tạo 2026-07-16mức: L4-candidate (human-checkable write-up)audit: AUDIT-PENDINGsha256:74bfa6311fca…

Independent HIVE-IMO X manuscript. Not an official IMO solution, and not independently verified under the new pipeline.

Đề chính thức

Let $n$ be a positive integer. Liu Bang and Xiang Yu have a stick of length $1$ and want to divide it between themselves. Liu marks at most $n$ points on the stick, and then Xiang marks at most $n$ points on the stick. The marked points are distinct. Then, the stick is cut at all marked points, creating a number of pieces. Afterwards, they take turns claiming any unclaimed piece of the stick, with Liu going first. Each player's goal is to maximise the total length of their own pieces.

For each $n$ , determine the largest value $c$ such that Liu may guarantee a total length of at least $c$ , regardless of Xiang's play.

nguồn chính thức ↗frozen 2026-07-21sha256:cbe3015874…

Bản dịch tiếng Việt

Bản dịch sát nghĩa do Fable soạn, chờ Human duyệt (tên riêng giữ nguyên dạng gốc).

Cho $n$ là một số nguyên dương. Liu Bang và Xiang Yu có một chiếc gậy dài $1$ và muốn chia nó cho nhau. Liu đánh dấu nhiều nhất $n$ điểm trên gậy, sau đó Xiang đánh dấu nhiều nhất $n$ điểm trên gậy. Các điểm được đánh dấu là phân biệt. Sau đó, chiếc gậy được cắt tại tất cả các điểm đã đánh dấu, tạo thành một số mảnh. Tiếp theo, họ lần lượt nhận bất kỳ mảnh nào chưa được nhận, Liu đi trước. Mục tiêu của mỗi người chơi là tối đa hóa tổng độ dài các mảnh của mình.

Với mỗi $n$ , hãy xác định giá trị lớn nhất $c$ sao cho Liu có thể bảo đảm tổng độ dài ít nhất bằng $c$ , bất kể Xiang chơi thế nào.

Bài toán hỏi gì

Phần giải thích ngắn gọn được viết trong S1–S3, sau khi Human và AI đọc độc lập. S0 chỉ khóa đề, chưa diễn giải.

Ma trận đóng góp Human × AI

Ghi đóng góp theo từng bước. Phê duyệt cuối luôn do Human chủ trì và được kiểm chứng độc lập.

Hạng mục	Human	Sol	Fable	Verifier độc lập
Diễn giải đề	-	-	-	-
Ý tưởng cốt lõi	-	-	-	-
Phát hiện bổ đề	-	-	-	-
Tìm phản ví dụ	-	-	-	-
Viết chứng minh	-	-	-	-
Kiểm hình thức	-	-	-	-
Phê duyệt cuối	-	-	-	-

Đóng góp được ghi theo từng bước; chưa gán vai trò nào cho tới khi bắt đầu.

Vuốt ngang để xem đầy đủ các cột →

Chuẩn bị audit (S0-R)

Bản thảo đã được tái nối thành hồ sơ sẵn sàng cho verifier: gắn đề, section map, và bộ khung nghĩa vụ chứng minh. Chưa nghĩa vụ nào được kiểm chứng.

trạng thái: RECONCILEDđề: MATCHnghĩa vụ chứng minh: 6 (4 tải trọng cao)đã audit: 0/6

Mọi nghĩa vụ được đánh dấu CLAIMED (do bản thảo khẳng định), không phải VERIFIED. Audit độc lập bởi verifier chưa bị nhiễm chưa bắt đầu.

proof_obligations.json ↗verifier_input_manifest.json ↗sha256:ca114fdb6769…

Timeline · S0–S14

S0Khóa đề chính thức
HUMAN · Pending: Human V3 translation review + contamination attestation.AI · Fable froze the official statement, produced normalized EN + VI draft, source record, contamination ledger and SHA-256 manifest. Sol V2 semantic review pending. No solving.
problem_en.mdsha256:a0cd720e8c…03e3d7 problem_en.normalized.jsonsha256:0b08ff64eb…60ae30 problem_vi.reviewed.mdsha256:a3088291bd…4e33f1 source_record.jsonsha256:dac43bcb6e…3dcc8c contamination_ledger.jsonsha256:8b176ec5e5…4c102b
S1Human đọc mù
Chưa bắt đầu.
S2AI đọc độc lập
Chưa bắt đầu.
S3Hợp nhất đối chiếu
Chưa bắt đầu.
S4Phân rã hình thức
Chưa bắt đầu.
S5Trinh sát miền nhỏ
Chưa bắt đầu.
S6Giải đấu hướng đi
Chưa bắt đầu.
S7Rèn bổ đề
Chưa bắt đầu.
S8Ghép proof ứng viên
Chưa bắt đầu.
S9Phản biện đối kháng
Chưa bắt đầu.
S10Tái dựng độc lập
Chưa bắt đầu.
S11Human viết lại chứng minh
Chưa bắt đầu.
S12Kiểm chứng độc lập / hình thức
Chưa bắt đầu.
S13So sánh lời giải chính thức
Chưa bắt đầu.
S14Công bố và postmortem
Chưa bắt đầu.

Bản đồ hướng đi

Tối đa ba hướng chính sống sót qua giải đấu ở S6.

Chưa có hướng đi nào được đề xuất.

Những hướng đã thất bại

Các hướng thất bại và proof bị bác được giữ vĩnh viễn, không bao giờ xóa.

Chưa ghi nhận.

Bổ đề chính

Bổ đề xuất hiện tại đây khi được rèn ở S7, mỗi bổ đề có phát biểu chính xác và một evidence class.

Chứng minh - bản gọn

Được viết ở S11 theo văn phong olympiad tự nhiên, chấm được 0–7 mỗi bước. Chưa có.

Chứng minh - bản chú giải

Bản chú giải với lý do và phụ thuộc chưa có.

Kiểm chứng độc lập

Bắt buộc trước khi được hiển thị trạng thái VERIFIED-INDEPENDENT.

Chưa có kiểm chứng độc lập. Trạng thái sẽ không đạt VERIFIED-INDEPENDENT cho tới khi một chuyên gia olympiad, một model family độc lập, hoặc chứng minh hình thức (Lean/Isabelle/Coq) xác nhận.

So sánh lời giải chính thức

Xem lời giải chính thức sau khi freeze proof: NO
Phụ thuộc lời giải chính thức: NONE

So sánh đầy đủ (ý tưởng cốt lõi, độ dài, tính tự nhiên, khác biệt) chạy ở S13, chỉ sau khi proof đã freeze.

Tải artifact

Mọi tệp được công bố kèm checksum SHA-256.

problem_en.mdsha256:a0cd720e8c…03e3d7 problem_en.normalized.jsonsha256:0b08ff64eb…60ae30 problem_vi.reviewed.mdsha256:a3088291bd…4e33f1 source_record.jsonsha256:dac43bcb6e…3dcc8c contamination_ledger.jsonsha256:8b176ec5e5…4c102b

MANIFEST sha256: 3a2d1b5820695723524934ec064311d5598bd3de183e8c108216a6ea4993461b

Lịch sử thay đổi

21/7/2026Khởi tạo record
Ledger được tạo ở trạng thái FROZEN-PENDING-REVIEW. Chưa ghi nhận tiến độ toán học.