The Friendship Theorem
In this article we prove the friendship theorem according to the article [1], which states that if a group of people has the property that any pair of persons have exactly one common friend, then there is a universal friend, i.e. a person who is a friend of every other person in the group
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2012-12-01
|
| Series: | Formalized Mathematics |
| Online Access: | https://doi.org/10.2478/v10037-012-0028-7 |
| id |
doaj-d8d00fc51c9b4db2866ddc35c68c1799 |
|---|---|
| record_format |
Article |
| spelling |
doaj-d8d00fc51c9b4db2866ddc35c68c17992021-09-05T18:16:48ZengSciendoFormalized Mathematics1426-26301898-99342012-12-0120323523710.2478/v10037-012-0028-7The Friendship TheoremPąk Karol0Institute of Informatics, University of Białystok, PolandIn this article we prove the friendship theorem according to the article [1], which states that if a group of people has the property that any pair of persons have exactly one common friend, then there is a universal friend, i.e. a person who is a friend of every other person in the grouphttps://doi.org/10.2478/v10037-012-0028-7 |
| collection |
DOAJ |
| language |
English |
| format |
Article |
| sources |
DOAJ |
| author |
Pąk Karol |
| spellingShingle |
Pąk Karol The Friendship Theorem Formalized Mathematics |
| author_facet |
Pąk Karol |
| author_sort |
Pąk Karol |
| title |
The Friendship Theorem |
| title_short |
The Friendship Theorem |
| title_full |
The Friendship Theorem |
| title_fullStr |
The Friendship Theorem |
| title_full_unstemmed |
The Friendship Theorem |
| title_sort |
friendship theorem |
| publisher |
Sciendo |
| series |
Formalized Mathematics |
| issn |
1426-2630 1898-9934 |
| publishDate |
2012-12-01 |
| description |
In this article we prove the friendship theorem according to the article [1], which states that if a group of people has the property that any pair of persons have exactly one common friend, then there is a universal friend, i.e. a person who is a friend of every other person in the group |
| url |
https://doi.org/10.2478/v10037-012-0028-7 |
| work_keys_str_mv |
AT pakkarol thefriendshiptheorem AT pakkarol friendshiptheorem |
| _version_ |
1717786090601971712 |