Reasoning · Grade 6-1 Deductive Logic (1)

Problem

Fewest groups with no conflicting pair

Five kinds of fish are shared among some tanks. Two fish may not share a tank if one eats the other. All five kinds must be housed. Find the smallest number of tanks needed.
Your answer
How to solve
Strategy Draw a Diagram — Six separate 'eats' sentences are hard to hold in the head at once, so I first change what I am looking at: for the purpose of sharing a tank, 'B eats C' and 'C eats B' would mean the same thing, so I throw the arrows away and keep only the unordered conflicting pairs. That turns the text into a small picture — five dots, one per kind of fish, with a line joining any two that must be kept apart. Then it is easier to hunt for the two safe pairs (the missing lines) than for the many dangerous ones, so I count the complement. The picture answers both halves of the question: a group of dots that are all joined to each other forces a lower bound on the number of tanks, and a way of colouring the dots gives an arrangement that reaches it.
1STEP 1

Turn every 'eats' into a conflicting pair

Write every 'eats' as a conflicting pair.

A--B, A--C, A--D, A--E, B--C, B--D, C--D, D--E
2STEP 2

Count the complement: which pairs are safe?

Only two pairs are safe.

10 - 8 = 2 safe pairs: B--E and C--E
3STEP 3

Draw the picture

Draw it as dots and lines.

4STEP 4

Lower bound: four fish that all conflict with one another

There are four fish that all conflict.

pairs inside {A,B,C,D} = 6, all 6 conflict → at least 4 tanks
5STEP 5

Achievability: build an arrangement that uses exactly 4 tanks

So fewer than 4 tanks is impossible.

{B, E} ∣ {A} ∣ {C} ∣ {D}
6STEP 6

Put the two halves together, and note the other arrangement

Four tanks really works, so the answer is 4.

at least 4 and 4 is enough → minimum = 4
Answer
4 tanks
10 − 8 = 2
The answer has to lie between 1 and 5, since 5 tanks (one fish each) always works and 1 tank obviously does not, and 4 sits sensibly in that range. It cannot be 5, because the exhibited arrangement genuinely puts B and E together. It cannot be 3, because A, B, C and D conflict in all 6 of their pairs and so occupy 4 tanks on their own. Re-checking the winning arrangement against all eight conflicting pairs: A-B, A-C, A-D, A-E, B-C, B-D, C-D and D-E each have their two fish in different tanks, so no fish gets eaten. A quick sanity note on the shape of the answer too — E is the only fish with two safe partners, which is exactly why E is the only fish that ever gets to share.
Takeaway

Four fish that all fight with each other need four separate tanks — so show one arrangement that works and one group that proves nothing smaller can.

  • Turn every 'eats' into a conflicting pair
  • Count the complement: which pairs are safe?
  • Draw the picture
  • Lower bound: four fish that all conflict with one another
  • Achievability: build an arrangement that uses exactly 4 tanks
  • Put the two halves together, and note the other arrangement