Σχέσεις Ορισμός Εστω σύνολα A, B. (Διμελής) σχέση ονομάζεται ένα σύνολο R A B. Η έννοια της σχέσης γενικεύει την έννοια της συνάρτησης με πεδίο ορισμο
|
|
- Θεόκριτος Μπλέτσας
- 7 χρόνια πριν
- Προβολές:
Transcript
1 Μαθηματικά Πληροφορικής 8ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών
2 Σχέσεις Ορισμός Εστω σύνολα A, B. (Διμελής) σχέση ονομάζεται ένα σύνολο R A B. Η έννοια της σχέσης γενικεύει την έννοια της συνάρτησης με πεδίο ορισμού το A και σύνολο αφίξεως το B. ΠΑΡΑΔΕΙΓΜΑ A = B = {σύνολο των ενεργών φοιτητών του di}. R = {(x, y) x συμπαθεί y}. Συμβολισμός: συχνά xry ή x y αντί (x, y) R.
3 Ιδιότητες Σχέσεων Μια διμελής σχέση R πάνω σε ένα σύνολο X καλείται 1 ανακλαστική αν a X, ara. 2 συμμετρική αν a, b X, arb συνεπάγεται bra. 3 αντισυμμετρική αν a, b X, arb και bra, συνεπάγεται ότι a = b. 4 μεταβατική αν a, b, c X, arb και brc, συνεπάγεται ότι arc. Παράδειγμα: έστω X = Z. Ορισε x y αν x y. Παράδειγμα: έστω X = 2 Z. Ορισε A B αν A B =.
4 Σχέσεις Ισοδυναμίας Μια διμελής σχέση R πάνω σε ένα σύνολο X καλείται σχέση ισοδυναμίας αν η R είναι ανακλαστική, συμμετρική και μεταβατική, δηλαδή: 1 a X, ara. 2 a, b X, arb συνεπάγεται bra. 3 a, b, c X, arb και brc, συνεπάγεται ότι arc. Παράδειγμα: έστω X = Z. Ορισε xry αν x y (mod 5). Αντιπαράδειγμα: η σχέση «συμπαθεί» δεν είναι σχέση ισοδυναμίας! Αντιπαράδειγμα: x y, x, y N.
5 Κλάσεις Ισοδυναμίας Ορισμός Εστω R A A μια σχέση ισοδυναμίας. Κλάση ισοδυναμίας ενός x A ορίζεται ως το σύνολο [x] := {y A xry}.
6 Κλάσεις Ισοδυναμίας Ορισμός Εστω R A A μια σχέση ισοδυναμίας. Κλάση ισοδυναμίας ενός x A ορίζεται ως το σύνολο [x] := {y A xry}. για τη σχέση x y (mod 5) [7] = {..., 3, 2, 7, 12, 17, 22,...}. Παρατηρείστε [7] = [12] = [22] κοκ.
7 Κλάσεις Ισοδυναμίας Ορισμός Εστω R A A μια σχέση ισοδυναμίας. Κλάση ισοδυναμίας ενός x A ορίζεται ως το σύνολο [x] := {y A xry}. Θεώρημα Οι κλάσεις ισοδυναμίας μιας σχέσης R πάνω στο σύνολο A ορίζουν μια διαμέριση του A.
8 Κλάσεις Ισοδυναμίας Ορισμός Εστω R A A μια σχέση ισοδυναμίας. Κλάση ισοδυναμίας ενός x A ορίζεται ως το σύνολο [x] := {y A xry}. Θεώρημα Οι κλάσεις ισοδυναμίας μιας σχέσης R πάνω στο σύνολο A ορίζουν μια διαμέριση του A. Οι πέντε κλάσεις της σχέσης x y (mod 5) διαμερίζουν το Z: {..., 9, 4, 1, 6, 11, 16, 21,...} {..., 8, 3, 2, 7, 12, 17, 22,...} {..., 7, 2, 3, 8, 13, 18, 23,...} {..., 6, 1, 4, 9, 14, 19, 24,...} {..., 10, 5, 0, 5, 10, 15, 20, 25,...}
9 Παράδειγμα Δίνεται γράφημα G = (V, E). Ορίστε στο V τη σχέση : x y αν υπάρχει στον G μονοπάτι από το x στο y. Είναι η σχέση σχέση ισοδυναμίας; Αν ναι, ποιες είναι οι κλάσεις ισοδυναμίας;
10 Σχέσεις Μερικής Διάταξης Μια διμελής σχέση πάνω σε ένα σύνολο X καλείται μερική διάταξη αν η είναι ανακλαστική, αντισυμμετρική και μεταβατική, δηλαδή: 1 a X, a a. 2 a, b X, a b και b a, συνεπάγεται ότι a = b. 3 a, b, c X, a b και b c, συνεπάγεται ότι a c. Παράδειγμα: X = N και a b αν a b. Παράδειγμα: X = N N και (p 1, q 1 ) (p 2, q 2 ) αν p 1 < p 2 ή [p 1 = p 2 και q 1 q 2 ] (λεξικογραφική διάταξη). Παράδειγμα: έστω X = 2 N και =. Αντιπαράδειγμα: X = σύνολο άπειρων ακολουθιών πραγματικών αριθμών και a b ανν a υπακολουθία της b.
11 Εστω (X, ) ένα μερικά διατεταγμένο σύνολο. Δυο στοιχεία x, y X καλούνται συγκρίσιμα αν x y, ή y x. Αν x y και x y γράφουμε x < y. Σύνολο X X καλείται αλυσίδα αν οποιαδήποτε δύο στοιχεία του X είναι συγκρίσιμα. Προσοχή: αν x, y X, z X, και x < z < y δεν έπεται υποχρεωτικά ότι z X. Σύνολο X X καλείται αντιαλυσίδα αν οποιαδήποτε δύο διακεκριμένα στοιχεία του X δεν είναι συγκρίσιμα.
12 Γραφική αναπαράσταση διατεταγμένων συνόλων Σχέση διαιρετότητας στο X = {1, 2, 3, 6, 12}: Διάγραμμα Hasse: Γράφημα σχεδιασμένο στο επίπεδο με κορυφές τα στοιχεία του συνόλου X. Κορυφές που συνδέονται μέσω της συνδέονται με ακμή, παραλείπονται όλες οι ακμές που συνάγονται από τη μεταβατικότητα. Αν v w, η κορυφή v σχεδιάζεται χαμηλότερα από την κορυφή w.
13 Γραφική αναπαράσταση διατεταγμένων συνόλων Παραδείγματα τριών διαφορετικών έγκυρων διαγραμμάτων a b Hasse για το ίδιο διατεταγμένο σύνολο. c) d) e) c abc I> <J d e f a c b PN d e f cab )$( d f e x y αν υπάρχει μονότονο μονοπάτι από το x στο y, δηλ. μονοπάτι που μόνο ανεβαίνει. f)
14 Γραφική αναπαράσταση διατεταγμένων συνόλων Διατεταγμένο σύνολο P = {a, b, c, d} που ορίζεται από τις ανισότητες a < c, a < d, b < c, b < d. Στο Σχήμα (i) δύο ορθές αναπαραστάσεις του με διαγράμματα Hasse, στο Σχήμα (ii) λανθασμένες.
15 rld Ολική διάταξη Ορισμός Search MathWorld Εστω (P, ) ένα μερικά διατεταγμένο σύνολο. Η σχέση καλείται ολική διάταξη αν Mathematics > Graph Theory > Simple Graphs > Acyclic Graphs > Mathematics > Graph Theory > Simple Graphs > Asymmetric Graphs > Mathematics > Graph Theory > Simple Graphs > Bicolorable Graphs > x, y P, x y ή y x. Το διάγραμμα Hasse μιας ολικής διάταξης είναι πάντα Graph μονοπάτι. THINGS TO TRY: path graph 5x5 Hilbert matrix common divisors of 36 h graph is a tree with two nodes of vertex degree 1, and the other nodes of vertex degree 2. A path therefore a graph that can be drawn so that all of its vertices and edges lie on a single straight line (Gross and
16 6.11 Remark. If a poset has a least element, then this is also a minimal element, analogously the greatest element is also a maximal element. In a linearly ordered set the notions "minimal element" and Ορισμός "least element" evidently coincide, also "maximal" and "greatest". But this is usually not the case: Εστω (P, ) ένα μερικά διατεταγμένο σύνολο. Το στοιχείο z 6.12 P καλείται Example. ελαχιστικό Consider (minimal) a set of ανfive δενelements υπάρχει a, x b, c, Pd, τ. e, ώ. whose x order < z. 5 is given by a < c < e, b < c < d, a 11 b, d 11 e. See Figure 1. Ελαχιστικά στοιχεία Figure I Το zin this P καλείται set a and ελάχιστο b are minimal (minimum) elements, αν x d and P, e zare x. maximal Ενα eleμερικά ments. διατεταγμένο This set has neither σύνολοa δεν greatest έχει απαραίτητα nor a least element. ελάχιστο στοιχείο Example. Even if a poset contains exactly one minimal ele-
17 6.11 Remark. If a poset has a least element, then this is also a minimal element, analogously the greatest element is also a maximal element. In a linearly ordered set the notions "minimal element" and Ορισμός "least element" evidently coincide, also "maximal" and "greatest". But this is usually not the case: Εστω (P, ) ένα μερικά διατεταγμένο σύνολο. Το στοιχείο z 6.12 P καλείται Example. μεγιστικό Consider (maximal) a set αν of five δεν υπάρχει elements xa, b, Pc, τ. d, e, ώ. whose z order < x. 5 is given by a < c < e, b < c < d, a 11 b, d 11 e. See Figure 1. Μεγιστικά στοιχεία Figure I Το zin this P καλείται set a and μέγιστο b are minimal (maximum) elements, αν xd and P, e x are z. maximal Ενα eleμερικά ments. διατεταγμένο This set has neither σύνολοa δεν greatest έχει απαραίτητα nor a least element. μέγιστο στοιχείο Example. Even if a poset contains exactly one minimal ele-
18 Ακόμα κι αν το P περιέχει ένα μοναδικό ελαχιστικό στοιχείο, μπορεί να μην περιέχει ελάχιστο! Γιατί; Δώστε αντιπαράδειγμα. Ομοίως για τα μεγιστικά.
19 Υπαρξη ελαχιστικού (ή μεγιστικού) στοιχείου Πρόταση Εστω (P, ) ένα μερικά διατεταγμένο σύνολο, όπου P πεπερασμένο. Τότε υπάρχει τουλάχιστον ένα ελαχιστικό στοιχείο. Απόδειξη. Διάλεξε x P τέτοιο ώστε L x = {y P y x} έχει το ελάχιστο πλήθος στοιχείων. Αν L x = 1, τότε το L x = {x}, άρα x ελαχιστικό. Αν L x > 1, διάλεξε y L x, y x. Από μεταβατικότητα L y L x, και επειδή x L y, L y L x. Δηλαδή L y < L x, άτοπο. Η πρόταση δεν ισχύει για άπειροσύνολα. Δώστε αντιπαράδειγμα.
20 Εστω πεπερασμένο σύνολο S με S = n. Η δομή (2 S, ) ορίζει μια σχέση μερικής διάταξης πάνω στα υποσύνολα του S. Θα εξετάσουμε κάποιες ιδιότητες αυτής της δομής. Κυρίως ερωτήματα της μορφής: πόσα υποσύνολα του S έχουν μια δεδομένη ιδιότητα.
21 Εστω πεπερασμένο σύνολο S με S = n. Η δομή (2 S, ) ορίζει μια σχέση μερικής διάταξης πάνω στα υποσύνολα του S. Θεώρημα Εστω A μια συλλογή διακεκριμένων υποσυνόλων του S τ. ώ. A i A j, για κάθε A i, A j A. Τότε A 2 n 1.
22 either x y or y x (or both) hold. A chain in a poset P is a subset C P such that any Εστω πεπερασμένο σύνολο S με S = n. Η δομή (2 S two of its points ar Dually, an antichain is a subset A P such that no two of, its ) points ορίζει are compar μιαthat σχέση C μερικής A 1, i.e., διάταξης every chain πάνωc στα and every υποσύνολα antichainτου A can S. have at most o common (for two points in their intersection would be both comparable and incom Here are some frequently encountered examples of posets: a family of sets is pa Θεώρημα by set inclusion; a set of positive integers is partially ordered by division; a set of v partially ordered by (a Εστω A μια συλλογή 1,...,a διακεκριμένων n ) < (b 1,...,b υποσυνόλων n )iff a i b i for all i, and a του S τ. ώ. i <b i for a Small posets may be visualized by drawings, known A i A j, για κάθε A i, A j A. Τότε A 2 n 1 as Hasse diagrams: x is low than y whenever x<yand there is no other point z P. for which both x<za example: {a,b,c} 18 Σχέσεις Ισοδυναμίας Μερικές Διατάξεις Θεώρημα του Sperner Θεώρημα του Dilworth Εφαρμογές του Θ. Dilwo {b,c} {a,c} {a,b} 6 9 {a} {b} {c} 2 3 O 1 1. Decomposition in chains and antichains
23 Εστω πεπερασμένο σύνολο S με S = n. Η δομή (2 S, ) ορίζει μια σχέση μερικής διάταξης πάνω στα υποσύνολα του S. Θεώρημα Εστω A μια συλλογή διακεκριμένων υποσυνόλων του S τ. ώ. A i A j, για κάθε A i, A j A. Τότε A 2 n 1. Αποδειξη: Αν A A, για Ā = S A, Ā A, αφού A Ā =. Επομένως A 2 n 1. Το άνω φράγμα δεν μπορεί να βελτιωθεί. Τα υποσύνολα του {1,..., n} που περιέχουν το 1 έχουν πλήθος 2 n 1.
24 A chain in a poset P is a subset C P such that any two of its po Dually, an antichain is a subset A P such that no two of its points are c Εστω that Cπεπερασμένο A 1, i.e., σύνολο everyschain με S C = and n. every Η δομή antichain (2 S, ) Aορίζει can have at μια common σχέση (for μερικής two points διάταξης in their πάνω intersection στα υποσύνολα would be του both S. comparable and Here are some frequently encountered examples of posets: a family of set by set inclusion; a set of positive integers is partially ordered by division; a s Θυμίζουμε partially ordered πως αντιαλυσίδα by (a 1,...,a n καλείται ) < (b 1,...,b ένα n σύνολο )iff a i A b i υποσυνόλων for all i, and a i <b του SSmall τα οποία posets είναι may be μηvisualized συγκρίσιμα by drawings, ως προς τη known σχέση as Hasse μερικής diagrams: x διάταξης than y whenever. Δηλαδή, x<yand αν Athere i, A j is A, no Aother i Apoint j. z P for which both x example: {a,b,c} 18 {b,c} {a,c} {a,b} 6 {a} {b} {c} 2 3 O 1
25 Εστω πεπερασμένο σύνολο S με S = n. Η δομή (2 S, ) ορίζει μια σχέση μερικής διάταξης πάνω στα υποσύνολα του S. Θυμίζουμε πως αντιαλυσίδα καλείται ένα σύνολο A υποσυνόλων του S τα οποία είναι μη συγκρίσιμα ως προς τη σχέση μερικής διάταξης. Δηλαδή, αν A i, A j A, A i A j. {a,b,c} {b,c} {a,c} {a,b} {a} {b} {c} O
26 Εστω πεπερασμένο σύνολο S με S = n. Η δομή (2 S, ) ορίζει μια σχέση μερικής διάταξης πάνω στα υποσύνολα του S. Θυμίζουμε πως αντιαλυσίδα καλείται ένα σύνολο A υποσυνόλων του S τα οποία είναι μη συγκρίσιμια ως προς τη σχέση μερικής διάταξης. Δηλαδή, αν A i, A j A, A i A j. Πόσο μεγάλη μπορεί να είναι μια αντιαλυσίδα; Η οικογένεια όλων των υποσυνόλων του S με τον ίδιο πληθικό αριθμό k, k = 0, 1,..., n, είναι αντιαλυσίδα. Κάθε τέτοια αντιαλυσίδα έχει ( n k) στοιχεία. ( Γνωρίζουμε πως max n ) ( k k = n n/2 ) (γιατί;). Υπάρχουν αντιαλυσίδες με μέγεθος μεγαλύτερο από ( n n/2 ) ;
27 Small posets may be visualized by drawings, known as Hasse diagrams: x is Σχέσεις Ισοδυναμίας Μερικές Διατάξεις Θεώρημα του Sperner Θεώρημα του Dilworth Εφαρμογές του Θ. Dilwo than y whenever x<yand there is no other point z P for which both x< example: {a,b,c} 18 {b,c} {a,c} {a,b} 6 9 {a} {b} {c} 2 3 O ( Παράδειγμα διατεταγμένου συνόλου 2 S όπου S = 3. n ( n/2 ) = 3 1) = 3, άρα 1. υπάρχει Decomposition αντιαλυσίδα in chains μεγέθους and antichains 3. A decomposition of a poset is its partition into mutually disjoint chains or a poset P, our goal is to decompose it into as few chains (or antichains) as possib is easy: if a poset P has a chain (antichain) of size r then it cannot be partitione r antichains (chains). The reason here is simple: any two points of the same different members of a partition into antichains. Is this optimal? If P has no chain (or antichain) of size greater than r, i 1
28 Small posets may be visualized by drawings, known as Hasse diagrams: x is Σχέσεις Ισοδυναμίας Μερικές Διατάξεις Θεώρημα του Sperner Θεώρημα του Dilworth Εφαρμογές του Θ. Dilwo than y whenever x<yand there is no other point z P for which both x< example: {a,b,c} 18 {b,c} {a,c} {a,b} 6 9 {a} {b} {c} 2 3 O ( Παράδειγμα διατεταγμένου συνόλου 2 S όπου S = 3. n ( n/2 ) = 3 1) = 3, άρα 1. υπάρχει Decomposition αντιαλυσίδα in chains μεγέθους and antichains 3. A decomposition of a poset is its partition into mutually disjoint chains or a poset P, our goal is to decompose it into as few chains (or antichains) as possib is easy: if a poset P has a chain {{a}, (antichain) {b}, {c}} of size r then it cannot be partitione r antichains (chains). The reason here is simple: any two points of the same different είναι μια members αντιαλυσίδα of a partition μεγέθους into antichains. 3. Is this optimal? If P has no chain (or antichain) of size greater than r, i 1
29 Θεώρημα (Sperner, 1928) Εστω A μια αντιαλυσίδα υποσυνόλων του S με S = n. Τότε ( ) n A. n/2
30 Θεώρημα (Sperner, 1928) Εστω A μια αντιαλυσίδα υποσυνόλων του S με S = n. Τότε ( ) n A. n/2 Αποδειξη: Εστω A S. Ο αριθμός των μεταθέσεων των στοιχείων του S που ξεκινάνε με τα A στοιχεία του A είναι A!(n A )!. Μεταθέσεις που ξεκινάνε με δύο διαφορετικά σύνολα από το A είναι διακεκριμένες (γιατί;). Επομένως A!(n A )! n!. A A p k := αριθμός στοιχείων του A μεγέθους k. k!(n k)!p k n! k k Άρα A = k p k = ( ) n n/2 k p k ( n k) 1. p k ( n/2 ) ( ) n n n/2 k p k ( n k) ( n n/2 ).
31 Άσκηση 1. Δώστε το καλύτερο κάτω φράγμα που μπορείτε στο πλήθος των διακεκριμένων αντιαλυσίδων της δομής (2 S, ), όπου S = n. Άσκηση 2. Βρείτε το μέγιστο μέγεθος αλυσίδας της δομής (2 S, ), όπου S = n. Άσκηση 3. Δώστε το καλύτερο κάτω φράγμα που μπορείτε στο πλήθος των διακεκριμένων αλυσίδων της δομής (2 S, ), όπου S = n.
32 that C A 1, i.e., every chain C and every antichain A can have at mos common (for two points in their intersection would be both comparable and inc Here are some frequently encountered examples of posets: a family of sets is by set inclusion; a set of positive integers is partially ordered by division; a set o partially Αποσύνθεση orderedενός by (aδιατεταγμένου 1,...,a n ) < (b 1,...,b σύνολου n )iffp aκαλείται i b i for μια all i, and a i <b i fo διαμέριση Small posets τουmay σε αμοιβαία be visualized ξένες by drawings, αλυσίδες. known as Hasse diagrams: x is than y whenever x<yand there is no other point z P for which both x< example: c(p) := ελάχιστος αριθμός αλυσίδων σε μια αποσύνθεση του P. {a,b,c} 18 Σχέσεις Ισοδυναμίας Μερικές Διατάξεις Θεώρημα του Sperner Θεώρημα του Dilworth Εφαρμογές του Θ. Dilwo {b,c} {a,c} {a,b} 6 9 {a} {b} {c} 2 3 O 1 Τετριμμένα στο παράδειγμα c(p) 8. Τελικά c(p) = Decomposition in chains and antichains A decomposition of a poset is its partition into mutually disjoint chains or
33 r(p) := μέγιστο μέγεθος αντιαλυσίδας στο P. Υπάρχει σχέση ανάμεσα στο c(p) και το r(p); Παρατήρηση Σε κάθε πεπερασμένο διατεταγμένο σύνολο P, r(p) c(p). Δοσμένης μια συλλογής από αλυσίδες, μια αντιαλυσίδα μπορεί να περιέχει μόνο ένα στοιχείο από κάθε αλυσίδα της συλλογής.
34 r(p) := μέγιστο μέγεθος αντιαλυσίδας στο P. Υπάρχει σχέση ανάμεσα στο c(p) και το r(p); Παρατήρηση Σε κάθε πεπερασμένο διατεταγμένο σύνολο P, r(p) c(p). Δοσμένης μια συλλογής από αλυσίδες, μια αντιαλυσίδα μπορεί να περιέχει μόνο ένα στοιχείο από κάθε αλυσίδα της συλλογής. Θεώρημα (Dilworth, 1950) Σε κάθε πεπερασμένο διατεταγμένο σύνολο P, c(p) r(p). Πόρισμα Σε κάθε πεπερασμένο διατεταγμένο σύνολο P, c(p) = r(p).
35 Απόδειξη του Θεωρήματος του Dilworth Με επαγωγή στο P. Εστω a ένα μεγιστικό στοιχείο του P και n = r(p ), όπου P = P {a}. Από Ε.Υ., P ένωση n ξένων αλυσίδων C 1,..., C n. Θα δείξουμε ότι το P είτε περιέχει μια αντιαλυσίδα μεγέθους n + 1 είτε είναι ένωση το πολύ n αλυσίδων. Κάθε αντιαλυσίδα μεγέθους n στο P περιέχει ακριβώς ένα στοιχείο από κάθε C i. Εστω a i το μεγιστικό στοιχείο της C i που ανήκει σε κάποια αντιαλυσίδα μεγέθους n του P. ΛΗΜΜΑ: το A = {a 1,..., a n } είναι αντιαλυσίδα.
36 Απόδειξη του ΛΗΜΜΑΤΟΣ Γνωρίζουμε ότι μία αντιαλυσίδα δεν μπορεί να περιέχει πάνω από ένα στοιχείο από την ίδια αλυσίδα. Επομένως μία αντιαλυσίδα μεγέθους n στο P πρέπει να περιέχει ακριβώς ένα στοιχείο από κάθε αλυσίδα C i, i = 1,..., n. Εστω ότι το Λήμμα δεν ισχύει και υπάρχουν a i, a j, i j, τέτοια ώστε a i < a j. Εξ ορισμού το a j ανήκει σε κάποια αντιαλυσίδα X μεγέθους n και η X πρέπει να περιέχει ακριβώς ένα στοιχείο a i από τη C i. Τότε πρέπει a i < a i, άτοπο γιατί έχουμε ορίσει το a i ως το μεγιστικό στοιχείο της C i που ανήκει σε αντιαλυσίδα μεγέθους n.
37 Απόδειξη του Θεωρήματος του Dilworth Με επαγωγή στο P. Εστω a ένα μεγιστικό στοιχείο του P και n = r(p ), όπου P = P {a}. Από Ε.Υ., P ένωση n ξένων αλυσίδων C 1,..., C n. Θα δείξουμε ότι το P είτε περιέχει μια αντιαλυσίδα μεγέθους n + 1 είτε είναι ένωση το πολύ n αλυσίδων. Κάθε αντιαλυσίδα μεγέθους n στο P περιέχει ακριβώς ένα στοιχείο από κάθε C i. Εστω a i το μεγιστικό στοιχείο της C i που ανήκει σε κάποια αντιαλυσίδα μεγέθους n του P. ΛΗΜΜΑ: το A = {a 1,..., a n } είναι αντιαλυσίδα. Αν A {a} αντιαλυσίδα στο P, τελειώσαμε.
38 Απόδειξη του Θεωρήματος του Dilworth Με επαγωγή στο P. Εστω a ένα μεγιστικό στοιχείο του P και n = r(p ), όπου P = P {a}. Από Ε.Υ., P ένωση n ξένων αλυσίδων C 1,..., C n. Θα δείξουμε ότι το P είτε περιέχει μια αντιαλυσίδα μεγέθους n + 1 είτε είναι ένωση το πολύ n αλυσίδων. Κάθε αντιαλυσίδα μεγέθους n στο P περιέχει ακριβώς ένα στοιχείο από κάθε C i. Εστω a i το μεγιστικό στοιχείο της C i που ανήκει σε κάποια αντιαλυσίδα μεγέθους n του P. ΛΗΜΜΑ: το A = {a 1,..., a n } είναι αντιαλυσίδα. Αν A {a} αντιαλυσίδα στο P, τελειώσαμε. Ειδάλλως a > a i για κάποιο i. Τότε K = {a} {x C i : x a i } αλυσίδα στο P, και δεν υπάρχουν αντιαλυσίδες n στοιχείων στο P K, (αφού a i το μεγιστικό στοιχείο του C i που συμμετέχει σε τέτοια αντιαλυσίδα), άρα από Ε.Υ. το P K είναι ένωση το πολύ n 1 αλυσίδων. Δηλ. το P είναι ένωση το πολύ n αλυσίδων.
39 Παρατηρήσεις στο Θεώρημα του Dilworth Παρατήρηση Αποδείξαμε το θεώρημα για οποιοδήποτε πεπερασμένο διατεταγμένο σύνολο P, όχι μόνο για τη δομή (2 S, ). Παρατήρηση Γνωστά θεωρήματα, όπως το Θεώρημα του Hall, προκύπτουν ως πορίσματα του Θεωρήματος του Dilworth. Ακολουθούν δύο τέτοια παραδείγματα με θεωρήματα που έχουμε κάνει στο μάθημα.
40 Θεώρημα (Hall και άλλοι, ) Ενα διμερές γράφημα G = (L R, E) περιέχει ταίριασμα του L αν για κάθε υποσύνολο S του L S Γ(S). Αποδειξη: Εστω P = L R. Ορίζουμε σχέση μερικής διάταξης: για x R, y i L, x<y i, αν x Γ({y i }). Το R είναι αντιαλυσίδα του P (εύκολο) με μέγιστο μεγέθος (γιατί;). Από Dilworth, υπάρχει αποσύνθεση C του P σε R ξένες αλυσίδες. Κάθε μία από τις αλυσίδες της C πρέπει να περιέχει ένα στοιχείο του R. Άρα οι L αλυσίδες που καλύπτουν το L είναι της μορφής {x i, y i }, x i Γ({y i }), i = 1,..., m. Οι αντίστοιχες ακμές είναι το ταίριασμα του L.
41 Εχουμε αποδείξει στην τάξη το παρακάτω θεώρημα. Θεώρημα (Erdős-Szekeres, 1935) Εστω A = (a 1,..., a n 2 +1) ακολουθία πραγματικών αριθμών. Η A περιέχει αύξουσα υπακολουθία με n + 1 όρους ή φθίνουσα υπακολουθία με n + 1 όρους. Θα δείξουμε πως το Θεώρημα Erdős-Szekeres είναι επίσης πόρισμα του Θεωρήματος του Dilworth.
42 Θεώρημα (Erdős-Szekeres, 1935) Εστω A = (a 1,..., a n 2 +1) ακολουθία πραγματικών αριθμών. Η A περιέχει αύξουσα υπακολουθία με n + 1 όρους ή φθίνουσα υπακολουθία με n + 1 όρους. Αποδειξη: Ορισε μερική διάταξη στο A : a i a j, αν a i a j και i j. Αν υπάρχει αποσύνθεση του A σε το πολύ n αλυσίδες, μία αλυσίδα περιέχει τουλάχιστον (n 2 + 1)/n = n + 1 στοιχεία. Αν κάθε αποσύνθεση του A απαιτεί τουλάχιστον n + 1 αλυσίδες, υπάρχει αντιαλυσίδα μεγέθους τουλάχιστον n + 1. Οι αλυσίδες αντιστοιχούν σε αύξουσες υπακολουθίες και οι αντιαλυσίδες σε φθίνουσες υπακολουθίες (γιατί;).
43 Ομοίως αποδεικνύεται η παρακάτω γενίκευση. Θεώρημα (Erdős-Szekeres, 1935) Εστω A = (a 1,..., a n ) ακολουθία πραγματικών αριθμών με n rs + 1. Η A περιέχει αύξουσα υπακολουθία με r + 1 όρους ή φθίνουσα υπακολουθία με s + 1 όρους.
44 Αν υπάρχει αποσύνθεση του P σε r αντιαλυσίδες A 1,..., A r, οποιαδήποτε αλυσίδα C θα έχει μέγεθος το πολύ r, αφού η C δεν μπορεί να περιέχει πάνω από ένα στοιχείο από κάθε αντιαλυσίδα. Άρα z(p) a(p). Το «δυϊκό» του Θεωρήματος του Dilworth ισχύει. Θεώρημα (Mirsky, 1971) Το μέγιστο μέγεθος αλυσίδας σε ένα πεπερασμένο μερικώς διατεταγμένο σύνολο P ισούται με το ελάχιστο πλήθος ξένων αντιαλυσίδων σε μια αποσύνθεση του P. Συμβολίζουμε με z(p) το μέγιστο μέγεθος αλυσίδας και a(p) το ελάχιστο πλήθος ξένων αντιαλυσίδων σε μια αποσύνθεση. Θα δείξουμε ότι 1 z(p) a(p). 2 a(p) z(p).
45 Θεώρημα Αν η μεγαλύτερη αλυσίδα C στο P έχει μέγεθος r, υπάρχει αποσύνθεση του P που αποτελείται από το πολύ r αντιαλυσίδες. Δηλ. a(p) z(p). Αποδειξη: Για r = 1 ισχύει.υπέθεσε ότι το θεώρημα ισχύει για r 1 1, θα δείξουμε για r 2. Ορισε M το σύνολο των μεγιστικών στοιχείων στο P. Το M είναι αντιαλυσίδα. Αν το P M περιέχει αλυσίδα x 1 < x 2 <... < x r αυτή ως μέγιστη στο P θα ήταν και μεγιστική στο P, επομένως x r M, άτοπο. Άρα η μέγιστη αλυσίδα στο P M έχει το πολύ r 1 στοιχεία. Από την επαγωγική υπόθεση το P M είναι ένωση το πολύ r 1 ξένων αντιαλυσίδων. Αυτές μαζί με την M δίνουν την επιθυμητή αποσύνθεση του P σε το πολύ r αντιαλυσίδες.
Μαθηματικά Πληροφορικής Συνδυαστικά Θεωρήματα σε Πεπερασμένα Σύνολα
Μαθηματικά Πληροφορικής Συνδυαστικά Θεωρήματα σε Πεπερασμένα Σύνολα Μια διμελής σχέση πάνω σε ένα σύνολο X καλείται μερική διάταξη αν η είναι ανακλαστική, αντισυμμετρική και μεταβατική, δηλαδή: a X, a
Διαβάστε περισσότεραΣχέσεις. Ορισμός Εστω σύνολα A, B. (Διμελής) σχέση ονομάζεται ένα σύνολο R A B. ΠΑΡΑΔΕΙΓΜΑ A = B = {σύνολο των ενεργών φοιτητών του di}. 1 a X, ara.
Σχέσεις Μαθηματικά Πληροφορικής 8ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Ορισμός Εστω σύνολα A, B. (Διμελής) σχέση ονομάζεται ένα σύνολο R A B. Η έννοια της σχέσης γενικεύει
Διαβάστε περισσότεραΣχέσεις. Ορισμός Εστω σύνολα A, B. (Διμελής) σχέση ονομάζεται ένα σύνολο R A B. ΠΑΡΑΔΕΙΓΜΑ A = B = {σύνολο των ενεργών φοιτητών του di}. 1 a X, ara.
Σχέσεις Μαθηματικά Πληροφορικής 8ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Ορισμός Εστω σύνολα A, B. (Διμελής) σχέση ονομάζεται ένα σύνολο R A B. Η έννοια της σχέσης γενικεύει
Διαβάστε περισσότεραΣχέσεις, Ιδιότητες, Κλειστότητες
Σχέσεις, Ιδιότητες, Κλειστότητες Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις 1 / 26 Εισαγωγή & Ορισµοί ιµελής Σχέση R από
Διαβάστε περισσότεραΥπολογιστικά & Διακριτά Μαθηματικά
Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 8: Σχέσεις - Πράξεις Δομές Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διαβάστε περισσότεραΙσοδυναµίες, Μερικές ιατάξεις
Ισοδυναµίες, Μερικές ιατάξεις Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις 1 / 18 Σύνοψη Προηγούµενου Σχέσεις, Ιδιότητες, Αναπαράσταση
Διαβάστε περισσότεραΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006
Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Ολοι οι αριθμοί που αναφέρονται σε όλα τα ερωτήματα είναι μικρότεροι το 1000 εκτός αν ορίζεται διαφορετικά στη διατύπωση του προβλήματος. Διάρκεια: 3,5 ώρες Καλή
Διαβάστε περισσότεραFractional Colorings and Zykov Products of graphs
Fractional Colorings and Zykov Products of graphs Who? Nichole Schimanski When? July 27, 2011 Graphs A graph, G, consists of a vertex set, V (G), and an edge set, E(G). V (G) is any finite set E(G) is
Διαβάστε περισσότεραΔρ. Βασίλειος Γ. Καμπουρλάζος Δρ. Ανέστης Γ. Χατζημιχαηλίδης
Μάθημα 7α Δρ. Βασίλειος Γ. Καμπουρλάζος Τμήμα Μηχανικών Πληροφορικής Τ.Ε. ΤΕΙ Ανατολικής Μακεδονίας και Θράκης 2017-2018 Μια Ενοποιητική Προσέγγιση στην ΥΝ Η Θεωρία Πλεγμάτων στην ΥΝ. Υπολογιστικές Μεθοδολογίες
Διαβάστε περισσότεραΣχέση Μερικής ιάταξης Σχέση Μερικής ιάταξης (ή µερική διάταξη): ανακλαστική, αντισυµµετρική, και µεταβατική. Αριθµοί: α β (αλλά όχι α < β), α β, Σύνολ
Σχέσεις Μερικής ιάταξης ιδάσκοντες: Φ. Αφράτη, Σ. Ζάχος,. Σούλιου Επιµέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Σχέση Μερικής ιάταξης
Διαβάστε περισσότεραΣχέσεις Μερικής ιάταξης
Σχέσεις Μερικής ιάταξης ιδάσκοντες:. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Σχέση Μερικής ιάταξης Σχέση Μερικής
Διαβάστε περισσότεραFinite Field Problems: Solutions
Finite Field Problems: Solutions 1. Let f = x 2 +1 Z 11 [x] and let F = Z 11 [x]/(f), a field. Let Solution: F =11 2 = 121, so F = 121 1 = 120. The possible orders are the divisors of 120. Solution: The
Διαβάστε περισσότεραΔιάλεξη 4: Απόδειξη: Για την κατεύθυνση, παρατηρούμε ότι διαγράφοντας μια κορυφή δεν μπορούμε να διαχωρίσουμε τα u και v. Αποδεικνύουμε
Διάλεξη 4: 20.10.2016 Θεωρία Γραφημάτων Γραφέας: Σ. Κ. Διδάσκων: Σταύρος Κολλιόπουλος 4.1 2-συνεκτικά γραφήματα (συνέχεια) Πρόταση 4.1 Δύο μπλοκ ενός γραφήματος G μοιράζονται το πολύ μία κορυφή. Απόδειξη:
Διαβάστε περισσότεραOrdinal Arithmetic: Addition, Multiplication, Exponentiation and Limit
Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ting Zhang Stanford May 11, 2001 Stanford, 5/11/2001 1 Outline Ordinal Classification Ordinal Addition Ordinal Multiplication Ordinal
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο
Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνολα Συναρτήσεις και Σχέσεις Γραφήματα Λέξεις και Γλώσσες Αποδείξεις ΕΠΛ 211 Θεωρία
Διαβάστε περισσότεραEE512: Error Control Coding
EE512: Error Control Coding Solution for Assignment on Finite Fields February 16, 2007 1. (a) Addition and Multiplication tables for GF (5) and GF (7) are shown in Tables 1 and 2. + 0 1 2 3 4 0 0 1 2 3
Διαβάστε περισσότεραΔιάλεξη 4: Θεωρία Γραφημάτων Γραφέας: Σ. Κ. Διδάσκων: Σταύρος Κολλιόπουλος συνεκτικά γραφήματα (συνέχεια) Πρόταση 4.1 Δύο μπλοκ ενός
Διάλεξη 4: 20.10.2016 Θεωρία Γραφημάτων Γραφέας: Σ. Κ. Διδάσκων: Σταύρος Κολλιόπουλος 4.1 2-συνεκτικά γραφήματα (συνέχεια) Πρόταση 4.1 Δύο μπλοκ ενός γραφήματος G μοιράζονται το πολύ μία κορυφή. Απόδειξη:
Διαβάστε περισσότεραEvery set of first-order formulas is equivalent to an independent set
Every set of first-order formulas is equivalent to an independent set May 6, 2008 Abstract A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent
Διαβάστε περισσότεραΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007
Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Αν κάπου κάνετε κάποιες υποθέσεις να αναφερθούν στη σχετική ερώτηση. Όλα τα αρχεία που αναφέρονται στα προβλήματα βρίσκονται στον ίδιο φάκελο με το εκτελέσιμο
Διαβάστε περισσότεραΣύνολα, Σχέσεις, Συναρτήσεις
Κεφάλαιο 2 Σύνολα, Σχέσεις, Συναρτήσεις Τα σύνολα, οι σχέσεις και οι συναρτήσεις χρησιμοποιούνται ευρύτατα σε κάθε είδους μαθηματικές αναπαραστάσεις και μοντελοποιήσεις. Στη θεωρία υπολογισμού χρησιμεύουν,
Διαβάστε περισσότεραMatrices and Determinants
Matrices and Determinants SUBJECTIVE PROBLEMS: Q 1. For what value of k do the following system of equations possess a non-trivial (i.e., not all zero) solution over the set of rationals Q? x + ky + 3z
Διαβάστε περισσότεραa. a + b = 3. b. a διαιρεί τ ο b. c. a - b = 0. d. ΜΚΔ(a, b) = 1. e. ΕΚΠ(a, b) = 6.
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 4 η Σειρά Ασκήσεων - Λύσεις Άσκηση 4.1 [1 μονάδα] Βρείτε όλα τα διατεταγμένα ζεύγη στη σχέση R από το Α={0,1,2,3} στο Β={0,1,2,3,4} όπου (a,b) R αν και μόνο
Διαβάστε περισσότεραΔρ. Βασίλειος Γ. Καμπουρλάζος Δρ. Ανέστης Γ. Χατζημιχαηλίδης
Μάθημα 7 ο Δρ. Βασίλειος Γ. Καμπουρλάζος Τμήμα Μηχανικών Πληροφορικής Τ.Ε. ΤΕΙ Ανατολικής Μακεδονίας και Θράκης 2016-2017 Μια Ενοποιητική Προσέγγιση στην ΥΝ Η Θεωρία Πλεγμάτων στην ΥΝ. Υπολογιστικές Μεθοδολογίες
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 2: Μαθηματικό Υπόβαθρο
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 2: Μαθηματικό Υπόβαθρο Τι θα κάνουμε σήμερα Συναρτήσεις & Σχέσεις (0.2.3) Γράφοι (Γραφήματα) (0.2.4) Λέξεις και Γλώσσες (0.2.5) Αποδείξεις (0.3) 1
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Παρασκευή, 16/03/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 17-Mar-18
Διαβάστε περισσότερα2 Composition. Invertible Mappings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Composition. Invertible Mappings In this section we discuss two procedures for creating new mappings from old ones, namely,
Διαβάστε περισσότεραΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ
ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΗΜΥ 311: Διακριτή Ανάλυση και Δομές Χειμερινό Εξάμηνο 016 Σειρά Ασκήσεων 5: Απαρίθμηση, Αρχή της Θυρίδας, Συνδυασμοί και Μεταθέσεις, Γραφήματα και
Διαβάστε περισσότεραΣύνοψη Προηγούµενου. Ισοδυναµίες, Μερικές ιατάξεις. Σχέσεις Ισοδυναµίας. Σχέσεις, Ιδιότητες, Αναπαράσταση. Ανακλαστικές (a, a) R
Σύνοψη Προηγούµενου Σχέσεις, Ιδιότητες, Αναπαράσταση Ισοδυναµίες, Μερικές ιατάξεις Ορέστης Τελέλης tllis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ανακλαστικές (, ) R Συµµετρικές (, ) R
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 1. Μαθηματικό Υπόβαθρο 23, 26 Ιανουαρίου 2007 Δρ. Παπαδοπούλου Βίκη 1 1.1. Σύνολα Ορισμός : Σύνολο μια συλλογή από αντικείμενα Στοιχεία: Μέλη συνόλου Τα στοιχεία
Διαβάστε περισσότεραΔιάλεξη 7: X Y Σχήμα 7.2: Παράδειγμα για το Πόρισμα 7.2, όπου: 1 = {1, 2, 5}, 2 = {1, 2, 3}, 3 = {4}, 4 = {1, 3, 4}. Θ
Διάλεξη 7: 2.11.2016 Θεωρία Γραφημάτων Διδάσκων: Σταύρος Κολλιόπουλος Γραφέας: Βασίλης Μαργώνης & Σ. Κ. 7.1 Εφαρμογές του Θεωρήματος του Hall Πόρισμα 7.1 (Ελλειματική εκδοχή Θεωρήματος Hall) Δίνεται διμερές
Διαβάστε περισσότεραST5224: Advanced Statistical Theory II
ST5224: Advanced Statistical Theory II 2014/2015: Semester II Tutorial 7 1. Let X be a sample from a population P and consider testing hypotheses H 0 : P = P 0 versus H 1 : P = P 1, where P j is a known
Διαβάστε περισσότεραΣχέσεις Μερικής Διάταξης
Σχέση Μερικής Διάταξης Σχέσεις Μερικής Διάταξης Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Σχέση Μερικής Διάταξης (ή μερική
Διαβάστε περισσότεραΣχέσεις Μερικής ιάταξης
Σχέσεις Μερικής ιάταξης ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Σχέση Μερικής ιάταξης Σχέση Μερικής
Διαβάστε περισσότεραΣχέσεις Μερικής ιάταξης
Σχέσεις Μερικής ιάταξης ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Σχέση Μερικής ιάταξης Σχέση Μερικής
Διαβάστε περισσότεραChapter 3: Ordinal Numbers
Chapter 3: Ordinal Numbers There are two kinds of number.. Ordinal numbers (0th), st, 2nd, 3rd, 4th, 5th,..., ω, ω +,... ω2, ω2+,... ω 2... answers to the question What position is... in a sequence? What
Διαβάστε περισσότερα2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.
EAMCET-. THEORY OF EQUATIONS PREVIOUS EAMCET Bits. Each of the roots of the equation x 6x + 6x 5= are increased by k so that the new transformed equation does not contain term. Then k =... - 4. - Sol.
Διαβάστε περισσότεραΠέμπτη 8 εκεμβρίου 2016 Θεόδωρος Τζουραμάνης Επίκουρος Καθηγητής. ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
ιακριτά Μαθηματικά Ι https://www.icsd.aegean.gr/t.tzouramanis/courses/dm1 ttzouram@aegean.gr Πέμπτη 8 εκεμβρίου 2016 Θεόδωρος Τζουραμάνης Επίκουρος Καθηγητής ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ Τμήμα Μηχανικών Πληροφοριακών
Διαβάστε περισσότεραk A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +
Chapter 3. Fuzzy Arithmetic 3- Fuzzy arithmetic: ~Addition(+) and subtraction (-): Let A = [a and B = [b, b in R If x [a and y [b, b than x+y [a +b +b Symbolically,we write A(+)B = [a (+)[b, b = [a +b
Διαβάστε περισσότεραΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΕΙΣΑΓΩΓΗ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ. ΤΙ ΕΙΝΑΙ ΤΑ ΜΑΘΗΜΑΤΙΚΑ; Η επιστήμη των αριθμών Βασανιστήριο για τους μαθητές και φοιτητές Τέχνη για τους μαθηματικούς ΜΑΘΗΜΑΤΙΚΑ Α Εξάμηνο ΙΩΑΝΝΗΣ
Διαβάστε περισσότεραOther Test Constructions: Likelihood Ratio & Bayes Tests
Other Test Constructions: Likelihood Ratio & Bayes Tests Side-Note: So far we have seen a few approaches for creating tests such as Neyman-Pearson Lemma ( most powerful tests of H 0 : θ = θ 0 vs H 1 :
Διαβάστε περισσότεραHY380 Αλγόριθμοι και πολυπλοκότητα Hard Problems
HY380 Αλγόριθμοι και πολυπλοκότητα Hard Problems Ημερομηνία Παράδοσης: 0/1/017 την ώρα του μαθήματος ή με email: mkarabin@csd.uoc.gr Γενικές Οδηγίες α) Επιτρέπεται η αναζήτηση στο Internet και στην βιβλιοθήκη
Διαβάστε περισσότεραΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 24/3/2007
Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Όλοι οι αριθμοί που αναφέρονται σε όλα τα ερωτήματα μικρότεροι του 10000 εκτός αν ορίζεται διαφορετικά στη διατύπωση του προβλήματος. Αν κάπου κάνετε κάποιες υποθέσεις
Διαβάστε περισσότεραΑλγόριθμοι και πολυπλοκότητα NP-Completeness (2)
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αλγόριθμοι και πολυπλοκότητα NP-Completeness (2) Ιωάννης Τόλλης Τμήμα Επιστήμης Υπολογιστών NP-Completeness (2) x 1 x 1 x 2 x 2 x 3 x 3 x 4 x 4 12 22 32 11 13 21
Διαβάστε περισσότεραΓράφηµα (Graph) Εργαστήριο 10. Εισαγωγή
Εργαστήριο 10 Γράφηµα (Graph) Εισαγωγή Στην πληροφορική γράφηµα ονοµάζεται µια δοµή δεδοµένων, που αποτελείται από ένα σύνολο κορυφών ( vertices) (ή κόµβων ( nodes» και ένα σύνολο ακµών ( edges). Ενας
Διαβάστε περισσότεραReminders: linear functions
Reminders: linear functions Let U and V be vector spaces over the same field F. Definition A function f : U V is linear if for every u 1, u 2 U, f (u 1 + u 2 ) = f (u 1 ) + f (u 2 ), and for every u U
Διαβάστε περισσότεραΘεωρία Γραφημάτων Θεμελιώσεις-Αλγόριθμοι-Εφαρμογές
Θεωρία Γραφημάτων Θεμελιώσεις-Αλγόριθμοι-Εφαρμογές Ενότητα 8 ΤΕΛΕΙΑ ΓΡΑΦΗΜΑΤΑ Σταύρος Δ. Νικολόπουλος 2017-18 www.cs.uoi.gr/~stavros Εισαγωγή Βασικοί Αλγόριθμοι Γραφημάτων Πολυπλοκότητα χώρου και χρόνου:
Διαβάστε περισσότεραSection 8.2 Graphs of Polar Equations
Section 8. Graphs of Polar Equations Graphing Polar Equations The graph of a polar equation r = f(θ), or more generally F(r,θ) = 0, consists of all points P that have at least one polar representation
Διαβάστε περισσότεραStatistical Inference I Locally most powerful tests
Statistical Inference I Locally most powerful tests Shirsendu Mukherjee Department of Statistics, Asutosh College, Kolkata, India. shirsendu st@yahoo.co.in So far we have treated the testing of one-sided
Διαβάστε περισσότεραThe challenges of non-stable predicates
The challenges of non-stable predicates Consider a non-stable predicate Φ encoding, say, a safety property. We want to determine whether Φ holds for our program. The challenges of non-stable predicates
Διαβάστε περισσότεραω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω
0 1 2 3 4 5 6 ω ω + 1 ω + 2 ω + 3 ω + 4 ω2 ω2 + 1 ω2 + 2 ω2 + 3 ω3 ω3 + 1 ω3 + 2 ω4 ω4 + 1 ω5 ω 2 ω 2 + 1 ω 2 + 2 ω 2 + ω ω 2 + ω + 1 ω 2 + ω2 ω 2 2 ω 2 2 + 1 ω 2 2 + ω ω 2 3 ω 3 ω 3 + 1 ω 3 + ω ω 3 +
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Παρασκευή, 01/04/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 4/3/2016
Διαβάστε περισσότεραOn a four-dimensional hyperbolic manifold with finite volume
BULETINUL ACADEMIEI DE ŞTIINŢE A REPUBLICII MOLDOVA. MATEMATICA Numbers 2(72) 3(73), 2013, Pages 80 89 ISSN 1024 7696 On a four-dimensional hyperbolic manifold with finite volume I.S.Gutsul Abstract. In
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 016 Λύσεις ασκήσεων προόδου Θέμα 1: [16 μονάδες] [8] Έστω ότι μας δίνουν τα παρακάτω δεδομένα: Εάν αυτό το πρόγραμμα ΗΥ είναι αποδοτικό, τότε εκτελείται γρήγορα.
Διαβάστε περισσότεραQuadratic Expressions
Quadratic Expressions. The standard form of a quadratic equation is ax + bx + c = 0 where a, b, c R and a 0. The roots of ax + bx + c = 0 are b ± b a 4ac. 3. For the equation ax +bx+c = 0, sum of the roots
Διαβάστε περισσότεραHomework 8 Model Solution Section
MATH 004 Homework Solution Homework 8 Model Solution Section 14.5 14.6. 14.5. Use the Chain Rule to find dz where z cosx + 4y), x 5t 4, y 1 t. dz dx + dy y sinx + 4y)0t + 4) sinx + 4y) 1t ) 0t + 4t ) sinx
Διαβάστε περισσότεραΠανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 7: Σχέσεις και Συναρτήσεις
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 7: Σχέσεις και Συναρτήσεις Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών
Διαβάστε περισσότεραS A : N G (S) N G (S) + d S d + d = S
Διάλεξη 7: 2.11.2016 Θεωρία Γραφημάτων Διδάσκων: Σταύρος Κολλιόπουλος Γραφέας: Βασίλης Μαργώνης 7.1 Εφαρμογές του Θεωρήματος του Hall Πόρισμα 7.1 (Ελλειματική εκδοχή Θεωρήματος Hall) Εάν σε διμερές γράφημα
Διαβάστε περισσότεραANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?
Teko Classes IITJEE/AIEEE Maths by SUHAAG SIR, Bhopal, Ph (0755) 3 00 000 www.tekoclasses.com ANSWERSHEET (TOPIC DIFFERENTIAL CALCULUS) COLLECTION # Question Type A.Single Correct Type Q. (A) Sol least
Διαβάστε περισσότεραExample Sheet 3 Solutions
Example Sheet 3 Solutions. i Regular Sturm-Liouville. ii Singular Sturm-Liouville mixed boundary conditions. iii Not Sturm-Liouville ODE is not in Sturm-Liouville form. iv Regular Sturm-Liouville note
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε κατά
Διαβάστε περισσότεραΚατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός
Κατευθυνόμενα γραφήματα Μαθηματικά Πληροφορικής 6ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Κατευθυνόμενο γράφημα G είναι ένα ζεύγος (V, E ) όπου V πεπερασμένο σύνολο του οποίου
Διαβάστε περισσότεραΑΛΓΟΡΙΘΜΟΙ Άνοιξη I. ΜΗΛΗΣ
ΑΛΓΟΡΙΘΜΟΙ http://eclass.aueb.gr/courses/inf6/ Άνοιξη 26 - I. ΜΗΛΗΣ NP-complete προβλήματα ΑΛΓΟΡΙΘΜΟΙ - ΑΝΟΙΞΗ 26 - Ι. ΜΗΛΗΣ 6 NP-COMPLETENESS II Tree of reductions (partial) Cook s Th. Π NP SAT 3-SAT
Διαβάστε περισσότεραΜορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης. Οταν το πρόβλημα έχει πεπερασμ
Μαθηματικά Πληροφορικής 4ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Μορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης.
Διαβάστε περισσότεραSecond Order Partial Differential Equations
Chapter 7 Second Order Partial Differential Equations 7.1 Introduction A second order linear PDE in two independent variables (x, y Ω can be written as A(x, y u x + B(x, y u xy + C(x, y u u u + D(x, y
Διαβάστε περισσότεραPhys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)
Phys460.nb 81 ψ n (t) is still the (same) eigenstate of H But for tdependent H. The answer is NO. 5.5.5. Solution for the tdependent Schrodinger s equation If we assume that at time t 0, the electron starts
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΕΠΛ342: Βάσεις Δεδομένων. Χειμερινό Εξάμηνο Φροντιστήριο 10 ΛΥΣΕΙΣ. Επερωτήσεις SQL
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ342: Βάσεις Δεδομένων Χειμερινό Εξάμηνο 2013 Φροντιστήριο 10 ΛΥΣΕΙΣ Επερωτήσεις SQL Άσκηση 1 Για το ακόλουθο σχήμα Suppliers(sid, sname, address) Parts(pid, pname,
Διαβάστε περισσότεραSCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions
SCHOOL OF MATHEMATICAL SCIENCES GLMA Linear Mathematics 00- Examination Solutions. (a) i. ( + 5i)( i) = (6 + 5) + (5 )i = + i. Real part is, imaginary part is. (b) ii. + 5i i ( + 5i)( + i) = ( i)( + i)
Διαβάστε περισσότεραInverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- -----------------
Inverse trigonometric functions & General Solution of Trigonometric Equations. 1. Sin ( ) = a) b) c) d) Ans b. Solution : Method 1. Ans a: 17 > 1 a) is rejected. w.k.t Sin ( sin ) = d is rejected. If sin
Διαβάστε περισσότεραΠρόβλημα 1: Αναζήτηση Ελάχιστης/Μέγιστης Τιμής
Πρόβλημα 1: Αναζήτηση Ελάχιστης/Μέγιστης Τιμής Να γραφεί πρόγραμμα το οποίο δέχεται ως είσοδο μια ακολουθία S από n (n 40) ακέραιους αριθμούς και επιστρέφει ως έξοδο δύο ακολουθίες από θετικούς ακέραιους
Διαβάστε περισσότεραΕλληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 3 : Γραφήματα & Αποδείξεις. Αλέξανδρος Τζάλλας
1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 3 : Γραφήματα & Αποδείξεις Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Τμήμα Μηχανικών Πληροφορικής
Διαβάστε περισσότεραMINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS
MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS FUMIE NAKAOKA AND NOBUYUKI ODA Received 20 December 2005; Revised 28 May 2006; Accepted 6 August 2006 Some properties of minimal closed sets and maximal closed
Διαβάστε περισσότεραΜαθηματικά Πληροφορικής
Μαθηματικά Πληροφορικής 7ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Ταιριάσματα(matchings) Ορισμός(Ταίριασμα) Εστωγράφημα G = (V,E).Ταίριασμακαλείταιένασύνολο M E,τέτοιοώστεκάθεκόμβοςτου
Διαβάστε περισσότεραP(n, r) = n! P(n, r) = n r. (n r)! n r. n+r 1 r n!
Διακριτά Μαθηματικά Σύνοψη Θεωρίας Τυπολόγιο Αναστασία Κόλλια 20/11/2016 1 / 55 Κανόνες γινομένου και αθροίσματος Κανόνας αθροίσματος: Αν ένα γεγονός μπορεί να συμβεί κατά m τρόπους και ένα άλλο γεγονός
Διαβάστε περισσότεραΚατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός
Κατευθυνόμενα γραφήματα Μαθηματικά Πληροφορικής 6ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Κατευθυνόμενο γράφημα G είναι ένα ζεύγος (V, E ) όπου V πεπερασμένο σύνολο του οποίου
Διαβάστε περισσότεραΤι είναι σύνολο; Ο ορισμός αυτός είναι σύμφωνος με τη διαισθητική μας κατανόηση για το τι είναι σύνολο
ΣΥΝΟΛΑ Τι είναι σύνολο; Ένας ορισμός «Μια συλλογή αντικειμένων διακεκριμένων και πλήρως καθορισμένων που λαμβάνονται από τον κόσμο είτε της εμπειρίας μας είτε της σκέψης μας» (Cantor, 19 ος αιώνας) Ο ορισμός
Διαβάστε περισσότεραStrukturalna poprawność argumentu.
Strukturalna poprawność argumentu. Marcin Selinger Uniwersytet Wrocławski Katedra Logiki i Metodologii Nauk marcisel@uni.wroc.pl Table of contents: 1. Definition of argument and further notions. 2. Operations
Διαβάστε περισσότεραMain source: "Discrete-time systems and computer control" by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1
Main source: "Discrete-time systems and computer control" by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1 A Brief History of Sampling Research 1915 - Edmund Taylor Whittaker (1873-1956) devised a
Διαβάστε περισσότεραΚΥΠΡΙΑΚΟΣ ΣΥΝΔΕΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY 21 ος ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ Δεύτερος Γύρος - 30 Μαρτίου 2011
Διάρκεια Διαγωνισμού: 3 ώρες Απαντήστε όλες τις ερωτήσεις Μέγιστο Βάρος (20 Μονάδες) Δίνεται ένα σύνολο από N σφαιρίδια τα οποία δεν έχουν όλα το ίδιο βάρος μεταξύ τους και ένα κουτί που αντέχει μέχρι
Διαβάστε περισσότεραΦροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 07/04/2016
Φροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 07/04/2016 Άσκηση Φ4.1: Θεωρείστε τις ακόλουθες σχέσεις επί του συνόλου Α={1, 2, 3} 1. R={(1, 1), (1, 2), (1, 3), (3, 3)} 2. S={(1, 1), (1, 2), (2, 1), (2, 2),
Διαβάστε περισσότεραΦροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 30/03/2017
Φροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 30/03/2017 Άσκηση Φ4.1: Θεωρείστε τις ακόλουθες σχέσεις επί του συνόλου Α={1, 2, 3} 1. R={(1, 1), (1, 2), (1, 3), (3, 3)} 2. S={(1, 1), (1, 2), (2, 1), (2, 2),
Διαβάστε περισσότεραu v 4 w G 2 G 1 u v w x y z 4
Διάλεξη :.0.06 Θεωρία Γραφημάτων Γραφέας: Σ. Κ. Διδάσκων: Σταύρος Κολλιόπουλος. Εισαγωγικοί ορισμοί Ορισμός. Γράφημα G καλείται ένα ζεύγος G = (V, E) όπου V είναι το σύνολο των κορυφών (ή κόμβων) και E
Διαβάστε περισσότεραΜορφές αποδείξεων. Μαθηματικά Πληροφορικής 2ο Μάθημα. Μορφές αποδείξεων (συνέχεια) Εξαντλητική μέθοδος
Μορφές αποδείξεων Μαθηματικά Πληροφορικής ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης.
Διαβάστε περισσότεραHomework 3 Solutions
Homework 3 Solutions Igor Yanovsky (Math 151A TA) Problem 1: Compute the absolute error and relative error in approximations of p by p. (Use calculator!) a) p π, p 22/7; b) p π, p 3.141. Solution: For
Διαβάστε περισσότερα1. Πόσοι αριθμοί μικρότεροι του διαιρούνται με όλους τους μονοψήφιους αριθμούς;
ΚΥΠΡΙΚΗ ΜΘΗΜΤΙΚΗ ΤΙΡΙ ΠΡΧΙΚΟΣ ΙΩΝΙΣΜΟΣ 7//2009 ΩΡ 0:00-2:00 ΟΗΙΣ. Να λύσετε όλα τα θέματα. Κάθε θέμα βαθμολογείται με 0 μονάδες. 2. Να γράφετε με μπλε ή μαύρο μελάνι (επιτρέπεται η χρήση μολυβιού για τα
Διαβάστε περισσότερα3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β
3.4 SUM AND DIFFERENCE FORMULAS Page Theorem cos(αβ cos α cos β -sin α cos(α-β cos α cos β sin α NOTE: cos(αβ cos α cos β cos(α-β cos α -cos β Proof of cos(α-β cos α cos β sin α Let s use a unit circle
Διαβάστε περισσότεραA Note on Intuitionistic Fuzzy. Equivalence Relation
International Mathematical Forum, 5, 2010, no. 67, 3301-3307 A Note on Intuitionistic Fuzzy Equivalence Relation D. K. Basnet Dept. of Mathematics, Assam University Silchar-788011, Assam, India dkbasnet@rediffmail.com
Διαβάστε περισσότεραCRASH COURSE IN PRECALCULUS
CRASH COURSE IN PRECALCULUS Shiah-Sen Wang The graphs are prepared by Chien-Lun Lai Based on : Precalculus: Mathematics for Calculus by J. Stuwart, L. Redin & S. Watson, 6th edition, 01, Brooks/Cole Chapter
Διαβάστε περισσότεραΑρχή του Περιστερώνα. ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Αρχή του Περιστερώνα ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Συναρτήσεις Συνάρτηση: διμελής σχέση
Διαβάστε περισσότεραTMA4115 Matematikk 3
TMA4115 Matematikk 3 Andrew Stacey Norges Teknisk-Naturvitenskapelige Universitet Trondheim Spring 2010 Lecture 12: Mathematics Marvellous Matrices Andrew Stacey Norges Teknisk-Naturvitenskapelige Universitet
Διαβάστε περισσότεραPartial Differential Equations in Biology The boundary element method. March 26, 2013
The boundary element method March 26, 203 Introduction and notation The problem: u = f in D R d u = ϕ in Γ D u n = g on Γ N, where D = Γ D Γ N, Γ D Γ N = (possibly, Γ D = [Neumann problem] or Γ N = [Dirichlet
Διαβάστε περισσότεραGenerating Set of the Complete Semigroups of Binary Relations
Applied Mathematics 06 7 98-07 Published Online January 06 in SciRes http://wwwscirporg/journal/am http://dxdoiorg/036/am067009 Generating Set of the Complete Semigroups of Binary Relations Yasha iasamidze
Διαβάστε περισσότεραHOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:
HOMEWORK 4 Problem a For the fast loading case, we want to derive the relationship between P zz and λ z. We know that the nominal stress is expressed as: P zz = ψ λ z where λ z = λ λ z. Therefore, applying
Διαβάστε περισσότεραThe ε-pseudospectrum of a Matrix
The ε-pseudospectrum of a Matrix Feb 16, 2015 () The ε-pseudospectrum of a Matrix Feb 16, 2015 1 / 18 1 Preliminaries 2 Definitions 3 Basic Properties 4 Computation of Pseudospectrum of 2 2 5 Problems
Διαβάστε περισσότεραV x, y W x, y, y συνιστούν προφανώς ένα ανοικτό
81 3.2 Το θεώρημα Tychooff. Στην παράγραφο αυτή θα ασχοληθούμε με το θεώρημα Tychooff, δηλαδή ότι ένα αυθαίρετο καρτεσιανό γινόμενο συμπαγών χώρων είναι, με την τοπολογία γινόμενο, συμπαγής χώρος. Το θεώρημα
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Σχέσεις. Σχέσεις ισοδυναµίας. 15 Σχέσεις
HY118- ιακριτά Μαθηµατικά Τρίτη, 28/03/2017 Σχέσεις Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen
Διαβάστε περισσότεραΜορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης. Οταν το πρόβλημα έχει πεπερασμ
Μαθηματικά Πληροφορικής 2ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Μορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης.
Διαβάστε περισσότεραPractice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1
Conceptual Questions. State a Basic identity and then verify it. a) Identity: Solution: One identity is cscθ) = sinθ) Practice Exam b) Verification: Solution: Given the point of intersection x, y) of the
Διαβάστε περισσότεραThe Simply Typed Lambda Calculus
Type Inference Instead of writing type annotations, can we use an algorithm to infer what the type annotations should be? That depends on the type system. For simple type systems the answer is yes, and
Διαβάστε περισσότεραRepresenting Relations Using Digraph
M R n = M R, Κλειστότητες, Ισοδυναµίες, Μερικές ιατάξεις Ορέστης Τελέλης tllis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Σύνοψη Προηγούµενου EXAMPLE 6 from th finition of Booln powrs. Exris
Διαβάστε περισσότεραLecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3
Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all
Διαβάστε περισσότερα