A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Egy szociális hálózatnak tagja van, közülük némely párok barátai egymásnak. Ha barátja -nek, akkor is barátja -nak. A következő típusú esemény előfordulhat többször egymás után, egy időben mindig csak egy ilyen esemény történik:
Ha , , olyanok, hogy barátja -nek is és -nek is, de nem barátja -nek, akkor barátságot változtathatnak úgy, hogy és most már barátai egymásnak, és , valamint és barátsága viszont megszűnik. Az összes többi barátság változatlan marad.
Kezdetben 1010 olyan tag van, amelyek mindegyikének pontosan 1009 barátja van, és 1009 olyan tag, amelyek mindegyikének pontosan 1010 barátja van. Bizonyítsuk be, hogy létezik a fenti típusú eseményeknek egy olyan sorozata, amelyek végén minden tagnak legfeljebb egy másik tag a barátja. |