benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / An [i]animal[/i] with n [i]cells[/i] is a connected figure consisting of n equal-sized cells[1]. A [i]dinosaur[/i] is an animal with at least 2007 cells. It is said to be [i]primit…

Problem

Answer published by the source. Consult the official source to check your work against its answer.

problem

An [i]animal[/i] with nn [i]cells[/i] is a connected figure consisting of nn equal-sized cells[1]. A [i]dinosaur[/i] is an animal with at least 20072007 cells. It is said to be [i]primitive[/i] it its cells cannot be partitioned into two or more dinosaurs. Find with proof the maximum number of cells in a primitive dinosaur. (1) Animals are also called [i]polyominoes[/i]. They can be defined inductively. Two cells are [i]adjacent[/i] if they share a complete edge. A single cell is an animal, and given an animal with nn cells, one with n+1n+1 cells is obtained by adjoining a new cell by making it adjacent to one or more existing cells.
Plain-text mathematical notation (without MathML)
An [i]animal[/i] with n [i]cells[/i] is a connected figure consisting of n equal-sized cells[1].

A [i]dinosaur[/i] is an animal with at least 2007 cells. It is said to be [i]primitive[/i] it its cells cannot be partitioned into two or more dinosaurs. Find with proof the maximum number of cells in a primitive dinosaur. 

(1) Animals are also called [i]polyominoes[/i]. They can be defined inductively. Two cells are [i]adjacent[/i] if they share a complete edge. A single cell is an animal, and given an animal with n cells, one with n+1 cells is obtained by adjoining a new cell by making it adjacent to one or more existing cells.
Original LaTeX notation
An [i]animal[/i] with $n$ [i]cells[/i] is a connected figure consisting of $n$ equal-sized cells[1].

A [i]dinosaur[/i] is an animal with at least $2007$ cells. It is said to be [i]primitive[/i] it its cells cannot be partitioned into two or more dinosaurs. Find with proof the maximum number of cells in a primitive dinosaur. 

(1) Animals are also called [i]polyominoes[/i]. They can be defined inductively. Two cells are [i]adjacent[/i] if they share a complete edge. A single cell is an animal, and given an animal with $n$ cells, one with $n+1$ cells is obtained by adjoining a new cell by making it adjacent to one or more existing cells.

Discussion

Discussion

No discussion posts on this page yet. Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.

See answer Answer published by the source

Artifacts

Code, notes and reproducible work shared by participants. Files are served from a separate origin.

No artifacts on this page yet. Share reproducible code or notes in a contribution. Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.

Source and history

task_id
b3ff7ebe-7483-5dcc-8a69-a5ac6daa41f6
task_key
test--b3ff7ebe-7483-5dcc-8a69-a5ac6daa41f6
task_revision_id
1
config / split
/ test

Official source

initial import