ある商店街に10軒の食品関係の商店があります。この中で、パンを売っている商店は6軒、ソフトクリームを売っている商店は8軒、清涼飲料を売っている商店は9軒です。どの商店も、パン、ソフトクリーム、清涼飲料のいずれか1つは売っています。このとき、パンもソフトクリームも清涼飲料も売っている商店は少なくとも何軒あるか求める問題です。

離散数学集合包除原理ベン図最小値
2025/3/17

1. 問題の内容

ある商店街に10軒の食品関係の商店があります。この中で、パンを売っている商店は6軒、ソフトクリームを売っている商店は8軒、清涼飲料を売っている商店は9軒です。どの商店も、パン、ソフトクリーム、清涼飲料のいずれか1つは売っています。このとき、パンもソフトクリームも清涼飲料も売っている商店は少なくとも何軒あるか求める問題です。

2. 解き方の手順

まず、ベン図で考えることを念頭に置きます。
全体の商店数を NN とし、パンを売っている商店の数を AA, ソフトクリームを売っている商店の数を BB, 清涼飲料を売っている商店の数を CC とします。
N=10N = 10, A=6A = 6, B=8B = 8, C=9C = 9 です。
ABCA \cup B \cup C は、パン、ソフトクリーム、清涼飲料のうち、少なくとも1つを売っている商店の数です。問題文より、どの商店も少なくとも1つは売っているので、ABC=N=10A \cup B \cup C = N = 10 です。
包除原理を用いて、
ABC=A+B+CABBCCA+ABC|A \cup B \cup C| = |A| + |B| + |C| - |A \cap B| - |B \cap C| - |C \cap A| + |A \cap B \cap C|
が成り立ちます。ここで、求めるべきはABC|A \cap B \cap C|の最小値です。
10=6+8+9ABBCCA+ABC10 = 6 + 8 + 9 - |A \cap B| - |B \cap C| - |C \cap A| + |A \cap B \cap C|
AB+BC+CAABC=6+8+910=13|A \cap B| + |B \cap C| + |C \cap A| - |A \cap B \cap C| = 6 + 8 + 9 - 10 = 13
ABmin(A,B)=min(6,8)=6|A \cap B| \le min(|A|, |B|) = min(6, 8) = 6
BCmin(B,C)=min(8,9)=8|B \cap C| \le min(|B|, |C|) = min(8, 9) = 8
CAmin(C,A)=min(9,6)=6|C \cap A| \le min(|C|, |A|) = min(9, 6) = 6
AB+BC+CA6+8+6=20|A \cap B| + |B \cap C| + |C \cap A| \le 6 + 8 + 6 = 20
ABC=AB+BC+CA13|A \cap B \cap C| = |A \cap B| + |B \cap C| + |C \cap A| - 13
ABC|A \cap B \cap C| を最小にするには、AB,BC,CA|A \cap B|, |B \cap C|, |C \cap A| を最小にすれば良い。
AB+BC+CA|A \cap B| + |B \cap C| + |C \cap A| が最小になるケースを考える。
ABC|A \cap B \cap C| の最小値を求めるために、
AB=x,BC=y,CA=z|A \cap B| = x, |B \cap C| = y, |C \cap A| = zと置く。
x+y+zABC=13x+y+z-|A \cap B \cap C|=13
AB=A+BAB|A \cup B| = |A| + |B| - |A \cap B| より、AB=A+BAB|A \cap B| = |A| + |B| - |A \cup B|
AB10|A \cup B| \le 10 なので、AB6+810=4|A \cap B| \ge 6 + 8 - 10 = 4
同様に、
BC8+910=7|B \cap C| \ge 8 + 9 - 10 = 7
CA9+610=5|C \cap A| \ge 9 + 6 - 10 = 5
よって、AB+BC+CA4+7+5=16|A \cap B| + |B \cap C| + |C \cap A| \ge 4 + 7 + 5 = 16
ABC=AB+BC+CA131613=3|A \cap B \cap C| = |A \cap B| + |B \cap C| + |C \cap A| - 13 \ge 16 - 13 = 3
別の考え方として、
ソフトクリームと清涼飲料を売っている商店は少なくとも7軒なので、その7軒全てがパンも売っているとすると ABC=7|A \cap B \cap C| = 7 となりそうですが、パンを売っている商店は6軒しかないので矛盾します。
パンを売っている商店の中で、ソフトクリームも清涼飲料も売っていない商店の数が最小になるようにすると、10=(6x)+(8x)+(9x)+x10 = (6-x)+(8-x)+(9-x)+x となるような xx の最小値を求めます。
N=A+B+C(AB)(BC)(CA)+ABCN = A + B + C - (A \cap B) - (B \cap C) - (C \cap A) + A \cap B \cap C
10=6+8+9ABBCAC+ABC10 = 6 + 8 + 9 - |A \cap B| - |B \cap C| - |A \cap C| + |A \cap B \cap C|
N(ABC)=10N(A \cup B \cup C) = 10
N(A)=6N(A) = 6
N(B)=8N(B) = 8
N(C)=9N(C) = 9
N(ABC)N(A)+N(B)+N(C)2N(ABC)N(A \cap B \cap C) \geq N(A) + N(B) + N(C) - 2N(A \cup B \cup C)
N(ABC)6+8+9210N(A \cap B \cap C) \geq 6 + 8 + 9 - 2 * 10
N(ABC)2320=3N(A \cap B \cap C) \geq 23 - 20 = 3

3. 最終的な答え

3 軒

「離散数学」の関連問題

全体集合 $U$ の部分集合 $A, B$ について、$n(U) = 40, n(A) = 18, n(B) = 25, n(A \cap B) = 6$ であるとき、以下の値を求めます。 (1) $...

集合集合の要素数ド・モルガンの法則
2025/4/15

全体集合 $U = \{1, 2, 3, 4, 5, 6\}$、部分集合 $A = \{1, 2, 3, 4\}$、 $B = \{2, 4, 6\}$ が与えられている。 このとき、以下の値を求めよ...

集合集合演算要素数補集合共通部分和集合
2025/4/15

問題は集合の演算に関するもので、$\overline{A} \cap \overline{B}$ を求めるものです。ここで、$\overline{A}$ は集合 $A$ の補集合を意味し、$\cap$...

集合集合演算補集合共通部分ド・モルガンの法則
2025/4/15

問題は、集合$A$と集合$B$の和集合の補集合、つまり$\overline{A \cup B}$を求めることです。

集合集合論補集合ド・モルガンの法則
2025/4/15

集合 $\{1, 2, 3\}$ のすべての部分集合を求める問題です。

集合論部分集合集合
2025/4/15

与えられた画像の数学の問題は、論理学と集合論に関するものです。具体的には、論理式が真理値表を用いて等しいことを示す問題、命題がトートロジーであることを示す問題、命題の成立を判定する問題、命題の否定命題...

論理学集合論真理値表トートロジー命題否定命題集合の包含関係
2025/4/14

全体集合 $U$ とその部分集合 $A$, $B$ について、$n(U) = 40$, $n(A) = 18$, $n(B) = 25$, $n(A \cap B) = 6$ であるとき、以下の個数を...

集合補集合集合の要素数ベン図
2025/4/13

全体集合 $U = \{1, 2, 3, 4, 5, 6\}$、部分集合 $A = \{1, 2, 3, 4\}$、部分集合 $B = \{2, 4, 6\}$ が与えられたとき、以下の集合の要素の個...

集合集合演算補集合共通部分和集合
2025/4/13

問題は、集合 $A \cap \overline{B} = \overline{A \cup B}$ が成り立つことをベン図を用いて確認することです。

集合ベン図集合演算ド・モルガンの法則
2025/4/13

問題は、集合の等式 $A \cap B = \overline{ \overline{A} \cup \overline{B}}$ が成り立つことを、ベン図を用いて確認することです。

集合論ベン図補集合論理
2025/4/13