SlideShare a Scribd company logo
1 of 25
Puzzle | Two Brothers and
Facebook by tree
Hup university
6-2-2018
Puzzle
• Sahil and Ritik are brothers. One day they were discussing who is
smarter. But gradually the discussion turned into an argument.
Mother came and tried to handle the situation. She gave them a
problem to solve and the one who will solve the problem first,
would be considered smarter than the other. The problem is
• :
In a group of 6 people, you might find some people are friends on
Facebook, or you might find that no one is friend on Facebook. The
brothers are supposed to prove that there is always a group of 3
people where either :
•
–All3 people are mutual friends on Facebook.
• –All3 people are strangers (i.e, no one is friend on Facebook).
• Can you help the brothers to reach to the solution ?
Puzzle
• FACT:- 6 people {A,B,C,D,E,F}
• Rules:- X, Y, Z, N, M, P  {A,B,C,D,E,F}
• (friend(XYZ), not-friend(MNP))
• X YZ ≠ NMP.
• If (ch  friend ) then ch  not-friend
ch  {A,B,C,D,E,F}
• If (ch  not-friend ) then ch  friend
ch  {A,B,C,D,E,F}
A with {B, C, D,E, F}
A
(AB,CDEF)
(AC,BDEF)
(AD,BCEF)
(AE,BCDF)
(AF,BCDE)
1 2 3 4
AB with {C, D, E, F}
(AB,CDEF)
(ABC,DEF)
(ABD,CEF) (ABE,CDF)
(ABF,CDE)
1
( Friends, not Friends)
1 (ABC,DEF)
2 (ABD,CEF)
3 (ABE,CDF)
4 (ABF,CDE)
AC with { D, E, F}
(AC,BDEF)
(ACD,BEF) (ACE,BDF)
(ACF,BDE)
2
(friend, not friend)
1 (ABC,DEF)
2 (ABD,CEF)
3 (ABE,CDF)
4 (ABF,CDE)
5 (ACD,BEF)
6 (ACE,BDF)
7 (ACF,BDE)
AD with {E, F}
(AD,BCEF)
(ADE,BCF)
(ADF,CEF)
3
(friend, not friend)
1 (ABC,DEF)
2 (ABD,CEF)
3 (ABE,CDF)
4 (ABF,CDE)
5 (ACD,BEF)
6 (ACE,BDF)
7 (ACF,BDE)
8 (ADE,BCF)
9 (ADF,CEF)
AE with {F}
(AE,BCDF)
(AEF,BCD)
4
(friend, not friend)
1 (ABC,DEF)
2 (ABD,CEF)
3 (ABE,CDF)
4 (ABF,CDE)
5 (ACD,BEF)
6 (ACE,BDF)
7 (ACF,BDE)
8 (ADE,BCF)
9 (ADF,CEF)
10 (AEF,BCD)
B with {C, D,E, F}
B
(BC,ADEF)
(BD,ACEF)
(BE,ACDF)
(BF,ACDE)
1 2 3
BC with {D, E, F}
(BC,ADEF)
(BCD,AEF) (BCE,ADF)
(BCF,ADE)
1
(friend, not friend)
1 (ABC,DEF), (ABD,CEF), (ABE,CDF), (ABF,CDE)
5 (ACD,BEF), (ACE,BDF), (ACF,BDE)
8 (ADE,BCF), (ADF,CEF)
10 (AEF,BCD)
11 (BCD,AEF), (BCE,ADF), (BCF,ADE)
13
BD with {E, F}
(BD,ACDF)
(BDE,ACF)
(BDE,ACE)
2
(friend, not friend)
1 (ABC,DEF), (ABD,CEF), (ABE,CDF), (ABF,CDE)
5 (ACD,BEF), (ACE,BDF), (ACF,BDE)
8 (ADE,BCF), (ADF,CEF)
10 (AEF,BCD)
11 (BCD,AEF), (BCE,ADF), (BCF,ADE)
14 (BDE,ACF), (BDE,ACE)
16
BE with {F}
(BE,ACDF)
(BEF,ACD)
3
(friend, not friend)
1 (ABC,DEF), (ABD,CEF), (ABE,CDF), (ABF,CDE)
5 (ACD,BEF), (ACE,BDF), (ACF,BDE)
8 (ADE,BCF), (ADF,CEF)
10 (AEF,BCD)
11 (BCD,AEF), (BCE,ADF), (BCF,ADE)
14 (BDE,ACF), (BDE,ACE)
16 (BEF,ACD)
C with {D,E, F}
C
(CD,ABEF)
(CE,ABDF)
(CF,ABDE)
1 2
CD with {E,F}
(CD,ABEF)
(CDF,ABE)
1
(CDE,ABF)
(friend, not friend)
1 (ABC,DEF), (ABD,CEF), (ABE,CDF), (ABF,CDE)
5 (ACD,BEF), (ACE,BDF), (ACF,BDE)
8 (ADE,BCF), (ADF,CEF)
10 (AEF,BCD)
11 (BCD,AEF), (BCE,ADF), (BCF,ADE)
14 (BDE,ACF), (BDE,ACE)
16 (BEF,ACD)
17 (CDE,ABF), (CDF,ABE)
CE with {F}
(CE,ABDF)
(CEF,ABD)
2
(friend, not friend)
1 (ABC,DEF), (ABD,CEF), (ABE,CDF), (ABF,CDE)
5 (ACD,BEF), (ACE,BDF), (ACF,BDE)
8 (ADE,BCF), (ADF,CEF)
10 (AEF,BCD)
11 (BCD,AEF), (BCE,ADF), (BCF,ADE)
14 (BDE,ACF), (BDF,ACE)
16 (BEF,ACD)
17 (CDE,ABF), (CDF,ABE)
19 (CEF,ABD)
D with {E, F}
D
(DE,ABCF)
(DF,ABCE)

More Related Content

More from zahraa F.Muhsen (20)

Computer skills excel2010 5
Computer skills excel2010 5Computer skills excel2010 5
Computer skills excel2010 5
 
Computer skills excel2010 data
Computer skills excel2010 dataComputer skills excel2010 data
Computer skills excel2010 data
 
Computer skills excel2010 2
Computer skills excel2010 2Computer skills excel2010 2
Computer skills excel2010 2
 
Computer skills excel2010
Computer skills excel2010Computer skills excel2010
Computer skills excel2010
 
Computer skills excel2010 3
Computer skills excel2010 3Computer skills excel2010 3
Computer skills excel2010 3
 
Computer skills excel2010-4
Computer skills excel2010-4Computer skills excel2010-4
Computer skills excel2010-4
 
Computer skills excel2010
Computer skills excel2010Computer skills excel2010
Computer skills excel2010
 
Genetic algorithms
Genetic algorithmsGenetic algorithms
Genetic algorithms
 
Internet search techniques
Internet search techniquesInternet search techniques
Internet search techniques
 
Nearest neighbor search
Nearest neighbor searchNearest neighbor search
Nearest neighbor search
 
Search methods
Search methodsSearch methods
Search methods
 
Hash function
Hash functionHash function
Hash function
 
Pigeonhole sort
Pigeonhole sortPigeonhole sort
Pigeonhole sort
 
Gnome sort
Gnome sortGnome sort
Gnome sort
 
Puzzle (1000 coins and 10 bags)
Puzzle (1000 coins and 10 bags)Puzzle (1000 coins and 10 bags)
Puzzle (1000 coins and 10 bags)
 
Php1
Php1Php1
Php1
 
Binary tree
Binary treeBinary tree
Binary tree
 
Selection sort
Selection sortSelection sort
Selection sort
 
Puzzle the neighbor
Puzzle the neighborPuzzle the neighbor
Puzzle the neighbor
 
Merge sort
Merge sortMerge sort
Merge sort
 

Recently uploaded

Top profile Call Girls In Bihar Sharif [ 7014168258 ] Call Me For Genuine Mod...
Top profile Call Girls In Bihar Sharif [ 7014168258 ] Call Me For Genuine Mod...Top profile Call Girls In Bihar Sharif [ 7014168258 ] Call Me For Genuine Mod...
Top profile Call Girls In Bihar Sharif [ 7014168258 ] Call Me For Genuine Mod...
nirzagarg
 
Top profile Call Girls In bhavnagar [ 7014168258 ] Call Me For Genuine Models...
Top profile Call Girls In bhavnagar [ 7014168258 ] Call Me For Genuine Models...Top profile Call Girls In bhavnagar [ 7014168258 ] Call Me For Genuine Models...
Top profile Call Girls In bhavnagar [ 7014168258 ] Call Me For Genuine Models...
gajnagarg
 
Top profile Call Girls In Nandurbar [ 7014168258 ] Call Me For Genuine Models...
Top profile Call Girls In Nandurbar [ 7014168258 ] Call Me For Genuine Models...Top profile Call Girls In Nandurbar [ 7014168258 ] Call Me For Genuine Models...
Top profile Call Girls In Nandurbar [ 7014168258 ] Call Me For Genuine Models...
gajnagarg
 
Gartner's Data Analytics Maturity Model.pptx
Gartner's Data Analytics Maturity Model.pptxGartner's Data Analytics Maturity Model.pptx
Gartner's Data Analytics Maturity Model.pptx
chadhar227
 
Kalyani ? Call Girl in Kolkata | Service-oriented sexy call girls 8005736733 ...
Kalyani ? Call Girl in Kolkata | Service-oriented sexy call girls 8005736733 ...Kalyani ? Call Girl in Kolkata | Service-oriented sexy call girls 8005736733 ...
Kalyani ? Call Girl in Kolkata | Service-oriented sexy call girls 8005736733 ...
HyderabadDolls
 
Top profile Call Girls In Rohtak [ 7014168258 ] Call Me For Genuine Models We...
Top profile Call Girls In Rohtak [ 7014168258 ] Call Me For Genuine Models We...Top profile Call Girls In Rohtak [ 7014168258 ] Call Me For Genuine Models We...
Top profile Call Girls In Rohtak [ 7014168258 ] Call Me For Genuine Models We...
nirzagarg
 
Top profile Call Girls In Begusarai [ 7014168258 ] Call Me For Genuine Models...
Top profile Call Girls In Begusarai [ 7014168258 ] Call Me For Genuine Models...Top profile Call Girls In Begusarai [ 7014168258 ] Call Me For Genuine Models...
Top profile Call Girls In Begusarai [ 7014168258 ] Call Me For Genuine Models...
nirzagarg
 
Sonagachi * best call girls in Kolkata | ₹,9500 Pay Cash 8005736733 Free Home...
Sonagachi * best call girls in Kolkata | ₹,9500 Pay Cash 8005736733 Free Home...Sonagachi * best call girls in Kolkata | ₹,9500 Pay Cash 8005736733 Free Home...
Sonagachi * best call girls in Kolkata | ₹,9500 Pay Cash 8005736733 Free Home...
HyderabadDolls
 
Jual Obat Aborsi Surabaya ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Surabaya ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...Jual Obat Aborsi Surabaya ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Surabaya ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
ZurliaSoop
 
Lake Town / Independent Kolkata Call Girls Phone No 8005736733 Elite Escort S...
Lake Town / Independent Kolkata Call Girls Phone No 8005736733 Elite Escort S...Lake Town / Independent Kolkata Call Girls Phone No 8005736733 Elite Escort S...
Lake Town / Independent Kolkata Call Girls Phone No 8005736733 Elite Escort S...
HyderabadDolls
 
怎样办理圣地亚哥州立大学毕业证(SDSU毕业证书)成绩单学校原版复制
怎样办理圣地亚哥州立大学毕业证(SDSU毕业证书)成绩单学校原版复制怎样办理圣地亚哥州立大学毕业证(SDSU毕业证书)成绩单学校原版复制
怎样办理圣地亚哥州立大学毕业证(SDSU毕业证书)成绩单学校原版复制
vexqp
 
In Riyadh ((+919101817206)) Cytotec kit @ Abortion Pills Saudi Arabia
In Riyadh ((+919101817206)) Cytotec kit @ Abortion Pills Saudi ArabiaIn Riyadh ((+919101817206)) Cytotec kit @ Abortion Pills Saudi Arabia
In Riyadh ((+919101817206)) Cytotec kit @ Abortion Pills Saudi Arabia
ahmedjiabur940
 

Recently uploaded (20)

Top profile Call Girls In Bihar Sharif [ 7014168258 ] Call Me For Genuine Mod...
Top profile Call Girls In Bihar Sharif [ 7014168258 ] Call Me For Genuine Mod...Top profile Call Girls In Bihar Sharif [ 7014168258 ] Call Me For Genuine Mod...
Top profile Call Girls In Bihar Sharif [ 7014168258 ] Call Me For Genuine Mod...
 
Top profile Call Girls In bhavnagar [ 7014168258 ] Call Me For Genuine Models...
Top profile Call Girls In bhavnagar [ 7014168258 ] Call Me For Genuine Models...Top profile Call Girls In bhavnagar [ 7014168258 ] Call Me For Genuine Models...
Top profile Call Girls In bhavnagar [ 7014168258 ] Call Me For Genuine Models...
 
7. Epi of Chronic respiratory diseases.ppt
7. Epi of Chronic respiratory diseases.ppt7. Epi of Chronic respiratory diseases.ppt
7. Epi of Chronic respiratory diseases.ppt
 
Top profile Call Girls In Nandurbar [ 7014168258 ] Call Me For Genuine Models...
Top profile Call Girls In Nandurbar [ 7014168258 ] Call Me For Genuine Models...Top profile Call Girls In Nandurbar [ 7014168258 ] Call Me For Genuine Models...
Top profile Call Girls In Nandurbar [ 7014168258 ] Call Me For Genuine Models...
 
TrafficWave Generator Will Instantly drive targeted and engaging traffic back...
TrafficWave Generator Will Instantly drive targeted and engaging traffic back...TrafficWave Generator Will Instantly drive targeted and engaging traffic back...
TrafficWave Generator Will Instantly drive targeted and engaging traffic back...
 
Gartner's Data Analytics Maturity Model.pptx
Gartner's Data Analytics Maturity Model.pptxGartner's Data Analytics Maturity Model.pptx
Gartner's Data Analytics Maturity Model.pptx
 
RESEARCH-FINAL-DEFENSE-PPT-TEMPLATE.pptx
RESEARCH-FINAL-DEFENSE-PPT-TEMPLATE.pptxRESEARCH-FINAL-DEFENSE-PPT-TEMPLATE.pptx
RESEARCH-FINAL-DEFENSE-PPT-TEMPLATE.pptx
 
Kalyani ? Call Girl in Kolkata | Service-oriented sexy call girls 8005736733 ...
Kalyani ? Call Girl in Kolkata | Service-oriented sexy call girls 8005736733 ...Kalyani ? Call Girl in Kolkata | Service-oriented sexy call girls 8005736733 ...
Kalyani ? Call Girl in Kolkata | Service-oriented sexy call girls 8005736733 ...
 
Top profile Call Girls In Rohtak [ 7014168258 ] Call Me For Genuine Models We...
Top profile Call Girls In Rohtak [ 7014168258 ] Call Me For Genuine Models We...Top profile Call Girls In Rohtak [ 7014168258 ] Call Me For Genuine Models We...
Top profile Call Girls In Rohtak [ 7014168258 ] Call Me For Genuine Models We...
 
Top profile Call Girls In Begusarai [ 7014168258 ] Call Me For Genuine Models...
Top profile Call Girls In Begusarai [ 7014168258 ] Call Me For Genuine Models...Top profile Call Girls In Begusarai [ 7014168258 ] Call Me For Genuine Models...
Top profile Call Girls In Begusarai [ 7014168258 ] Call Me For Genuine Models...
 
Sonagachi * best call girls in Kolkata | ₹,9500 Pay Cash 8005736733 Free Home...
Sonagachi * best call girls in Kolkata | ₹,9500 Pay Cash 8005736733 Free Home...Sonagachi * best call girls in Kolkata | ₹,9500 Pay Cash 8005736733 Free Home...
Sonagachi * best call girls in Kolkata | ₹,9500 Pay Cash 8005736733 Free Home...
 
Digital Transformation Playbook by Graham Ware
Digital Transformation Playbook by Graham WareDigital Transformation Playbook by Graham Ware
Digital Transformation Playbook by Graham Ware
 
5CL-ADBA,5cladba, Chinese supplier, safety is guaranteed
5CL-ADBA,5cladba, Chinese supplier, safety is guaranteed5CL-ADBA,5cladba, Chinese supplier, safety is guaranteed
5CL-ADBA,5cladba, Chinese supplier, safety is guaranteed
 
Jual Obat Aborsi Surabaya ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Surabaya ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...Jual Obat Aborsi Surabaya ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Surabaya ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
 
Vadodara 💋 Call Girl 7737669865 Call Girls in Vadodara Escort service book now
Vadodara 💋 Call Girl 7737669865 Call Girls in Vadodara Escort service book nowVadodara 💋 Call Girl 7737669865 Call Girls in Vadodara Escort service book now
Vadodara 💋 Call Girl 7737669865 Call Girls in Vadodara Escort service book now
 
Lake Town / Independent Kolkata Call Girls Phone No 8005736733 Elite Escort S...
Lake Town / Independent Kolkata Call Girls Phone No 8005736733 Elite Escort S...Lake Town / Independent Kolkata Call Girls Phone No 8005736733 Elite Escort S...
Lake Town / Independent Kolkata Call Girls Phone No 8005736733 Elite Escort S...
 
Fun all Day Call Girls in Jaipur 9332606886 High Profile Call Girls You Ca...
Fun all Day Call Girls in Jaipur   9332606886  High Profile Call Girls You Ca...Fun all Day Call Girls in Jaipur   9332606886  High Profile Call Girls You Ca...
Fun all Day Call Girls in Jaipur 9332606886 High Profile Call Girls You Ca...
 
DATA SUMMIT 24 Building Real-Time Pipelines With FLaNK
DATA SUMMIT 24  Building Real-Time Pipelines With FLaNKDATA SUMMIT 24  Building Real-Time Pipelines With FLaNK
DATA SUMMIT 24 Building Real-Time Pipelines With FLaNK
 
怎样办理圣地亚哥州立大学毕业证(SDSU毕业证书)成绩单学校原版复制
怎样办理圣地亚哥州立大学毕业证(SDSU毕业证书)成绩单学校原版复制怎样办理圣地亚哥州立大学毕业证(SDSU毕业证书)成绩单学校原版复制
怎样办理圣地亚哥州立大学毕业证(SDSU毕业证书)成绩单学校原版复制
 
In Riyadh ((+919101817206)) Cytotec kit @ Abortion Pills Saudi Arabia
In Riyadh ((+919101817206)) Cytotec kit @ Abortion Pills Saudi ArabiaIn Riyadh ((+919101817206)) Cytotec kit @ Abortion Pills Saudi Arabia
In Riyadh ((+919101817206)) Cytotec kit @ Abortion Pills Saudi Arabia
 

Puzzle two brother and facebook by tree

  • 1. Puzzle | Two Brothers and Facebook by tree Hup university 6-2-2018
  • 2. Puzzle • Sahil and Ritik are brothers. One day they were discussing who is smarter. But gradually the discussion turned into an argument. Mother came and tried to handle the situation. She gave them a problem to solve and the one who will solve the problem first, would be considered smarter than the other. The problem is • : In a group of 6 people, you might find some people are friends on Facebook, or you might find that no one is friend on Facebook. The brothers are supposed to prove that there is always a group of 3 people where either : • –All3 people are mutual friends on Facebook. • –All3 people are strangers (i.e, no one is friend on Facebook). • Can you help the brothers to reach to the solution ?
  • 3. Puzzle • FACT:- 6 people {A,B,C,D,E,F} • Rules:- X, Y, Z, N, M, P  {A,B,C,D,E,F} • (friend(XYZ), not-friend(MNP)) • X YZ ≠ NMP. • If (ch  friend ) then ch  not-friend ch  {A,B,C,D,E,F} • If (ch  not-friend ) then ch  friend ch  {A,B,C,D,E,F}
  • 4. A with {B, C, D,E, F} A (AB,CDEF) (AC,BDEF) (AD,BCEF) (AE,BCDF) (AF,BCDE) 1 2 3 4
  • 5. AB with {C, D, E, F} (AB,CDEF) (ABC,DEF) (ABD,CEF) (ABE,CDF) (ABF,CDE) 1
  • 6. ( Friends, not Friends) 1 (ABC,DEF) 2 (ABD,CEF) 3 (ABE,CDF) 4 (ABF,CDE)
  • 7. AC with { D, E, F} (AC,BDEF) (ACD,BEF) (ACE,BDF) (ACF,BDE) 2
  • 8. (friend, not friend) 1 (ABC,DEF) 2 (ABD,CEF) 3 (ABE,CDF) 4 (ABF,CDE) 5 (ACD,BEF) 6 (ACE,BDF) 7 (ACF,BDE)
  • 9. AD with {E, F} (AD,BCEF) (ADE,BCF) (ADF,CEF) 3
  • 10. (friend, not friend) 1 (ABC,DEF) 2 (ABD,CEF) 3 (ABE,CDF) 4 (ABF,CDE) 5 (ACD,BEF) 6 (ACE,BDF) 7 (ACF,BDE) 8 (ADE,BCF) 9 (ADF,CEF)
  • 12. (friend, not friend) 1 (ABC,DEF) 2 (ABD,CEF) 3 (ABE,CDF) 4 (ABF,CDE) 5 (ACD,BEF) 6 (ACE,BDF) 7 (ACF,BDE) 8 (ADE,BCF) 9 (ADF,CEF) 10 (AEF,BCD)
  • 13. B with {C, D,E, F} B (BC,ADEF) (BD,ACEF) (BE,ACDF) (BF,ACDE) 1 2 3
  • 14. BC with {D, E, F} (BC,ADEF) (BCD,AEF) (BCE,ADF) (BCF,ADE) 1
  • 15. (friend, not friend) 1 (ABC,DEF), (ABD,CEF), (ABE,CDF), (ABF,CDE) 5 (ACD,BEF), (ACE,BDF), (ACF,BDE) 8 (ADE,BCF), (ADF,CEF) 10 (AEF,BCD) 11 (BCD,AEF), (BCE,ADF), (BCF,ADE) 13
  • 16. BD with {E, F} (BD,ACDF) (BDE,ACF) (BDE,ACE) 2
  • 17. (friend, not friend) 1 (ABC,DEF), (ABD,CEF), (ABE,CDF), (ABF,CDE) 5 (ACD,BEF), (ACE,BDF), (ACF,BDE) 8 (ADE,BCF), (ADF,CEF) 10 (AEF,BCD) 11 (BCD,AEF), (BCE,ADF), (BCF,ADE) 14 (BDE,ACF), (BDE,ACE) 16
  • 19. (friend, not friend) 1 (ABC,DEF), (ABD,CEF), (ABE,CDF), (ABF,CDE) 5 (ACD,BEF), (ACE,BDF), (ACF,BDE) 8 (ADE,BCF), (ADF,CEF) 10 (AEF,BCD) 11 (BCD,AEF), (BCE,ADF), (BCF,ADE) 14 (BDE,ACF), (BDE,ACE) 16 (BEF,ACD)
  • 20. C with {D,E, F} C (CD,ABEF) (CE,ABDF) (CF,ABDE) 1 2
  • 22. (friend, not friend) 1 (ABC,DEF), (ABD,CEF), (ABE,CDF), (ABF,CDE) 5 (ACD,BEF), (ACE,BDF), (ACF,BDE) 8 (ADE,BCF), (ADF,CEF) 10 (AEF,BCD) 11 (BCD,AEF), (BCE,ADF), (BCF,ADE) 14 (BDE,ACF), (BDE,ACE) 16 (BEF,ACD) 17 (CDE,ABF), (CDF,ABE)
  • 24. (friend, not friend) 1 (ABC,DEF), (ABD,CEF), (ABE,CDF), (ABF,CDE) 5 (ACD,BEF), (ACE,BDF), (ACF,BDE) 8 (ADE,BCF), (ADF,CEF) 10 (AEF,BCD) 11 (BCD,AEF), (BCE,ADF), (BCF,ADE) 14 (BDE,ACF), (BDF,ACE) 16 (BEF,ACD) 17 (CDE,ABF), (CDF,ABE) 19 (CEF,ABD)
  • 25. D with {E, F} D (DE,ABCF) (DF,ABCE)