Community

Visit the AoPS Book Store.
Login Register Memberlist Search AoPS Blogs Contests Galleries Forum Index
The time now is Tue Feb 09, 2010 9:38 am
All times are UTC - 8
View posts since last visit
View unanswered posts
ordered triples choosing
Moderators: High School Olympiad Moderators, darij grinberg, freemind, Megus, N.T.TUAN, orl, pbornsztein
Post new topic   Reply to topic View previous topicView next topic
2 Posts • Page 1 of 1
Author Message
hollandman
Poincare Conjecture
Poincare Conjecture

Offline
Joined: 16 Nov 2008
Posts: 114

To rate posts you must be logged in
#1
ordered triples choosing

Let n be a positive integer, and A be the set of all ordered triples (a,b,c) of nonnegative integers such that a+b+c=2n and a,b,c\leq n.

At most, how many triples can we choose from A such that for any two triples, the numbers in the same position are different.

PostPosted: Sun Apr 05, 2009 4:44 pm  Back to top 
  ProfilePM
JBL
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer

Online
Joined: 04 Jul 2003
Posts: 11140
Location: Brooklyn, NY or Cambridge, MA
United States

To rate posts you must be logged in
#2
This seems extremely artificial to me (why a + b + c = 2n instead of the equivalent a + b + c = n?), and yet I can't help but be drawn to it Smile. The proof is by intelligent appeal to the OEIS (one of my favorite kinds):

First, we show that 1 + \left\lfloor \frac {2n}{3} \right\rfloor is an upper bound. Suppose we have a triples meeting the desired conditions. Then the total sum of all numbers in all triples is 2an. It's also clear that this sum is at most 3(n + (n - 1) + (n - 2) + \ldots + (n - a + 1)) = 3an - \frac {3a^2}{2} + \frac {3a}{2}, and so 2an \leq a(3n - \frac {3a}{2} + \frac {3}{2}). Rearranging this equation gives a \leq \frac {2n}{3} + 1, as claimed.

Doing a few small cases leads one to believe that this is actually the true value. And looking at the OEIS entry (A004396) we see that this really is the case. In particular, this is equivalent to the first comment there by Guy:
Richard K. Guy at the OEIS wrote:
Maximal number of points on a chunk of triangular grid of edge length n with no 2 points on same line.
(To see the equivalence, replace the triple (a, b, c) with the triple (n - a, n - b, n - c) and recognize that we're now parametrizing the lattice points on the plane x + y + z = n in the first octant.) So we set about actually finding a construction. Here's one in the case n = 3m -- it shouldn't be too hard to adjust for the other cases. We take the subset B = \{B_1, \ldots, B_{2m + 1}\} \subset A with
\begin{array}{rcrcccl} B_1 & = & ( & 3m, & 2m, & m & ) \\
B_2 & = & ( & 3m - 1, & 2m ... This is everything we wanted.

PostPosted: Thu May 21, 2009 2:17 pm  Back to top 
  ProfilePMWWW
Display posts from previous:   Sort by:   
2 Posts • Page 1 of 1
Post new topic   Reply to topic View previous topicView next topic
Jump to:  

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You can download files in this forum
You cannot post calendar events in this forum


© Copyright 2008 AoPS Incorporated. All Rights Reserved. • FoundationPrivacyContact Us