Pigeonhole Principle and Sequences

Click For Summary

Homework Help Overview

The problem involves two sequences of integers, each of length n, where the integers are constrained between 1 and n. The goal is to demonstrate that there exist subsequences from each sequence that have equal sums. The original poster provides an example to illustrate the requirement.

Discussion Character

  • Exploratory, Assumption checking

Approaches and Questions Raised

  • The original poster discusses the total number of subsequences and their potential sums, questioning how to ensure that the subsequences come from different sequences. They also explore the idea of defining cumulative sums for the sequences and consider the implications of distinct sums.

Discussion Status

Participants are actively engaging with the problem, with some expressing confusion and seeking clarification on whether subsequences must be consecutive. The original poster is exploring various approaches but has not reached a definitive conclusion.

Contextual Notes

There is a lack of clarity regarding the requirement for subsequences to be consecutive, which is confirmed by one participant. The original poster's reasoning involves assumptions about the sums of subsequences and their distributions.

Nets
Messages
2
Reaction score
0
Hi guys.

Homework Statement



Given any two sequences of integers of length n, \left{\{a_k\right\}_{k=1}^n,\left{\{b_k\right\}_{k=1}^n,, where 1\le a_k,b_k\le n for all 1\le k\le n, show that there are subsequences of a_k,b_k such that the sum of the elements in each subsequence is equal, i.e.:

If a = 1,6,...,3,2,3,... and b = 3,5,...,2,.., then the subsequence {3,2,3} and {3,5} of a and b would fit the requirements.

Homework Equations



N/A

The Attempt at a Solution



I am completely stuck. So far the best I have is that there are \frac{1}{2}n(n+1) many consecutive subsequences of a, and the same number of b. This means that there are n^2+n many total subsequences of a,b total. The sum of a given consecutive subsequence ranges from 1 (in the case where we select one element as the subsequence, with value 1) all the way to n^2 (in the case where the entire n-length sequence has n's for each of its elements). Therefore, we have n^2+n sums going into n^2 many possible values, implying that at least two sequences have the same value when summed.

The problem is showing that the two sequences (whose existence I just showed) come from a and b separately, and are not both subsequences of just a or just b.

Another thing I tried was consider A_I = a_1+a_2+\cdots+a_I, where 1\le I\le n, with B_I defined similarly. If we assume that no two consecutive sub-sequences from a,b respectively have the same sum, it means that A^*=\left{A_I:1\le I\le n\right\} is of size n, and is disjoint from a similarly defined B^*=\left{B_I:1\le I\le n\right\}. If we can show that there must exist distinct x,y\in A^* and u,v\in B^* such that |x-y|=|u-v| no matter how we choose sequences a,b we are done, but I can't figure out how to do this. It may be a dead end.


Any help would be much appreciated, including hints!

Thanks folks :blushing:
 
Physics news on Phys.org
Do the subsequences have to be consecutive (the problem doesn't seem to state this)?
 
Yes, they do.
 
i'm stuck on it too~
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
8
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
Replies
4
Views
2K