και υποσύνολα
του
ώστε (α)
,(β)
για κάθε
,(γ) για κάθε δύο
με
η δυάδα
ανήκει είτε σε ακριβώς δύο είτε σε κανένα
και(δ) κάθε
ανήκει σε ακριβώς
από τα
.Να βρεθούν όλες οι πιθανές τιμές του
.[Όπου με
συμβολίζω το σύνολο
.]Συντονιστής: Demetres
και υποσύνολα
του
ώστε
,
για κάθε
,
με
η δυάδα
ανήκει είτε σε ακριβώς δύο είτε σε κανένα
και
ανήκει σε ακριβώς
από τα
.
.
συμβολίζω το σύνολο
.]
,στη δεύτερη του
κ.ό.κ.
.
.
δυάδες.
.
.
ικανοποιείται ο ισχυρισμός του προβλήματος.
Τα υποσύνολα
ικανοποιούν τον ισχυρισμό του προβλήματος.
,τοποθετούμε τα πρώτα 6 στοιχεία του [n] στις 10 πρώτες στήλες του πίνακα όπως παραπάνω,τα επόμενα 6 στις επόμενες 10 στήλες με τον ίδιο τρόπο κ.ο.κ.
.
θεωρούμε ένα «αφηρημένο» τρίγωνο
. Αν δυο τρίγωνα έχουν κοινή πλευρά τότε τα κολλάμε μεταξύ τους. Οι συνθήκες (α)-(γ) μας λένε πως έχουμε μια τριγωνοποίηση με
κορυφές μιας κλειστής επιφάνειας
. Η επιφάνεια έχει
κορυφές και
έδρες. Επίσης αφού κάθε ακμή ανήκει σε ακριβώς δύο έδρες και κάθε έδρα έχει ακριβώς
ακμές παίρνουμε ότι
. Τέλος με τον ίδιο τρόπο από την συνθήκη (δ) παίρνουμε
.
και άρα
.
ψάχνουμε για μια τριγωνοποίηση (με έξι κορυφές) μιας επιφάνειας με χαρακτηριστική
. Οπότε ψάχνουμε για τριγωνοποίηση του πραγματικού προβολικού επιπέδου (real projective plane).
απλά
ξένες μεταξύ τους τριγωνοποιήσεις όπως πιο πάνω.Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης