Stay ahead of learning milestones! Enroll in a class over the summer!

G
Topic
First Poster
Last Poster
k a May Highlights and 2025 AoPS Online Class Information
jlacosta   0
May 1, 2025
May is an exciting month! National MATHCOUNTS is the second week of May in Washington D.C. and our Founder, Richard Rusczyk will be presenting a seminar, Preparing Strong Math Students for College and Careers, on May 11th.

Are you interested in working towards MATHCOUNTS and don’t know where to start? We have you covered! If you have taken Prealgebra, then you are ready for MATHCOUNTS/AMC 8 Basics. Already aiming for State or National MATHCOUNTS and harder AMC 8 problems? Then our MATHCOUNTS/AMC 8 Advanced course is for you.

Summer camps are starting next month at the Virtual Campus in math and language arts that are 2 - to 4 - weeks in duration. Spaces are still available - don’t miss your chance to have an enriching summer experience. There are middle and high school competition math camps as well as Math Beasts camps that review key topics coupled with fun explorations covering areas such as graph theory (Math Beasts Camp 6), cryptography (Math Beasts Camp 7-8), and topology (Math Beasts Camp 8-9)!

Be sure to mark your calendars for the following upcoming events:
[list][*]May 9th, 4:30pm PT/7:30pm ET, Casework 2: Overwhelming Evidence — A Text Adventure, a game where participants will work together to navigate the map, solve puzzles, and win! All are welcome.
[*]May 19th, 4:30pm PT/7:30pm ET, What's Next After Beast Academy?, designed for students finishing Beast Academy and ready for Prealgebra 1.
[*]May 20th, 4:00pm PT/7:00pm ET, Mathcamp 2025 Qualifying Quiz Part 1 Math Jam, Problems 1 to 4, join the Canada/USA Mathcamp staff for this exciting Math Jam, where they discuss solutions to Problems 1 to 4 of the 2025 Mathcamp Qualifying Quiz!
[*]May 21st, 4:00pm PT/7:00pm ET, Mathcamp 2025 Qualifying Quiz Part 2 Math Jam, Problems 5 and 6, Canada/USA Mathcamp staff will discuss solutions to Problems 5 and 6 of the 2025 Mathcamp Qualifying Quiz![/list]
Our full course list for upcoming classes is below:
All classes run 7:30pm-8:45pm ET/4:30pm - 5:45pm PT unless otherwise noted.

Introductory: Grades 5-10

Prealgebra 1 Self-Paced

Prealgebra 1
Tuesday, May 13 - Aug 26
Thursday, May 29 - Sep 11
Sunday, Jun 15 - Oct 12
Monday, Jun 30 - Oct 20
Wednesday, Jul 16 - Oct 29

Prealgebra 2 Self-Paced

Prealgebra 2
Wednesday, May 7 - Aug 20
Monday, Jun 2 - Sep 22
Sunday, Jun 29 - Oct 26
Friday, Jul 25 - Nov 21

Introduction to Algebra A Self-Paced

Introduction to Algebra A
Sunday, May 11 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Wednesday, May 14 - Aug 27
Friday, May 30 - Sep 26
Monday, Jun 2 - Sep 22
Sunday, Jun 15 - Oct 12
Thursday, Jun 26 - Oct 9
Tuesday, Jul 15 - Oct 28

Introduction to Counting & Probability Self-Paced

Introduction to Counting & Probability
Thursday, May 15 - Jul 31
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Wednesday, Jul 9 - Sep 24
Sunday, Jul 27 - Oct 19

Introduction to Number Theory
Friday, May 9 - Aug 1
Wednesday, May 21 - Aug 6
Monday, Jun 9 - Aug 25
Sunday, Jun 15 - Sep 14
Tuesday, Jul 15 - Sep 30

Introduction to Algebra B Self-Paced

Introduction to Algebra B
Tuesday, May 6 - Aug 19
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14

Introduction to Geometry
Sunday, May 11 - Nov 9
Tuesday, May 20 - Oct 28
Monday, Jun 16 - Dec 8
Friday, Jun 20 - Jan 9
Sunday, Jun 29 - Jan 11
Monday, Jul 14 - Jan 19

Paradoxes and Infinity
Mon, Tue, Wed, & Thurs, Jul 14 - Jul 16 (meets every day of the week!)

Intermediate: Grades 8-12

Intermediate Algebra
Sunday, Jun 1 - Nov 23
Tuesday, Jun 10 - Nov 18
Wednesday, Jun 25 - Dec 10
Sunday, Jul 13 - Jan 18
Thursday, Jul 24 - Jan 22

Intermediate Counting & Probability
Wednesday, May 21 - Sep 17
Sunday, Jun 22 - Nov 2

Intermediate Number Theory
Sunday, Jun 1 - Aug 24
Wednesday, Jun 18 - Sep 3

Precalculus
Friday, May 16 - Oct 24
Sunday, Jun 1 - Nov 9
Monday, Jun 30 - Dec 8

Advanced: Grades 9-12

Olympiad Geometry
Tuesday, Jun 10 - Aug 26

Calculus
Tuesday, May 27 - Nov 11
Wednesday, Jun 25 - Dec 17

Group Theory
Thursday, Jun 12 - Sep 11

Contest Preparation: Grades 6-12

MATHCOUNTS/AMC 8 Basics
Friday, May 23 - Aug 15
Monday, Jun 2 - Aug 18
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

MATHCOUNTS/AMC 8 Advanced
Sunday, May 11 - Aug 10
Tuesday, May 27 - Aug 12
Wednesday, Jun 11 - Aug 27
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Problem Series
Friday, May 9 - Aug 1
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Tuesday, Jun 17 - Sep 2
Sunday, Jun 22 - Sep 21 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Monday, Jun 23 - Sep 15
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Final Fives
Sunday, May 11 - Jun 8
Tuesday, May 27 - Jun 17
Monday, Jun 30 - Jul 21

AMC 12 Problem Series
Tuesday, May 27 - Aug 12
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Wednesday, Aug 6 - Oct 22

AMC 12 Final Fives
Sunday, May 18 - Jun 15

AIME Problem Series A
Thursday, May 22 - Jul 31

AIME Problem Series B
Sunday, Jun 22 - Sep 21

F=ma Problem Series
Wednesday, Jun 11 - Aug 27

WOOT Programs
Visit the pages linked for full schedule details for each of these programs!


MathWOOT Level 1
MathWOOT Level 2
ChemWOOT
CodeWOOT
PhysicsWOOT

Programming

Introduction to Programming with Python
Thursday, May 22 - Aug 7
Sunday, Jun 15 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Tuesday, Jun 17 - Sep 2
Monday, Jun 30 - Sep 22

Intermediate Programming with Python
Sunday, Jun 1 - Aug 24
Monday, Jun 30 - Sep 22

USACO Bronze Problem Series
Tuesday, May 13 - Jul 29
Sunday, Jun 22 - Sep 1

Physics

Introduction to Physics
Wednesday, May 21 - Aug 6
Sunday, Jun 15 - Sep 14
Monday, Jun 23 - Sep 15

Physics 1: Mechanics
Thursday, May 22 - Oct 30
Monday, Jun 23 - Dec 15

Relativity
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
May 1, 2025
0 replies
k i Adding contests to the Contest Collections
dcouchman   1
N Apr 5, 2023 by v_Enhance
Want to help AoPS remain a valuable Olympiad resource? Help us add contests to AoPS's Contest Collections.

Find instructions and a list of contests to add here: https://artofproblemsolving.com/community/c40244h1064480_contests_to_add
1 reply
dcouchman
Sep 9, 2019
v_Enhance
Apr 5, 2023
k i Zero tolerance
ZetaX   49
N May 4, 2019 by NoDealsHere
Source: Use your common sense! (enough is enough)
Some users don't want to learn, some other simply ignore advises.
But please follow the following guideline:


To make it short: ALWAYS USE YOUR COMMON SENSE IF POSTING!
If you don't have common sense, don't post.


More specifically:

For new threads:


a) Good, meaningful title:
The title has to say what the problem is about in best way possible.
If that title occured already, it's definitely bad. And contest names aren't good either.
That's in fact a requirement for being able to search old problems.

Examples:
Bad titles:
- "Hard"/"Medium"/"Easy" (if you find it so cool how hard/easy it is, tell it in the post and use a title that tells us the problem)
- "Number Theory" (hey guy, guess why this forum's named that way¿ and is it the only such problem on earth¿)
- "Fibonacci" (there are millions of Fibonacci problems out there, all posted and named the same...)
- "Chinese TST 2003" (does this say anything about the problem¿)
Good titles:
- "On divisors of a³+2b³+4c³-6abc"
- "Number of solutions to x²+y²=6z²"
- "Fibonacci numbers are never squares"


b) Use search function:
Before posting a "new" problem spend at least two, better five, minutes to look if this problem was posted before. If it was, don't repost it. If you have anything important to say on topic, post it in one of the older threads.
If the thread is locked cause of this, use search function.

Update (by Amir Hossein). The best way to search for two keywords in AoPS is to input
[code]+"first keyword" +"second keyword"[/code]
so that any post containing both strings "first word" and "second form".


c) Good problem statement:
Some recent really bad post was:
[quote]$lim_{n\to 1}^{+\infty}\frac{1}{n}-lnn$[/quote]
It contains no question and no answer.
If you do this, too, you are on the best way to get your thread deleted. Write everything clearly, define where your variables come from (and define the "natural" numbers if used). Additionally read your post at least twice before submitting. After you sent it, read it again and use the Edit-Button if necessary to correct errors.


For answers to already existing threads:


d) Of any interest and with content:
Don't post things that are more trivial than completely obvious. For example, if the question is to solve $x^{3}+y^{3}=z^{3}$, do not answer with "$x=y=z=0$ is a solution" only. Either you post any kind of proof or at least something unexpected (like "$x=1337, y=481, z=42$ is the smallest solution). Someone that does not see that $x=y=z=0$ is a solution of the above without your post is completely wrong here, this is an IMO-level forum.
Similar, posting "I have solved this problem" but not posting anything else is not welcome; it even looks that you just want to show off what a genius you are.

e) Well written and checked answers:
Like c) for new threads, check your solutions at least twice for mistakes. And after sending, read it again and use the Edit-Button if necessary to correct errors.



To repeat it: ALWAYS USE YOUR COMMON SENSE IF POSTING!


Everything definitely out of range of common sense will be locked or deleted (exept for new users having less than about 42 posts, they are newbies and need/get some time to learn).

The above rules will be applied from next monday (5. march of 2007).
Feel free to discuss on this here.
49 replies
ZetaX
Feb 27, 2007
NoDealsHere
May 4, 2019
Geometry with altitudes and the nine point centre
Adywastaken   4
N 5 minutes ago by Miquel-point
Source: KoMaL B5333
The foot of the altitude from vertex $A$ of acute triangle $ABC$ is $T_A$. The ray drawn from $A$ through the circumcenter $O$ intersects $BC$ at $R_A$. Let the midpoint of $AR_A$ be $F_A$. Define $T_B$, $R_B$, $F_B$, $T_C$, $R_C$, $F_C$ similarly. Prove that $T_AF_A$, $T_BF_B$, $T_CF_C$ are concurrent.
4 replies
Adywastaken
May 14, 2025
Miquel-point
5 minutes ago
Find all p(x) such that p(p) is a power of 2
truongphatt2668   4
N 13 minutes ago by Laan
Source: ???
Find all polynomial $P(x) \in \mathbb{R}[x]$ such that:
$$P(p_i) = 2^{a_i}$$with $p_i$ is an $i$ th prime and $a_i$ is an arbitrary positive integer.
4 replies
truongphatt2668
Yesterday at 1:05 PM
Laan
13 minutes ago
Easy combinatorics
GreekIdiot   0
21 minutes ago
Source: own, inspired by another problem
You are given a $5 \times 5$ grid with each cell colored with an integer from $0$ to $15$. Two players take turns. On a turn, a player may increase any one cell’s value by a power of 2 (i.e., add 1, 2, 4, or 8 mod 16). The first player wins if, after their move, the sum of each row and the sum of each column is congruent to 0 modulo 16. Prove whether or not Player 1 has a forced win strategy from any starting configuration.
0 replies
GreekIdiot
21 minutes ago
0 replies
Concurrency in Parallelogram
amuthup   91
N 28 minutes ago by Rayvhs
Source: 2021 ISL G1
Let $ABCD$ be a parallelogram with $AC=BC.$ A point $P$ is chosen on the extension of ray $AB$ past $B.$ The circumcircle of $ACD$ meets the segment $PD$ again at $Q.$ The circumcircle of triangle $APQ$ meets the segment $PC$ at $R.$ Prove that lines $CD,AQ,BR$ are concurrent.
91 replies
amuthup
Jul 12, 2022
Rayvhs
28 minutes ago
concyclic wanted, diameter related
parmenides51   3
N 43 minutes ago by Giant_PT
Source: China Northern MO 2023 p1 CNMO
As shown in the figure, $AB$ is the diameter of circle $\odot O$, and chords $AC$ and $BD$ intersect at point $E$, $EF\perp AB$ intersects at point $F$, and $FC$ intersects $BD$ at point $G$. Point $M$ lies on $AB$ such that $MD=MG$ . Prove that points $F$, $M$, $D$, $G$ lies on a circle.
IMAGE
3 replies
parmenides51
May 5, 2024
Giant_PT
43 minutes ago
Concurrency
Omid Hatami   14
N an hour ago by Ilikeminecraft
Source: Iran TST 2008
Suppose that $ I$ is incenter of triangle $ ABC$ and $ l'$ is a line tangent to the incircle. Let $ l$ be another line such that intersects $ AB,AC,BC$ respectively at $ C',B',A'$. We draw a tangent from $ A'$ to the incircle other than $ BC$, and this line intersects with $ l'$ at $ A_1$. $ B_1,C_1$ are similarly defined. Prove that $ AA_1,BB_1,CC_1$ are concurrent.
14 replies
Omid Hatami
May 20, 2008
Ilikeminecraft
an hour ago
<ACB=90^o if AD = BD , <ACD = 3 <BAC, AM=//MD, CM//AB,
parmenides51   2
N an hour ago by AylyGayypow009
Source: 2021 JBMO TST Bosnia and Herzegovina P3
In the convex quadrilateral $ABCD$, $AD = BD$ and $\angle ACD  = 3 \angle BAC$. Let $M$ be the midpoint of side $AD$. If the lines $CM$ and $AB$ are parallel, prove that the angle $\angle  ACB$ is right.
2 replies
parmenides51
Oct 7, 2022
AylyGayypow009
an hour ago
Good Permutations in Modulo n
swynca   9
N an hour ago by optimusprime154
Source: BMO 2025 P1
An integer $n > 1$ is called $\emph{good}$ if there exists a permutation $a_1, a_2, a_3, \dots, a_n$ of the numbers $1, 2, 3, \dots, n$, such that:
$(i)$ $a_i$ and $a_{i+1}$ have different parities for every $1 \leq i \leq n-1$;
$(ii)$ the sum $a_1 + a_2 + \cdots + a_k$ is a quadratic residue modulo $n$ for every $1 \leq k \leq n$.
Prove that there exist infinitely many good numbers, as well as infinitely many positive integers which are not good.
9 replies
swynca
Apr 27, 2025
optimusprime154
an hour ago
Grid combo with tilings
a_507_bc   7
N an hour ago by john0512
Source: All-Russian MO 2023 Final stage 10.6
A square grid $100 \times 100$ is tiled in two ways - only with dominoes and only with squares $2 \times 2$. What is the least number of dominoes that are entirely inside some square $2 \times 2$?
7 replies
a_507_bc
Apr 23, 2023
john0512
an hour ago
sqrt(2)<=|1+z|+|1+z^2|<=4
SuiePaprude   3
N an hour ago by alpha31415
let z be a complex number with |z|=1 show that sqrt2 <=|1+z|+|1+z^2|<=4
3 replies
SuiePaprude
Jan 23, 2025
alpha31415
an hour ago
Simple but hard
Lukariman   5
N an hour ago by Giant_PT
Given triangle ABC. Outside the triangle, construct rectangles ACDE and BCFG with equal areas. Let M be the midpoint of DF. Prove that CM passes through the center of the circle circumscribing triangle ABC.
5 replies
Lukariman
Today at 2:47 AM
Giant_PT
an hour ago
inequalities
Ducksohappi   0
an hour ago
let a,b,c be non-negative numbers such that ab+bc+ca>0. Prove:
$ \sum_{cyc} \frac{b+c}{2a^2+bc}\ge \frac{6}{a+b+c}$
P/s: I have analysed:$ S_a=\frac{b^2+c^2+3bc-ab-ac}{(2b^2+ac)(2c^2+2ab)}$, similarly to $S_b, S_c$, by SOS
0 replies
Ducksohappi
an hour ago
0 replies
bulgarian concurrency, parallelograms and midpoints related
parmenides51   7
N an hour ago by Ilikeminecraft
Source: Bulgaria NMO 2015 p5
In a triangle $\triangle ABC$ points $L, P$ and $Q$ lie on the segments $AB, AC$ and $BC$, respectively, and are such that $PCQL$ is a parallelogram. The circle with center the midpoint $M$ of the segment $AB$ and radius $CM$ and the circle of diameter $CL$ intersect for the second time at the point $T$. Prove that the lines $AQ, BP$ and $LT$ intersect in a point.
7 replies
parmenides51
May 28, 2019
Ilikeminecraft
an hour ago
Interesting inequalities
sqing   3
N an hour ago by sqing
Source: Own
Let $a,b,c \geq 0 $ and $ab+bc+ca- abc =3.$ Show that
$$a+k(b+c)\geq 2\sqrt{3 k}$$Where $ k\geq 1. $
Let $a,b,c \geq 0 $ and $2(ab+bc+ca)- abc =31.$ Show that
$$a+k(b+c)\geq \sqrt{62k}$$Where $ k\geq 1. $
3 replies
sqing
Today at 4:34 AM
sqing
an hour ago
primitive polyominoes
N.T.TUAN   29
N May 7, 2025 by Disjunction
Source: USAMO 2007
An animal with $n$ cells is a connected figure consisting of $n$ equal-sized cells[1].

A dinosaur is an animal with at least $2007$ cells. It is said to be primitive 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 polyominoes. They can be defined inductively. Two cells are adjacent 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.
29 replies
N.T.TUAN
Apr 26, 2007
Disjunction
May 7, 2025
primitive polyominoes
G H J
Source: USAMO 2007
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
N.T.TUAN
3595 posts
#1 • 6 Y
Y by Adventure10, Mango247, PikaPika999, and 3 other users
An animal with $n$ cells is a connected figure consisting of $n$ equal-sized cells[1].

A dinosaur is an animal with at least $2007$ cells. It is said to be primitive 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 polyominoes. They can be defined inductively. Two cells are adjacent 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.
This post has been edited 1 time. Last edited by phxu, Mar 27, 2016, 8:39 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
t0rajir0u
12167 posts
#2 • 6 Y
Y by Adventure10, Mango247, dragon888, MS_asdfgzxcvb, PikaPika999, and 1 other user
A primitive $n$-saur can have at most $4n-3$ cells.

Consider a cross formation consisting of a center cell and four extensions of length $n-1$. Of any partitioning of this animal, one partition contains the center cell. The other partitions can have length at most $n-1$, so this animal is $n$-primitive.

Pick an $n$-subanimal out of a primitive $n$-saur that minimizes the number of animals into which the other cells are divided, and consider the remaining cells. If there are more than $3(n-1)$ of them, and they divide themselves into $3$ or less animals, one of them must have at least $n$ cells, contradiction. If they divide themselves into $4$ or more animals, these animals must be attached to the $n$-subanimal at at least two distinct cells (since a cell can only have three free edges for $n > 1$), so it is possible to create another $n$-subanimal by combining one of the other animals with it and removing some cells around the location where the others are attached. This produces an $n$-subanimal such that the other cells are divided into less animals; contradiction.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
epitomy01
240 posts
#3 • 2 Y
Y by Adventure10, Mango247
Another solution (I hope it is correct):
The construction is same.
Now say we have a primitive animal with $ 4n-2$ cells, that cannot be divided into two animals, each with at least $ n$ cells.
Going downwards from the top of animal, we can divide the animal into rows. Suppose the animal has $ k$ rows, and the $ i$-th row has $ a_{i}$ cells.
If $ n \leq a_{1} + ... + a_{i} \leq 3n-2$ for some value of $ i$, cutting horizontally between the $ i$-th and $ i+1$-th rows would give two animals, each with at least $ n$ cells. Contradiction.
Thus $ a_{1} + ... + a_{i} \leq n-1$, or $ a_{1} + ... + a_{i} \geq 3n-1$. From this, clearly we have for some value of $ i$ that: $ a_{1} + ... + a_{i-1} \leq n-1$ and $ a_{1} + ... + a_{i} \geq 3n-1$, so $ a_{i} \geq 2n$ for some $ i$.
Now consider the $ i$-th row. Since it has at least $ 2n$ cells, divide the animal vertically in the middle of this string of horizontal cells. Now we have two animals, each with at least $ n$ cells. Contradiction.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MellowMelon
5850 posts
#4 • 9 Y
Y by Adventure10, sixoneeight, mathleticguyyy, Spectator, vsamc, dragon888, Scilyse, OronSH, ihatemath123
epitomy, do I misunderstand your solution, or is this shape a counterexample to your argument?

X _ X X X
X _ X _ _
X X X X X
_ _ X _ X
X X X _ X


One of your claims was that splitting between the $ i$th and $ i+1$th row splits the animal into to two new ones, right? Here, splitting the animal between the 1st and 2nd rows creates three new animals, not two.

Your argument was basically my solution, except that you have to do more than just use rows. I couldn't get it to work without turning the animal into a graph, and then into a tree.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
t0rajir0u
12167 posts
#5 • 1 Y
Y by Adventure10
Graph theory was apparently the most natural way to approach this. In particular, I believe a nice solution I read considered a minimal spanning tree (which appears to be essentially what I did in my solution).
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
epitomy01
240 posts
#6 • 1 Y
Y by Adventure10
Quote:
One of your claims was that splitting between the ith and i+1th row splits the animal into to two new ones, right? Here, splitting the animal between the 1st and 2nd rows creates three new animals, not two.
Yes, sorry that is a flaw in my proof.
Could you post your proof using graph theory? I don't understand how to fix my proof.
Also, what is a spanning tree?
This post has been edited 1 time. Last edited by epitomy01, Dec 6, 2007, 5:04 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MellowMelon
5850 posts
#7 • 2 Y
Y by Adventure10, Mango247
Here's a sketch of my proof. We don't get our individual problem scores back, but I estimate based on my total score and my solution quality for each problem that this was scored as a $ 6/7$.

Turn the animal into a graph, then into a tree. Prove or state as well-known that there is a vertex with degree 1, and start there. Mark that vertex 1. Now go along vertices, increasing the number by 1 each time (so 1,2,3...), until you reach a vertex with more than degree 2. Go towards the vertex that is joined to more vertices; i.e. the subgraph created by splitting it off from the vertex you're at now is of the greatest size. For this vertex, count up all of the vertices on the other paths you did not take, and in addition to adding 1, also add the total you just computed.

You can prove that if you ever write down a number in between $ 2008$ and $ n - 2007$ (where $ n$ is the size of the animal), there is a way to partition the animal into two dinosaurs. (I believe I lost my point from not stating this proof) Then by using the fact that the maximum degree of any vertex is 4, you can prove that a number in this interval must be assumed if $ n > 8025$, and you're done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
JBL
16123 posts
#8 • 2 Y
Y by Adventure10, Mango247
epitomy01 wrote:
Also, what is a spanning tree?

Search engines are your friend. Any connected graph $ G$ contains a spanning tree $ T$, a tree such that $ V(T) = V(G)$ and $ E(T) \subset E(G)$. ($ V$ = the set of vertices of, $ E$ = the set of edges of.)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SkinnySanta
215 posts
#9 • 5 Y
Y by arandomperson123, Adventure10, Mango247, panche, and 1 other user
Solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
junioragd
314 posts
#10 • 2 Y
Y by Adventure10, Mango247
The answer is 4*n-3.Now,for example,pick an animal with center cell and n-1 cells from each direction.Now,lets prove we can partitate 4*n-2.We do this by simple induction on n.For n=1,2 is obvious.Now,we pick a subanimal with 4*n-6 cells(it is obvious we can do this) and from the inductive hypothesis we have that this can be partioned in two subanimals with n-1 cells or more.Now,if both of them have more than n-1,we are done,so we suppose they don't.Now,we add 4 cells.Now,if some of them touches an animal with n-1,we are finished,so suppose not.Now,the subanimal must be adjacent to the bigger subanimal at least at one cell,so if we pick that cell,it can partitate the bigger subanimal into at most 3 parts an the bigger subanimal now has 3*n-2 cells(cause the 4 we added must form a subanimal with it by assumption),so there exist one with n cells and the rest is a one subanimal,so we are done
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
efang
593 posts
#11 • 1 Y
Y by Adventure10
Optimal construction is shown above

To show that $4n-2$ doesn't work, put the n-saur onto the coordinate plane and place all the cells as integer coordinates and draw edges between adjacent cells. In this case, a connected graph is a partition and if 2 disjoint subgraphs would represent 2 different partitions.

We say 2 cells are connected if there is a path between them that doesn't go through the origin. Consider the set of cells which are connected to $\{(-1,0), (1,0), (0,1), (0,-1)\}$ (It is possible that a cell is connected to more than one of these, and it is also possible that one of the cells in this set is not actually on the n-saur and thus its connected set has size 0).

By the pigeonhole principle, one of these sets has $n-1$ points. WLOG let that set be the connected points of $(1,0)$. The connected set of $(1,0)$ and the point $(1,0)$ create an n-saur with at least $n$ points. This is because there exists some path from (1,0) to every point in this set and thus every point in this set can get to any other point in this set by going through (1,0), thus creating a connected graph/partition

The rest of the points not in the connected set of $(1,0)$ form a partition because they could not have been adjacent to a point in the connected set of $(1,0)$ or else they would be in that set.

If there are less than $n$ points remaining, then we employ the greedy algorithm on the connected set of $(1,0)$. First, we choose $(1,0)$. And then we choose all points adjacent to $(1,0)$ and then all points adjacent to those adjacent points et cetera until we get another $n$-saur.
This post has been edited 1 time. Last edited by efang, Dec 29, 2016, 9:11 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MathPanda1
1135 posts
#12 • 2 Y
Y by Adventure10, Mango247
Is this solution correct?
We show that $4n-2$ does not work.
Mark one random square with at most three neighbors. Consider the following process:
1. Consider the last marked square. There are at most three "new" neighbours (other than the one already considered previously), so the unmarked squares can be categorized into three different connected "routes." Since there are at most $n$ marked squares currently ($(n-1)+1$), there are $3n-2$ squares yet to be marked, so one of the routes will have at least $n$ squares. Mark all of the squares that are not in that route. Thus, after this, there are always exactly two connected pieces and the unmarked one is a dinosaur.
2. If there are at least $n$ marked squares now, we are done since the marked square figure is connected and the unmarked figure is connected and a dinosaur
3. Mark the square in the unmarked route adjacent to the square we just processed
This post has been edited 1 time. Last edited by MathPanda1, Mar 6, 2017, 5:08 PM
Reason: Fixed solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MathPanda1
1135 posts
#13 • 2 Y
Y by Adventure10, Mango247
Does anyone know if my solution is correct? At first, I had another solution, but found an error, so I am wondering if there is still an error that I overlooked. Thank you so much for all your help! All advice is much appreciated :)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
trumpeter
3332 posts
#14 • 1 Y
Y by Adventure10
Solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
rocketscience
466 posts
#15 • 3 Y
Y by guptaamitu1, Adventure10, signifance
Let $k=2007$. The answer is $4k-3$. The construction is to take a central cell and append four rods, each consisting of $k-1$ cells, to the four sides of the central cell.

Now we show that all dinosaurs with $V \ge 4k-2$ cells are not primitive. Transfer the problem to graph theory terms: form a spanning tree $T$ to represent the dinosaur, where cells are vertices and shared sides are edges. We wish to bipartition $T$ by removing an edge such that both resulting subtrees have at least $k$ vertices.

Let $v \in T$ be any vertex. Consider any neighbor $w$ of $v$, and define $S_{v, w}$ as the largest subtree containing $w$ but not $v$; we say $S_{v, w}$ is a branch emanating from $v$. We say $S_{v, w}$ is small if it has fewer than $k$ vertices, large if it has greater than $V-k$ vertices, and medium otherwise. Our goal is to find a $v$ with a neighbor $w$ such that $S_{v, w}$ is medium, since we can then take the bipartition $\{S_{v, w}, T \setminus S_{v, w}\}$.

Let us start by picking any $v \in T$. If $v$ has a medium branch, we are done, so assume otherwise. As $1 \le \deg v \le 4$, not all of $v$'s branches can be small, since that would imply that $|T| \le 4(k-1) + 1 < V$. Also note that $v$ cannot have two or more large branches; hence, $v$ has exactly one large branch. This observation is the basis for our algorithm:
  • Let $w$ be the neighbor of $v$ such that $S_{v,w}$ is large. Then, $w$ has a branch $S_{w,v}$ consisting of $v$ appended to all of $v$'s small branches, meaning $S_{w,v}$ has at least $1$ more vertex than the largest small branch of $v$. Also note that $S_{w,v}$ has at most $3(k-1) + 1 = 3k-2 \le V-k$ vertices. Thus, $S_{w,v}$ is either medium or small.
  • If $S_{w,v}$ is medium, we're done. If $S_{w,v}$ is small, forget $v$ and consider $w$ instead. Repeat these two steps with $w$ playing the role of $v$.
In this manner, we move from vertex to vertex until we find a medium branch for the first time. At every step of the way, the size of the largest small branch of our vertex in consideration increases by at least $1$, and that branch never overshoots $V-k$ vertices, so this algorithm must terminate when we find a medium branch.
This post has been edited 1 time. Last edited by rocketscience, Jan 6, 2020, 7:15 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
stroller
894 posts
#16
Y by
Hmm, how do we know each "cell" has exactly 4 edges with the current wording? :read:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
WAit_Mng
67 posts
#17
Y by
stroller wrote:
Hmm, how do we know each "cell" has exactly 4 edges with the current wording? :read:

A cell is a unit square if I understood it correctly, so the maximum degree of the vertices is 4.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jeteagle
480 posts
#18 • 1 Y
Y by kevinmathz
Define a thing as an animal that is not a dinosaur.
Define an animal with size n if it consists of n equal-sized cells.

We will prove the broader case of when n is the size of a dinosaur, the answer is $4n-3.$

Construction: cross of tiles. very ez to prove

Proving the maximum: We will prove by contradiction. Let’s say for some $n>\ge 2$ ($n = 1$ is obvious) there is an arrangement of at least $4n-2$ cells such that it cannot be partitioned into $2$ primitive dinosaurs. Let the maximum number of cells be $m$. It is obvious that we can have at least $1$ dinosaur in these $4n-2$ cells.

Consider a dinosaur such that when removed, it creates the biggest thing. We can assume the dinosaur has size $n$ to maximize the size of the animal. If this biggest thing has size $x$ where $x < n-1$, we, then we can add cells to this thing to increase its size to $n-1$, and we would have created an animal with more than m cells. To prove this won’t make an animal that can be partitioned into two dinosaurs, if we can, then we see that this added cell must have been added to one of these dinosaurs, which means before we added it, it had a size of $n-1$, which is greater than $x$, a contradiction (we assumed $x$ to be the biggest thing that could be created). Therefore, this thing must have size $n-1.$

We now see that we are left with at least $2n-1$ cells that aren’t included in the dinosaur or this thing. We can just assume it is $2n-1$ for now since we are proving with contradiction. If we remove the dinosaur again temporarily, we see that these $2n-1$ cells are all distributed among things. If one of these things were a dinosaur, then we would have a contradiction. Therefore, if these $2n-1$ cells are distributed among $2$ things, then by the Pigeonhole Principle, we would have an animal with at least $n$ cells, making it a dinosaur.

Define a used cell as a cell that is part of the dinosaur, call it dinosaur $1$, that is adjacent to this $n-1$ sized thing.

This means we must have these $2n-1$ cells distributed among $3$ things. Now consider a used cell. If we remove this cell from the dinosaur and add it to the $n-1$ sized thing. The $n-1$ sized thing is now a dinosaur, and the dinosaur is now a thing. However, dinosaur $1$ was connected to at least $3$ things, each with size at least $1.$ This means when we remove this cell, we can also remove a cell that is part of one of these things that is adjacent to one of the dinosaur’s cells, which means this will for $2$ dinosaurs, a contradiction.

However, to prevent this, if we remove this cell from dinosaur $1,$ it could also be connected to other things too, not only the $n-1$ sized thing. This means for dinosaur $1$ to not be able to “steal” one of the things cells, the things must be connected to the dinosaur at this cell and only this cell. However, each cell only has $4$ sides. One of the sides is already connected to one of the sides of the dinosaur. Another side is also connected to the $n-1$ sized thing. Therefore, there are only $2$ sides left with at least $3$ things to be adjacent to. By the Pigeonhole Principle, one of the things will not be connected to dinosaur $1$ at this cell, a contradiction.

Therefore, we cannot have a $4n-2$ celled animal, as all of them will be able to be partitioned into $2$ dinosaurs. This means $4n-3$ is the answer.


Very messy drawing:
Attachments:
This post has been edited 1 time. Last edited by jeteagle, Nov 6, 2020, 12:02 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
IAmTheHazard
5001 posts
#20 • 1 Y
Y by centslordm
Devilish for amo 1/4 but pretty cool

Replace $2007$ with $n$; the answer is $4n-3$. As a construction, consider a cross with a center cell and four "arms" each $n-1$ long. If this animal is partitioned, the partition containing the center cell has at least $3n-2$ cells, so the other partitions have length at most $n-1$. As such this animal is primitive.
Now it suffices to show that no $4n-2$-cell dinosaur is primitive. Suppose otherwise, and consider a "semi-maximal path" $P=c_1,\ldots,c_k$ along the cells of the dinosaur $D$that is, a path that cannot be made longer by "naively" adding cells to its start or end. Upon removing this path from $D$ there should remain some number (possibly zero) of connected components. For each of these components, let its "anchor" be one of its cells that is adjacent to $P$ (pick arbitrarily).
Define a sequence of animals $a_0,\ldots,a_k \subseteq D$, starting with $a_0=\emptyset$. To construct the rest, "walk" from $c_1$ to $c_k$, and upon entering a cell $c_i$ set $a_i$ equal to the union of $a_{i-1},c_i$, and whatever connected components are anchored to $c_i$. Note that $a_k=D$ and
$$0=|a_0|<|a_1|<\cdots<|a_{k-1}|<|a_k|=|D|=4n-2.$$Further, as $P$ is "semi-maximal" we actually have $|a_1|=1$ and $|a_{k-1}|=4n-3$.
Now, it is clear that for all $i$, we can partition $D$ into the two possibly empty animals $a_i$ and $D \setminus a_i$that is, both of these are connected figures. Because we can't have both of these be dinosaurs by assumption, there must exist some $2 \leq i \leq n-1$ with
$$|a_{i-1}|\leq n-1 \text{ and } |a_i|\geq (4n-2)-(n-1)=3n-1.$$Note that $i=1$ and $i=n$ fail because of their known values.
By definition, this means that the connected components anchored to $c_i$ must have total size at least $(3n-1)-(n-1)-1=2n-1$. On the other hand, there are only two possible edges to which a connected component could possibly be anchored to $c_i$, as the other two are "occupied" by $c_{i-1}$ and $c_{i+1}$. It then follows that there are at most two connected components anchored to $c_i$, and therefore one of them must contain at least $n$ cells. Let this connected component be $C$; then $D \setminus C$ is an animal, being connected "through" $P$, which also contains $3n-2\geq n$ cells, so we can partition $D$ into the dinosaurs $C$ and $D \setminus C$, contradiction. As such, $D$ cannot exist, so every $4n-2$-cell dinosaur is non-primitive. $\blacksquare$
This post has been edited 2 times. Last edited by IAmTheHazard, Feb 11, 2022, 2:27 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Number1048576
91 posts
#21
Y by
Please could someone check this as it feels too short.
solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
th1nq3r
146 posts
#22
Y by
The following lemma kills the problem. Construct the tree with a base vertex of degree $4$ and with four length $2007$ paths.

Lemma: There is some vertex $v$ so that $G - v$ does not leave behind any dinosaurs.

Proof: Assume that for every vertex $v \in V(G)$, $G - v$ leaves behind dinosaurs. Then we have that if we consider the base of this tree, then we have at most four components for which aren't dinosaurs. A contradiction. $\square$

Hence we have the four components give us $4(n - 1)$ vertices and adding back the base of the tree gives us $4(n - 1) + 1$ total vertices. $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
cj13609517288
1922 posts
#23
Y by
Let $n=2007$. The answer is $4n-3$, achieved by a "+" shape where there are $n-1$ cells sticking out of the middle in all four directions. We will now prove that $4n-2$ doesn't work, so assume FTSOC that there is a primitive dinosaur of size $4n-2$.

View an animal as a graph where the cells are the nodes and the edges are whether the two cells are orthogonally connected. Note that each node has degree at most $4$. Now arbitrarily remove edges until the graph is a tree. Clearly, any solution on the tree must work on the original graph.

Now consider any leaf node in the tree, say $A$. Consider the longest path starting from $A$ in the tree(if there are multiple, choose any), and say it ends at $B$, which must be a leaf node. Let this path have length $k$, and let the path be $AP_1P_2\dots P_{k-1}B$. Define $P_0=A$ and $P_k=B$. Now let $f(x)$ be the number of nodes dangling off the path not including $P_x$(the ones that would be not connected to something in the path if $P_x$ were removed from the tree and all of its edges were removed), plus one(for $P_x$), at $P_x$. Also, define
\[g(x)=f(0)+f(1)+\dots+f(x).\]
Now consider the least $m$ such that $g(m)\ge n$. If $g(m)\le 3n-2$ we already have a contradiction by deleting the edge between $P_m$ and $P_{m+1}$, so we must have $g(m)\ge 3n-1$. But $g(m-1)\le n-1$ by definition, so
\[2n=(3n-1)-(n-1)\le g(m)-g(m-1)=f(m).\]Therefore, by pigeonhole, there must be some tree dangling off of $P_m$ that has size at least $n$, contradiction.
This post has been edited 2 times. Last edited by cj13609517288, May 1, 2023, 1:23 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
thdnder
198 posts
#24
Y by
Let $n = 2007$.

The answer is $4n - 3$. The construction is same as above.

Now we'll prove that the primitive dinosaur has at most $4n - 3$ edges. Let $G$ be a our primitive dinosaur and let $v$ be a cell in $G$. Let $v_{1}, \dots, v_{k}$ be neighbors of $v$. Define a vertex $u$ is $i$-good if there exist path $v$ to $u$ passing through vertex $v_{i}$. Let $A_{i}$ be a set of $i$-good vertices. For some $i$, if $|A_{i}| \geq n$, then $A_{i}$ is dinosaur and the rest of cells form a dinosaur, a contradiction. So the number of cell in $G$ not exceeds $1 + \sum_{i=1}^{k}|A_{k}| \leq 1 + 4(n - 1) = 4n - 3$. This completes proof. $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
cursed_tangent1434
635 posts
#25
Y by
We solve the more general case. An animal with at least $k$ cells is known as a k-nimal. Now, we claim that the maximum number of cells in a primitive $k-$nimal is $4k-3$.

Consider a $k-$nimal with its cells in the shape of its cross with $k-1$ cells in each of the arms. This gives a total of $4k-3$ cells, and any set of $k$ cells in this configuration must pass through the center square implying that only one such set of cells exists (For any animal with less than $4k-3$ cells simply remove an adequate number of cells of the arms).

Now, look at this animal with $n$ cells as a simple connected graph $G$, where each vertex represents a cell and each edge between two vertices represents two cells being adjacent. Then, we know there exists a spanning tree $T$ of this graph. Then, we have the following (kinda) well known result.

Claim : Let $T$ be a tree and $v$ be any vertex of $T$. Let $v_1,v_2,\dots,v_m$ be the vertices adjacent to $v$. Let $T_i$ be the tree which contains $v_i$ which is obtain upon deleting the edge $vv_i$.Then, let $f(v)=\max_{i=1}^m|V(T_i)|$. Let $\Delta>1$ be the maximum degree among all vertices of $T$. Then, there exists a vertex $v$ such that
\[\frac{n-1}{\Delta} \leq f(v) \leq \frac{(\Delta -1)(n-1)}{\Delta} \]
Proof : Let $d$ be the degree of some vertex. The left inequality clearly follows from Pigeonhole Principle as,
\[f(v) \geq \frac{n-1}{d} \geq \frac{n-1}{\Delta}\]Now, to see why the right inequality must be true, consider the vertex $v$ such that $f(v)$ is minimum. Suppose $f(v) \geq \frac{(\Delta-1)(n-1)}{\Delta}+1$. Let $v_i$ be the neighbour of $v$ with $|T_i| \geq \frac{(\Delta-1)(n-1)}{\Delta}+1$. Then, clearly the tree containing $v$ after removing $v_iv$ contains at most $n - \frac{(\Delta -1)(n-1)}{\Delta}-1 = \frac{n-1}{\Delta}$. Now, if the tree $T_j$ which attains the maximum of $f(v_i)$ contains $v$, then $f(v_i) \leq \frac{n-1}{\Delta} \leq \frac{(\Delta -1)(n-1)}{\Delta}$ (with equality holding if and only if $\Delta=2$ in which case the result is obvious anyways). Thus, this violates the minimality of $f(v)$. If $T_j$ does not contain $v$ on the other, hand $f(v_i)=f(v)-1<f(v)$ again violating the minimality. Thus, our assumption must have been false and indeed, the required inequality holds.

Now, note that if the given inequality is true, the spanning tree $T$ of our graph contains two vertices $v,v_i$ such that when we delete edge $vv_i$ we have two trees such that the larger of them, has length at least $\frac{n-1}{\Delta}$ and the smaller has length at least $n-\frac{(\Delta -1)(n-1)}{\Delta} = \frac{n-1}{\Delta}$. Thus, $T$ and indeed $G$ contain two vertex-disjoint connected subgraphs containing at least $\lceil{\frac{n-1}{\Delta}}\rceil$. Thus, for all $n\geq 4k-2$, we have two vertex-disjoin connected subgraphs such that each has at least
\[\lceil{\frac{n-1}{\Delta}}\rceil \geq \lceil{\frac{4k-2-1}{4}}\rceil \geq k\]thus implying that it includes two $k-$nimals. Thus, such an animal cannot be primitive and we are done.
This post has been edited 2 times. Last edited by cursed_tangent1434, Dec 23, 2023, 12:18 PM
Reason: latex issues
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Blast_S1
358 posts
#26
Y by
Answer is $8025$, which is attained with a $+$ shape with one central square and $2006$ squares in each branch.

To show that $n \ge 8026$ is bad, we apply the spanning tree reduction stuff. Take an edge $uv$ that minimizes the difference between the number of vertices in the two components induced by its removal. If one of the components, without loss of generality say the one containing $u$, has at most $k \le 2006$ vertices, then we can find another edge incident to $v$ such that its removal from the original tree induces a component with between $k + 1$ and $n - k - 1$ edges, and blah blah blah minimality wrong done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ihatemath123
3447 posts
#28
Y by
Replacing $k$ with $2007$, the answer is $4k-3 = 8025$, obtained by gluing four $2006 \times 1$ rectangles onto the edge of a unit square.

Suppose we have an animal with $4k-2$ cells – we will partition this animal into two dinosaurs. Color one cell of the animal black, and the rest of the cells white. Each second, we find a white square adjacent to a black square, and color the white square black. If the white squares still form an animal, we continue, but our main concern is if they don't: by coloring this one square black, the white squares may be split into up to three animals. If, at the moment, $x \leq k$ squares are colored black, then $4k-2-x$ squares are colored white, so one of the two/three white animals has an area of at least
\[\left \lceil \frac{4k-2-x}{3} \right \rceil \geq \left \lceil \frac{3k-2}{3} \right \rceil = k.\]Keep this animal white, and shade everything else black. This process can be repeated until at least $k$ squares are colored black.
This post has been edited 2 times. Last edited by ihatemath123, Aug 30, 2024, 12:32 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Mathandski
759 posts
#29
Y by
Subjective Rating (MOHs)
Please contact westskigamer@gmail.com if there is an error with my solution for cash bounties by 3/18/2025.

"We show that, even with these cuts forcibly made, we can still decompose the animal into dinosaurs."

Solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
aidan0626
1915 posts
#30
Y by
epitomy, do I misunderstand your solution, or is this shape a counterexample to your argument?

X _ X X X
X _ X _ _
X X X X X
_ _ X _ X
X X X _ X

very interesting counterexample
This post has been edited 1 time. Last edited by aidan0626, Mar 12, 2025, 3:56 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
quantam13
113 posts
#31
Y by
The answer is $4(n-1)+1$ where we replace $2007$ by $n$.

The conclusion will in fact hold in any graph where each vertex had degree at most $4$. Consider a primitive dinosaur's graph $G$ and consider its spanning tree $T$.

Claim: There is some vertex $v\in T$ such that $T\setminus v$ leaves behind no dinosaurs
Proof of claim: This is not so hard to see, we assume that its false, consider the results of the removal of two neighbouring vertices removal and we do some casework to get a contradiction by using the acyclicity of $T$. $\square$

Now to finish with the bound, consider the vertex whose removal leaves behind no dinosaurs. In the $4$ remaining connected components, there must be atmost $n-1$ vertices, so we get that there can be atmost $4(n-1)+1$ vertices, as desired.

But the equality case is direct from the proof of bound. Just consider the case when there is a central vertex and $4$ non touching branches extending from it, each with length $n-1$. This works since each dinosaur in this graph must pass through the central vertex so there cant be 2 that partition the graph. The proof of bound also shows that all such primitive dinosaurs are of this form. End of story. $\blacksquare$
This post has been edited 1 time. Last edited by quantam13, Mar 20, 2025, 4:26 AM
Reason: line breaks
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Disjunction
120 posts
#32
Y by
aidan0626 wrote:
epitomy, do I misunderstand your solution, or is this shape a counterexample to your argument?

X _ X X X
X _ X _ _
X X X X X
_ _ X _ X
X X X _ X

very interesting counterexample

indeed
Z K Y
N Quick Reply
G
H
=
a