Κοινός γνωστός

Συντονιστές: cretanman, Demetres, polysot, achilleas, socrates, silouan

Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Κοινός γνωστός

#1

Μη αναγνωσμένη δημοσίευση από Demetres » Τρί Μάιος 25, 2010 4:45 pm

Σε μια συνάντηση 2n ατόμων υπάρχουν τουλάχιστον n^2 + 1 ζευγάρια \{a,b\} (με a\neq b) όπου ο a γνωρίζει τον b. Να δειχθεί ότι υπάρχουν δυο γνωστοί που έχουν τουλάχιστον ένα κοινό γνωστό.

Έγινε διόρθωση της άσκησης.
τελευταία επεξεργασία από Demetres σε Τρί Μάιος 25, 2010 5:42 pm, έχει επεξεργασθεί 1 φορά συνολικά.


billy_scabilly
Δημοσιεύσεις: 25
Εγγραφή: Πέμ Μάιος 13, 2010 12:26 am

Re: Κοινός γνωστός

#2

Μη αναγνωσμένη δημοσίευση από billy_scabilly » Τρί Μάιος 25, 2010 5:29 pm

Mια ιδέα στα γρήγορα,μπορεί να λέω και μεγάλες βλακείες(το συνηθίζω άλλωστε :oops: ).(Sorry για το μη Latex,θα προσπαθήσω να επανορθώσω)

Oυσιαστικά έχουμε γράφημα με 2n κορυφές και n^2 +1 ακμές και θέλουμε να δείξουμε ότι υπάρχει μονοπάτι μήκους 2,έστω ΑΒΓ με Γ διάφορο του Α.
Μετράμε τα μονοπάτια μήκους 2.Έστω di ο βαθμός της i-οστής κορυφής.Τότε υπάρχει μια αμφιμονοσήμαντη απεικόνιση ανάμεσα σε όλα τα μονοπάτια μήκους 2 με ενδιάμεση κορυφή την i και στα ζεύγη (α,i,b) όπου b και α κορυφές που ενώνονται με την i.Oπότε έχουμε di*di μονοπάτια μήκους 2 με ενδιάμεση κορυφή την i.Aθροίζοντας πάνω σε όλα τα i έχουμε το πλήθος των συνολικών μονοπατιών μήκους 2.
Όμως για κάθε i εμείς θέλουμε να μετρήσουμε τα μονοπάτια μήκους δύο της μορφής ΑΒΓ με Γ διάφορο του Α,τα οποία είναι di*(di -1) .
Aρκεί Σdi*(di -1) >0 για να υπάρχει τουλάχιστον ένα μονοπάτι μήκους 2 με τις ζητούμενες προυποθέσεις.
Όμως από τη σχέση Σ(di-1)^2 >=0 αν αναπτύξουμε έχουμε ότι Σdi*(di -1) >= Σdi - 2n >= 2(n^2 +1) -2n >(n-1)^2 >=0.


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Κοινός γνωστός

#3

Μη αναγνωσμένη δημοσίευση από Demetres » Τρί Μάιος 25, 2010 5:41 pm

Βασίλη απολογούμαι. Εγώ σήμερα λέω βλακείες. (Η άσκηση δεν είναι λάθος, αλλά δεν είναι αυτό που ήθελα να ζητήσω. Θα διορθώσω σύντομα την άσκηση.)


billy_scabilly
Δημοσιεύσεις: 25
Εγγραφή: Πέμ Μάιος 13, 2010 12:26 am

Re: Κοινός γνωστός

#4

Μη αναγνωσμένη δημοσίευση από billy_scabilly » Τρί Μάιος 25, 2010 8:27 pm

Στην ουσία ψάχνουμε τρίγωνο.Έστω ότι δεν υπάρχει,τότε απ'το Θεώρημα του Τuran για r=2 έχουμε άτοπο :?
Τώρα για το Θεώρημα αυτό just look http://en.wikipedia.org/wiki/Tur%C3%A1n%27s_theorem
Προσπάθησα λίγο να βρω κάτι trivial με βάση το παρακάτω που γράφω και την προηγούμενη απόδειξη της λανθασμένης άσκησης αλλά δεν βρήκα.
Eντωμεταξύ,για αυτό που είχα γράψει πιο πριν,είναι τελείως προφανές ότι θα υπάρχει μονοπάτι μήκους δύο βασικά,στην ουσία αποδεικνύω ότι υπάρχουν n^2 +1 μονοπάτια μήκους 2,διότι
Σdi*(di -1) >= Σdi - 2n >= 2(n^2 +1) -2n >=(n-1)^2 + (n^2+1) >n^2+1.


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Κοινός γνωστός (Θεώρημα Turan για τρίγωνα)

#5

Μη αναγνωσμένη δημοσίευση από Demetres » Τετ Μάιος 26, 2010 11:26 am

Ακριβώς για το θεώρημα Turan την έβαλα. Υπάρχουν πιο απλές λύσεις από αυτήν της wikipedia. Για την περίπτωση r=2 που μας ενδιαφέρει υπάρχει ακόμη μια πιο απλή λύση.
Προς το παρόν λέω ότι η απόδειξη χρησιμοποιεί μόνο Cauchy-Schwarz.


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Κοινός γνωστός

#6

Μη αναγνωσμένη δημοσίευση από Demetres » Τρί Ιουν 01, 2010 11:53 am

Χρησιμοποιήστε ότι για κάθε ακμή xy έχουμε d(x) + d(y) \leqslant n (αφού οι x,y δεν έχουν κοινό γνωστό) και προσθέστε όλες αυτές τις ανισότητες.


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Κοινός γνωστός

#7

Μη αναγνωσμένη δημοσίευση από Demetres » Παρ Ιουν 04, 2010 12:43 am

Demetres έγραψε:Χρησιμοποιήστε ότι για κάθε ακμή xy έχουμε d(x) + d(y) \leqslant n (αφού οι x,y δεν έχουν κοινό γνωστό) και προσθέστε όλες αυτές τις ανισότητες.
Απολογούμαι. Στην υπόδειξη έπρεπε να πω d(x) + d(y) \leqslant 2n


Απάντηση

Επιστροφή σε “Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες