Hi All,
This DS question has a complex 'feel' to it, so you might find it useful to deal with the information in a slightly different "order"
We're told that we have N DISTINCT integers (meaning that the numbers are all different - NO duplicates). We're asked if the N integers are consecutive. This is a YES/NO question.
To start, if we ARE dealing with consecutive integers, then there will be a variety of built-in patterns that will define the integers as consecutive (and if we can spot any of those patterns, then we might be able to reverse-engineer that the group is comprised of consecutive integers). Fact 2 is the easier of the two options, so I'm going to start there...
2) The positive difference between ANY two numbers in the list is always LESS than N.
IF.... N = 2, then the difference between those two integers has to be LESS than 2. Since we already know that the numbers are DISTINCT, the two values would have to have a difference of 1. For example, the list could be {0,1}, {3,4}, {-9, -8}, etc. This means that they ARE consecutive integers and the answer to the question is YES.
IF... N = 3, then the difference between any two of those three integers has to be LESS than 3. Since we already know that the numbers are DISTINCT, then any two values would have to have a difference of 1 or 2. The group is 3 integers though, so again - they will have to be consecutive. For example {1, 2, 3}, {7, 8, 9}, {-2, -1, 0}, etc. The answer to the question is also YES.
Increasing the number of integers will NOT change the outcome (try an example with 4 or 5 integers and you'll see). The answer to the question will ALWAYS be YES.
Fact 2 is SUFFICIENT.
1) The average (arithmetic mean) of the list with the lowest number removed is 1 more than the average (arithmetic mean) of the list with the highest number removed.
Since Fact 2 found a 'quirky' way to define that the list of integers was consecutive, it gets me thinking that maybe Fact 1 has also done that. However, we need proof before we make our assessment, so let's start off with a consecutive list of integers and see if it 'fits' what Fact 1 describes.
IF... we're dealing with {1, 2, 3}, then N = 3.
Remove the lowest value and the average becomes (2+3)/2 = 2.5
Remove the largest value and the average becomes (1+2)/2 = 1.5
The difference in averages IS exactly 1, so this example 'fits' what we're told and the answer to the question is YES. (incidentally, if you try any other group of consecutive integers, you'll find that this pattern holds true - you should try a few and prove it for yourself).
Now let's try a group of numbers that is NOT consecutive....
IF... we're dealing with {1, 2, 4}, then N = 3.
Remove the lowest value and the average becomes (2+4)/2 = 3
Remove the largest value and the average becomes (1+2)/2 = 1.5
The difference here is NOT 1 though, so this does NOT 'fit' what we were told and is NOT a valid example. Looking at this example, it seems that if the largest number is "too far" from the smallest number, and there are 'missing' integers in between, then the difference in averages will NOT equal 1 (it will be LARGER every time). With a few additional examples, you can prove it.
Thus, the only groups of numbers that will fit Fact 1 are consecutive integers and the answer to the question will always be YES.
Fact 1 is SUFFICIENT.
Final Answer:
GMAT assassins aren't born, they're made,
Rich