Παραμετρικοί Αλγόριθμοι
|
|
- Καλλικράτης Δράκος
- 4 χρόνια πριν
- Προβολές:
Transcript
1 Παραμετρικοί λγόριθμοι Σχεδίαση Παραμετρικών λγορίθμων ισαγωγή Πορτιέρης
2 n-πελάτες Λίστα με τις πιθανές διενέξεις Μπορούμε να διώξουμε k πελάτες k=3 k=3
3 k=3 k=3 k=3
4 k=2 ΚΛΥΜΜ ΚΟΡΥΦΩΝ (VERTEX COVER) ΚΛΥΜΜ ΚΟΡΥΦΩΝ (VERTEX COVER) ράφημα G=(V,E) * (n-κορυφές) S V (κάλυμμα κορυφών) S k * Aπλό, μη-διατεταγμένο
5 KK N-πλήρες Πολυωνυμικός αλγόριθμος κθετικός αλγόριθμος Brute force: λέγχουμε όλα τα υποσύνολα του V Brute force: λέγχουμε όλα τα υποσύνολα του V 2 n ια n=1000: ,
6 Brute force: λέγχουμε όλα τα υποσύνολα του V 2 n ια n=1000: , k < n 1 η απόπειρα: (Brute force) λέγχουμε όλα τα υποσύνολα του V με k κορυφές 1 η απόπειρα: (Brute force) λέγχουμε όλα τα υποσύνολα του V με k κορυφές n k <latexit sha1_base64="ohftvndmwh+0ilrtfjztltiewg=">aaab8nicdzbns8mwhmztx+d8m3r0ehycp9lo6drbqbce5wbrgwkwbqfpuljumgugz/ciwcvr34ab34b022cij4qehief8g/vyhlvgnh+bcwlldw19zlg+xnre2d3cre/q0smcskjqutshshrrjlpk2pzqsbsoksijfonl4o+s4dkyokfqmnkqktnoq0phhpewu5d/bicexgenqvvb3b9xon/ww6ds2vn557ham7dc+fru3mvaultfqv92agcjyqrjfdsvvcj9vhjqsmmjfpocgusreeoyhpgctrqlsyz3aewmotdgaspdlcw1n6/uaoequmswqme6rh6ndxhh91vuzhxphtnmaacdx/km4y1aiwaocasoi1mxidskrmv4hhscksdaaygfd1u/i/adds33au69xm5f2crgkcginwalzqae1wbvqgdtbiwqn4as9wzj1al9brfhtjwha8ad9kvx0cthmsew==</latexit> ια n=1000 και k=10: ' <latexit sha1_base64="n/v8f7+ufyrqgfrih94tdwshm=">aaacd3icbzblswmxfiuzmt9jbp0eyyiq5jpxceuiijlctyworvk0ts2ndmzk4xqhoj/wi1/xy0lfbdu3flvtb8lbt0q+djnhuseibzcg0k+nbn5hcwl5cxkdnvtfwt3dq+0tjrdcpmcqlqadugeaqvw42awqyahogaata7h+bve1cay+ja9gnohlqt8tzn1fir6r6khihez10pnwcdhznq7jdhfxx0wctatxymxakg6abi3kyep4fbwi5nfg56x75lcmsecldbnw67phynfkqdgccblk/0rbt1qmdqfumaai6ky4wgub967rwwyp7ionh7u8bkq217oebnqyp6erpbgj+l9ut0z5tpdykewmrgz/utgq2eg/bws2ugbnrt0cz4vavmhwposzydro2bg965vmofjnexj1lctdizbykbdticokydoualdojkqiiye0tn6rw/ok/ivdsf49e5z9lgdvoj5/mhwwwbjq==</latexit> <latexit sha1_base64="n/v8f7+ufyrqgfrih94tdwshm=">aaacd3icbzblswmxfiuzmt9jbp0eyyiq5jpxceuiijlctyworvk0ts2ndmzk4xqhoj/wi1/xy0lfbdu3flvtb8lbt0q+djnhuseibzcg0k+nbn5hcwl5cxkdnvtfwt3dq+0tjrdcpmcqlqadugeaqvw42awqyahogaata7h+bve1cay+ja9gnohlqt8tzn1fir6r6khihez10pnwcdhznq7jdhfxx0wctatxymxakg6abi3kyep4fbwi5nfg56x75lcmsecldbnw67phynfkqdgccblk/0rbt1qmdqfumaai6ky4wgub967rwwyp7ionh7u8bkq217oebnqyp6erpbgj+l9ut0z5tpdykewmrgz/utgq2eg/bws2ugbnrt0cz4vavmhwposzydro2bg965vmofjnexj1lctdizbykbdticokydoualdojkqiiye0tn6rw/ok/ivdsf49e5z9lgdvoj5/mhwwwbjq==</latexit> <latexit sha1_base64="n/v8f7+ufyrqgfrih94tdwshm=">aaacd3icbzblswmxfiuzmt9jbp0eyyiq5jpxceuiijlctyworvk0ts2ndmzk4xqhoj/wi1/xy0lfbdu3flvtb8lbt0q+djnhuseibzcg0k+nbn5hcwl5cxkdnvtfwt3dq+0tjrdcpmcqlqadugeaqvw42awqyahogaata7h+bve1cay+ja9gnohlqt8tzn1fir6r6khihez10pnwcdhznq7jdhfxx0wctatxymxakg6abi3kyep4fbwi5nfg56x75lcmsecldbnw67phynfkqdgccblk/0rbt1qmdqfumaai6ky4wgub967rwwyp7ionh7u8bkq217oebnqyp6erpbgj+l9ut0z5tpdykewmrgz/utgq2eg/bws2ugbnrt0cz4vavmhwposzydro2bg965vmofjnexj1lctdizbykbdticokydoualdojkqiiye0tn6rw/ok/ivdsf49e5z9lgdvoj5/mhwwwbjq==</latexit>
7 2 η απόπειρα: (Πυρηνοποίηση) Καλοί πελάτες Κακοί πελάτες 0 αντίπαλους k+1 αντίπαλους 2 η απόπειρα: (Πυρηνοποίηση) Καλοί πελάτες Κακοί πελάτες k k-1 0 αντίπαλους k+1 αντίπαλους k=3
8 k=3 k=3 k=2
9 2 η απόπειρα: (Πυρηνοποίηση) - ν σταματήσουμε όλες τις διενέξεις πριν το k γίνει 0 έχουμε λύση. 2 η απόπειρα: (Πυρηνοποίηση) - ν σταματήσουμε όλες τις διενέξεις πριν το k γίνει 0 έχουμε λύση. - ν δεν υπάρχουν πλέον κακοί πελάτες : ιώχνοντας έναν πελάτη σταματάμε k διενέξεις ν υπάρχουν >k 2 διενέξεις δεν υπάρχει λύση 2 η απόπειρα: (Πυρηνοποίηση) Θεωρούμε ότι έχουμε k 2 διενέξεις και κάθε πελάτης έχει k αντιπάλους. k 2
10 <latexit sha1_base64="+gfxpi7vamecadu75e9vuoen8ny=">aaaclhicbvdlsgmxfm34rvvdekmwarxzwyonyvxbisyg2h05zmetugzizjkhhkmod3ufxrhbrxa3fyfpqtxahcm555lc40eckw3bq2thcwl5ztwzll3f2nzazu3s3iorswovkriqnz8o4cyeimaaqy2sqakfq9xvx4z86j1ixur4owcrnalsdvmhuakn1mpdjm6/6xq0j4qc3e89dnc4mujbaozytrd/e46deoofxnylbvenkdjhasuxtwv2ghieofosr1ouw7kxry1ohecoksdk1r070o2esm0ohztrxqoiqvukc3vdqxkaaitja1n8ajq27ghpjtr4r7eseig1cdwttiguqdmvzh4n1edee0kbawijwedjqj+zyczyqdrezbkr5wbbcjtn/xbrhjkhafjw1jtizj8+tils4k9jxxxzp/ghsrgbtown0hbx0gkrocpvrbvh0ij7rel1zt9ar9w59tkil1rtbfqh1ucxwuomva==</latexit> 2 η απόπειρα: (Πυρηνοποίηση) Θεωρούμε ότι έχουμε k 2 διενέξεις και κάθε πελάτης έχει k αντιπάλους Οι πελάτες είναι 2k 2 Brute force: 2k 2 k apple ' η απόπειρα: (Πυρηνοποίηση) Καλοί πελάτες Κακοί πελάτες Καλούτσικοι πελάτες 0 αντίπαλους k+1 αντίπαλους 1 αντίπαλο 3 η απόπειρα: (Πυρηνοποίηση) Καλοί πελάτες Κακοί πελάτες Καλούτσικοι πελάτες k k-1 0 αντίπαλους k+1 αντίπαλους 1 αντίπαλο (φόσον δεν υπάρχουν πια κακοί πελάτες)
11 k=2 k=2 k=2
12 k=1 k=1 k=1
13 <latexit sha1_base64="(null)">(null)</latexit> <latexit sha1_base64="(null)">(null)</latexit> <latexit sha1_base64="(null)">(null)</latexit> <latexit sha1_base64="(null)">(null)</latexit> <latexit sha1_base64="drhu8g0tyfj0dacqcrfqknftnzg=">aaaci3icbzblswmxfiuzmt9vv26crbbvcm0qhu3ftcuk1hb6nsssw9tagyyjhmhda+ftf+ftcutlhx4x8xfqjaeibw+m4nyt1+jlg2hhw6c4tlyyurmbxs+sbm1nzuz/dgy1gxqdeppgr4vigidqmnwiakqia+alqfv9ilncfqgkuw2szikav0luqdzmjxqj27izp3xy91pnsa+6nnob7nlie4b/mktttldylzrlhutiy9lt4pbsdi5cmqsg/cqcmjqart3ndrsbyhebomqnznl0smlvbloboqzr1yq0rzn95b09qqbqbbyxjjfb9a0sfdqewjdr7t3zcsgmg9chw7gvdt07zc6xnwtwklixiaygbnsnbtysjxrdha6agtgwhjlf7v8x61ffmbg9zm0j7uzk86zwljwwynvxvnl+ogkjg/bratpcliqjcrpevvrddd2hf/sg3p1n59uzoh+t0qvn2uae+in6xvkdkmq</latexit> k=0 3 η απόπειρα: (Πυρηνοποίηση) Θεωρούμε ότι έχουμε k 2 διενέξεις και 2 # αντιπάλων k για κάθε πελάτη 2 V u V deg(u) =2 E 2 k 2 3 η απόπειρα: (Πυρηνοποίηση) Θεωρούμε ότι έχουμε k 2 διενέξεις και 2 # αντιπάλων k για κάθε πελάτη Οι πελάτες είναι k 2 Brute force: k 2 k apple 100 '
14 <latexit sha1_base64="2akt/bthu0tyh8wcwlo2nqocarc=">aaacexicdzblswmxfiuzvq2vqks3wslozsiuap2d4salgtvcp5zmetugzibtjcouoea/confcencxa07d/4b04egogcch+/cknwtjojrq8ihmzu9mzs3v7cyw1pewv3lr29capkqbhumhvtvkgoqiak4uzanvfao1davdg9gezxn6a0l/gf6sdqj2g75i3oqlgokd/lutdfhlcolbpwdxai6ohmi+qlewqqab5br5evehefwbuxcuu+7x+wj8y/wj5lriqgic4a+fegkvkaqwyyofrxjkyekav4uzaibekghlkurqnnwtjgoguz6ovbnjhkizuswvbcifr+r0ujrfhtayyiajv6ddeffws01rcn6xumknrcz8uotvgaj8baf3oqkmbf9ayht34vsw5vlbnbys6w8lup/t9uiq7vkvns4ej4dtzgatpc22gxeaimjtapokmvxnadekb6nm5dx6df+d1drltbrcrd/kvh0czrmdlq==</latexit> <latexit sha1_base64="2akt/bthu0tyh8wcwlo2nqocarc=">aaacexicdzblswmxfiuzvq2vqks3wslozsiuap2d4salgtvcp5zmetugzibtjcouoea/confcencxa07d/4b04egogcch+/cknwtjojrq8ihmzu9mzs3v7cyw1pewv3lr29capkqbhumhvtvkgoqiak4uzanvfao1davdg9gezxn6a0l/gf6sdqj2g75i3oqlgokd/lutdfhlcolbpwdxai6ohmi+qlewqqab5br5evehefwbuxcuu+7x+wj8y/wj5lriqgic4a+fegkvkaqwyyofrxjkyekav4uzaibekghlkurqnnwtjgoguz6ovbnjhkizuswvbcifr+r0ujrfhtayyiajv6ddeffws01rcn6xumknrcz8uotvgaj8baf3oqkmbf9ayht34vsw5vlbnbys6w8lup/t9uiq7vkvns4ej4dtzgatpc22gxeaimjtapokmvxnadekb6nm5dx6df+d1drltbrcrd/kvh0czrmdlq==</latexit> 3 η απόπειρα: (Πυρηνοποίηση) Θεωρούμε ότι έχουμε k 2 διενέξεις και 2 # αντιπάλων k για κάθε πελάτη Οι πελάτες είναι k 2 k 2 Brute force: k apple 100 ' 10 3 η απόπειρα: (Πυρηνοποίηση) Προεπεξεργασία Θεωρούμε ότι έχουμε k 2 διενέξεις και 2 # αντιπάλων k για κάθε πελάτη Οι πελάτες είναι k 2 Brute force: k 2 k apple 100 ' 10 4 η απόπειρα: (Φραγμένο δέντρο αναζήτησης)
15 4 η απόπειρα: (Φραγμένο δέντρο αναζήτησης) k k-1 Υπάρχει λύση (για k-1) αν διώξουμε τον ; ΝΙ ΟΧΙ 4 η απόπειρα: (Φραγμένο δέντρο αναζήτησης) k k-1 Υπάρχει λύση (για k-1) αν διώξουμε τον ; ΝΙ ΟΧΙ 4 η απόπειρα: (Φραγμένο δέντρο αναζήτησης) k=3
16 4 η απόπειρα: (Φραγμένο δέντρο αναζήτησης) vs k=3 4 η απόπειρα: (Φραγμένο δέντρο αναζήτησης) vs vs vs k=3 4 η απόπειρα: (Φραγμένο δέντρο αναζήτησης) vs vs vs k=2
17 4 η απόπειρα: (Φραγμένο δέντρο αναζήτησης) vs vs vs vs vs k=2 4 η απόπειρα: (Φραγμένο δέντρο αναζήτησης) vs vs vs vs vs k=2 4 η απόπειρα: (Φραγμένο δέντρο αναζήτησης) vs vs vs vs vs vs vs k=2
18 4 η απόπειρα: (Φραγμένο δέντρο αναζήτησης) vs vs vs k=1 vs vs vs vs Χρόνος: 2 k αναδρομικές κλήσεις 4 η απόπειρα: (Φραγμένο δέντρο αναζήτησης) vs vs vs k=1 vs vs vs vs Χρόνος: 2 k αναδρομικές κλήσεις O(n+m) 4 η απόπειρα: (Φραγμένο δέντρο αναζήτησης) vs vs vs k=1 vs vs vs vs Χρόνος: 2 k αναδρομικές κλήσεις O(n+nk/2) 2 η απόπειρα
19 4 η απόπειρα: (Φραγμένο δέντρο αναζήτησης) vs vs vs k=1 vs vs vs vs Χρόνος: 2 k n k < = η απόπειρα 1 η απόπειρα O(2 k n k ) O(n k ) 4 η απόπειρα 1 η απόπειρα O(2 10 n 10 ) O(n 10 )
20 4 η απόπειρα 1 η απόπειρα O( ) O( ) 4 η απόπειρα 1 η απόπειρα O(2 k n k ) O(n k ) 4 η απόπειρα 1 η απόπειρα O(f(k) n c ) O(f(k) n g(k) )
21 4 η απόπειρα 1 η απόπειρα O(f(k) n c ) O(f(k) n g(k) ) FT 4 η απόπειρα 1 η απόπειρα O(f(k) n c ) O(f(k) n g(k) ) FT X Παράμετρος k : Ένα δευτερεύων μέτρο που αντιπροσωπεύει κάποια πτυχή της εισόδου Σχεδίαση Παραμετρικών λγορίθμων Φραγμένα δέντρα αναζήτησης Πυρηνοποίηση παναλαμβανόμενη συμπίεση Μέθοδοι τυχαιοποίησης Φραγμένο εντροπλάτος και υναμικός Προγραμματισμός Σημαντικοί διαχωριστές
22 Σχεδίαση Παραμετρικών λγορίθμων Φραγμένα δέντρα αναζήτησης Πυρηνοποίηση παναλαμβανόμενη συμπίεση Μέθοδοι τυχαιοποίησης Φραγμένο εντροπλάτος και υναμικός Προγραμματισμός Σημαντικοί διαχωριστές Παραμετρική Πολυπλοκότητα n-πελάτες Λίστα με τις πιθανές διενέξεις k-μπαρ εν διώχνουμε κανέναν (Χωρίζουμε τους πελάτες στα μπαρ ώστε σε κάθε μπαρ να μην υπάρχουν διενέξεις)
23 n-πελάτες Λίστα με τις πιθανές διενέξεις k-μπαρ εν διώχνουμε κανέναν λγόριθμος χρόνου: O(f(k) n c ) Λίγα μπαρ (k μικρό) ΧΡΩΜΤΙΣΜΟΣ ΚΟΡΥΦΩΝ (VERTEX COLORING) ράφημα G=(V,E) * (n-κορυφές) f:v {1,,k} {u,v} E (f(u) f(v)) * Aπλό, μη-διατεταγμένο k=3
24 k=3 k=3 XK N-πλήρες Πολυωνυμικός αλγόριθμος
25 3-XK N-πλήρες Πολυωνυμικός αλγόριθμος 3-XK N-πλήρες Πολυωνυμικός αλγόριθμος Όχι αλγόριθμος με χρόνο O(f(k) n c ), για k 3 Ούτε με χρόνο O(f(k) n g(k) ), για k 3 Όχι FT αλγόριθμοι για κάθε πρόβλημα N-C ιατί; k ΚΛΥΜΜ ΚΟΡΥΦΩΝ
26 Όχι FT αλγόριθμοι για κάθε πρόβλημα N-C ιατί; N-C k ΚΛΥΜΜ ΚΟΡΥΦΩΝ... N-C N-C k ΧΡΩΜΤΙΣΜΟΣ ΚΟΡΥΦΩΝ N-Πληρότητα?! ν διώξουμε ένα πελάτη μας επιτίθενται όλοι οι φίλοι του
27 ν διώξουμε ένα πελάτη μας επιτίθενται όλοι οι φίλοι του ν διώξουμε ένα πελάτη μας επιτίθενται όλοι οι φίλοι του Μπορούμε να διαχειριστούμε μέχρι (k-1)-πελάτες (αλλά όχι k) ν διώξουμε ένα πελάτη μας επιτίθενται όλοι οι φίλοι του Μπορούμε να διαχειριστούμε μέχρι (k-1)-πελάτες (αλλά όχι k) Υπάρχει ομάδα k-πελατών όπου όλοι είναι φίλοι με όλους;
28 k-κλικ (k-clique) (Φιλίες) ράφημα G=(V, E ) * (n-κορυφές) S V, {u,v} S ({u,v} E) S k * Aπλό, μη-διατεταγμένο k=3 k=3
29 <latexit sha1_base64="ypmt0cc4dr+/cu942ld2tq5rdv4=">aaacehicdzbns8mwhmzt351vu49egkoyl9lo6badiaritqwnwjphmqvbajqujbvgkfgjvhvvhhq8errm9/gdfnq0qccd8/zd8n/58emku0479by+mtk1tmbgfufmfxqbi8cq5eijfpysgevsrioxy0trum3izs4iin5elzzi+4trihuv/ewytkoui/tggkktdqpllmodwxqheyzrvh3j7tlb1aipzyqzblw6tklmebnwljsrv1wq2xdr270qhu7drzu3vrdre6tjnucxzqpfn887ocjxhhgjokvmt1yt1okdqum5ivvesrgoeq9ujlwi4iotrpckmmbpikcwmhzeeadtvn1iuktwifdmzid1xv7s8/ktrjtqot1k40qtjkcbqmdwsacd+xssbbma2mqltt8fei+mji0gvgwel42hf+bzsvu2m5ptbr3edoimqwwdooaxfuwb44aiegctc4bffgetxzd9ad9wy9jebhre+cq+chrnc5gmdtw==</latexit> Brute force: λέγχουμε όλα τα υποσύνολα του V με k κορυφές Brute force: λέγχουμε όλα τα υποσύνολα του V με k κορυφές n k <latexit sha1_base64="ohftvndmwh+0ilrtfjztltiewg=">aaab8nicdzbns8mwhmztx+d8m3r0ehycp9lo6drbqbce5wbrgwkwbqfpuljumgugz/ciwcvr34ab34b022cij4qehief8g/vyhlvgnh+bcwlldw19zlg+xnre2d3cre/q0smcskjqutshshrrjlpk2pzqsbsoksijfonl4o+s4dkyokfqmnkqktnoq0phhpewu5d/bicexgenqvvb3b9xon/ww6ds2vn557ham7dc+fru3mvaultfqv92agcjyqrjfdsvvcj9vhjqsmmjfpocgusreeoyhpgctrqlsyz3aewmotdgaspdlcw1n6/uaoequmswqme6rh6ndxhh91vuzhxphtnmaacdx/km4y1aiwaocasoi1mxidskrmv4hhscksdaaygfd1u/i/adds33au69xm5f2crgkcginwalzqae1wbvqgdtbiwqn4as9wzj1al9brfhtjwha8ad9kvx0cthmsew==</latexit> Brute force: λέγχουμε όλα τα υποσύνολα του V με k κορυφές n n k = O k k 2 O(k 2 ) <latexit sha1_base64="bzccnnqursqylsywbytlb0gmc5k=">aaab8nicbzblswmxfiuzmt9vv26crahbspmedrdqrb3vnbsotowtcbthmasibkjlflwv7hxoelwx+of26wgjrgcdhotfk5ksz4azc99tzwl5zxvsvbbq3t7z3dkt7+/dg5zoynyqhdcsihgkumq8cbgtlmpe0eqwz9s/heforacovvinbxskudcvocvgrscgsqj8u+k/1e46pbjbdsfci+dnoixmanrkx0gsaj4ycvqqy9qem0e4jbo4fwxudhldmkl7pmvafivjmqmhk51h+ng6mu6utkccnri/bwxjaswgjexksqbn5rox+v/wzie5d4dczjkwsacjbnaoc4abxzzsiigqvcnbe7ytojmlcwnrvtcd78lxfbr1uvqu7tabl+9trto4ao0rgqia+dotq6rg3ki4oy9ixe0zutoy/ou/mxhv1yzg0eod9yn8aiiircg==</latexit> <latexit sha1_base64="bzccnnqursqylsywbytlb0gmc5k=">aaab8nicbzblswmxfiuzmt9vv26crahbspmedrdqrb3vnbsotowtcbthmasibkjlflwv7hxoelwx+of26wgjrgcdhotfk5ksz4azc99tzwl5zxvsvbbq3t7z3dkt7+/dg5zoynyqhdcsihgkumq8cbgtlmpe0eqwz9s/heforacovvinbxskudcvocvgrscgsqj8u+k/1e46pbjbdsfci+dnoixmanrkx0gsaj4ycvqqy9qem0e4jbo4fwxudhldmkl7pmvafivjmqmhk51h+ng6mu6utkccnri/bwxjaswgjexksqbn5rox+v/wzie5d4dczjkwsacjbnaoc4abxzzsiigqvcnbe7ytojmlcwnrvtcd78lxfbr1uvqu7tabl+9trto4ao0rgqia+dotq6rg3ki4oy9ixe0zutoy/ou/mxhv1yzg0eod9yn8aiiircg==</latexit> <latexit sha1_base64="bzccnnqursqylsywbytlb0gmc5k=">aaab8nicbzblswmxfiuzmt9vv26crahbspmedrdqrb3vnbsotowtcbthmasibkjlflwv7hxoelwx+of26wgjrgcdhotfk5ksz4azc99tzwl5zxvsvbbq3t7z3dkt7+/dg5zoynyqhdcsihgkumq8cbgtlmpe0eqwz9s/heforacovvinbxskudcvocvgrscgsqj8u+k/1e46pbjbdsfci+dnoixmanrkx0gsaj4ycvqqy9qem0e4jbo4fwxudhldmkl7pmvafivjmqmhk51h+ng6mu6utkccnri/bwxjaswgjexksqbn5rox+v/wzie5d4dczjkwsacjbnaoc4abxzzsiigqvcnbe7ytojmlcwnrvtcd78lxfbr1uvqu7tabl+9trto4ao0rgqia+dotq6rg3ki4oy9ixe0zutoy/ou/mxhv1yzg0eod9yn8aiiircg==</latexit> Χρόνος: Ο(n k ) X
30 <latexit sha1_base64="ypmt0cc4dr+/cu942ld2tq5rdv4=">aaacehicdzbns8mwhmzt351vu49egkoyl9lo6badiaritqwnwjphmqvbajqujbvgkfgjvhvvhhq8errm9/gdfnq0qccd8/zd8n/58emku0479by+mtk1tmbgfufmfxqbi8cq5eijfpysgevsrioxy0trum3izs4iin5elzzi+4trihuv/ewytkoui/tggkktdqpllmodwxqheyzrvh3j7tlb1aipzyqzblw6tklmebnwljsrv1wq2xdr270qhu7drzu3vrdre6tjnucxzqpfn887ocjxhhgjokvmt1yt1okdqum5ivvesrgoeq9ujlwi4iotrpckmmbpikcwmhzeeadtvn1iuktwifdmzid1xv7s8/ktrjtqot1k40qtjkcbqmdwsacd+xssbbma2mqltt8fei+mji0gvgwel42hf+bzsvu2m5ptbr3edoimqwwdooaxfuwb44aiegctc4bffgetxzd9ad9wy9jebhre+cq+chrnc5gmdtw==</latexit> <latexit sha1_base64="ypmt0cc4dr+/cu942ld2tq5rdv4=">aaacehicdzbns8mwhmzt351vu49egkoyl9lo6badiaritqwnwjphmqvbajqujbvgkfgjvhvvhhq8errm9/gdfnq0qccd8/zd8n/58emku0479by+mtk1tmbgfufmfxqbi8cq5eijfpysgevsrioxy0trum3izs4iin5elzzi+4trihuv/ewytkoui/tggkktdqpllmodwxqheyzrvh3j7tlb1aipzyqzblw6tklmebnwljsrv1wq2xdr270qhu7drzu3vrdre6tjnucxzqpfn887ocjxhhgjokvmt1yt1okdqum5ivvesrgoeq9ujlwi4iotrpckmmbpikcwmhzeeadtvn1iuktwifdmzid1xv7s8/ktrjtqot1k40qtjkcbqmdwsacd+xssbbma2mqltt8fei+mji0gvgwel42hf+bzsvu2m5ptbr3edoimqwwdooaxfuwb44aiegctc4bffgetxzd9ad9wy9jebhre+cq+chrnc5gmdtw==</latexit> Brute force: λέγχουμε όλα τα υποσύνολα του V με k κορυφές n n k = O k k 2 O(k 2 ) <latexit sha1_base64="bzccnnqursqylsywbytlb0gmc5k=">aaab8nicbzblswmxfiuzmt9vv26crahbspmedrdqrb3vnbsotowtcbthmasibkjlflwv7hxoelwx+of26wgjrgcdhotfk5ksz4azc99tzwl5zxvsvbbq3t7z3dkt7+/dg5zoynyqhdcsihgkumq8cbgtlmpe0eqwz9s/heforacovvinbxskudcvocvgrscgsqj8u+k/1e46pbjbdsfci+dnoixmanrkx0gsaj4ycvqqy9qem0e4jbo4fwxudhldmkl7pmvafivjmqmhk51h+ng6mu6utkccnri/bwxjaswgjexksqbn5rox+v/wzie5d4dczjkwsacjbnaoc4abxzzsiigqvcnbe7ytojmlcwnrvtcd78lxfbr1uvqu7tabl+9trto4ao0rgqia+dotq6rg3ki4oy9ixe0zutoy/ou/mxhv1yzg0eod9yn8aiiircg==</latexit> <latexit sha1_base64="bzccnnqursqylsywbytlb0gmc5k=">aaab8nicbzblswmxfiuzmt9vv26crahbspmedrdqrb3vnbsotowtcbthmasibkjlflwv7hxoelwx+of26wgjrgcdhotfk5ksz4azc99tzwl5zxvsvbbq3t7z3dkt7+/dg5zoynyqhdcsihgkumq8cbgtlmpe0eqwz9s/heforacovvinbxskudcvocvgrscgsqj8u+k/1e46pbjbdsfci+dnoixmanrkx0gsaj4ycvqqy9qem0e4jbo4fwxudhldmkl7pmvafivjmqmhk51h+ng6mu6utkccnri/bwxjaswgjexksqbn5rox+v/wzie5d4dczjkwsacjbnaoc4abxzzsiigqvcnbe7ytojmlcwnrvtcd78lxfbr1uvqu7tabl+9trto4ao0rgqia+dotq6rg3ki4oy9ixe0zutoy/ou/mxhv1yzg0eod9yn8aiiircg==</latexit> <latexit sha1_base64="bzccnnqursqylsywbytlb0gmc5k=">aaab8nicbzblswmxfiuzmt9vv26crahbspmedrdqrb3vnbsotowtcbthmasibkjlflwv7hxoelwx+of26wgjrgcdhotfk5ksz4azc99tzwl5zxvsvbbq3t7z3dkt7+/dg5zoynyqhdcsihgkumq8cbgtlmpe0eqwz9s/heforacovvinbxskudcvocvgrscgsqj8u+k/1e46pbjbdsfci+dnoixmanrkx0gsaj4ycvqqy9qem0e4jbo4fwxudhldmkl7pmvafivjmqmhk51h+ng6mu6utkccnri/bwxjaswgjexksqbn5rox+v/wzie5d4dczjkwsacjbnaoc4abxzzsiigqvcnbe7ytojmlcwnrvtcd78lxfbr1uvqu7tabl+9trto4ao0rgqia+dotq6rg3ki4oy9ixe0zutoy/ou/mxhv1yzg0eod9yn8aiiircg==</latexit> Χρόνος: Ο(n k ) FT? Brute force: λέγχουμε όλα τα υποσύνολα του V με k κορυφές n n k = O k k 2 O(k 2 ) <latexit sha1_base64="bzccnnqursqylsywbytlb0gmc5k=">aaab8nicbzblswmxfiuzmt9vv26crahbspmedrdqrb3vnbsotowtcbthmasibkjlflwv7hxoelwx+of26wgjrgcdhotfk5ksz4azc99tzwl5zxvsvbbq3t7z3dkt7+/dg5zoynyqhdcsihgkumq8cbgtlmpe0eqwz9s/heforacovvinbxskudcvocvgrscgsqj8u+k/1e46pbjbdsfci+dnoixmanrkx0gsaj4ycvqqy9qem0e4jbo4fwxudhldmkl7pmvafivjmqmhk51h+ng6mu6utkccnri/bwxjaswgjexksqbn5rox+v/wzie5d4dczjkwsacjbnaoc4abxzzsiigqvcnbe7ytojmlcwnrvtcd78lxfbr1uvqu7tabl+9trto4ao0rgqia+dotq6rg3ki4oy9ixe0zutoy/ou/mxhv1yzg0eod9yn8aiiircg==</latexit> <latexit sha1_base64="bzccnnqursqylsywbytlb0gmc5k=">aaab8nicbzblswmxfiuzmt9vv26crahbspmedrdqrb3vnbsotowtcbthmasibkjlflwv7hxoelwx+of26wgjrgcdhotfk5ksz4azc99tzwl5zxvsvbbq3t7z3dkt7+/dg5zoynyqhdcsihgkumq8cbgtlmpe0eqwz9s/heforacovvinbxskudcvocvgrscgsqj8u+k/1e46pbjbdsfci+dnoixmanrkx0gsaj4ycvqqy9qem0e4jbo4fwxudhldmkl7pmvafivjmqmhk51h+ng6mu6utkccnri/bwxjaswgjexksqbn5rox+v/wzie5d4dczjkwsacjbnaoc4abxzzsiigqvcnbe7ytojmlcwnrvtcd78lxfbr1uvqu7tabl+9trto4ao0rgqia+dotq6rg3ki4oy9ixe0zutoy/ou/mxhv1yzg0eod9yn8aiiircg==</latexit> <latexit sha1_base64="bzccnnqursqylsywbytlb0gmc5k=">aaab8nicbzblswmxfiuzmt9vv26crahbspmedrdqrb3vnbsotowtcbthmasibkjlflwv7hxoelwx+of26wgjrgcdhotfk5ksz4azc99tzwl5zxvsvbbq3t7z3dkt7+/dg5zoynyqhdcsihgkumq8cbgtlmpe0eqwz9s/heforacovvinbxskudcvocvgrscgsqj8u+k/1e46pbjbdsfci+dnoixmanrkx0gsaj4ycvqqy9qem0e4jbo4fwxudhldmkl7pmvafivjmqmhk51h+ng6mu6utkccnri/bwxjaswgjexksqbn5rox+v/wzie5d4dczjkwsacjbnaoc4abxzzsiigqvcnbe7ytojmlcwnrvtcd78lxfbr1uvqu7tabl+9trto4ao0rgqia+dotq6rg3ki4oy9ixe0zutoy/ou/mxhv1yzg0eod9yn8aiiircg==</latexit> Χρόνος: Ο(n k ) FT? Σταθερό k Πολυωνυμικός αλγόριθμος N-C. k-κλικ k Κι όμως k-κλικ W[1]-C εν περιμένουμε ότι έχει FT αλγόριθμο
31 FT vs X N-Πληρότητα?! FT vs X N-Πληρότητα?! Παραμετρική Πολυπλοκότητα Παραμετρικές αναγωγές Κλάσεις Πολυπλοκότητας (π.χ. FT, W[1], X) W-ιεραρχία κλάσεων προβλημάτων Κάτω φράγματα (ETH) έλτιστοι αλγόριθμοι
32 Παραμετρική Πολυπλοκότητα Παραμετρικές αναγωγές Κλάσεις Πολυπλοκότητας (π.χ. FT, W[1], X) W-ιεραρχία κλάσεων προβλημάτων Κάτω φράγματα (ETH) έλτιστοι αλγόριθμοι Παράμετροι ν διώξουμε ένα πελάτη μας επιτίθενται όλοι οι φίλοι του Μπορούμε να διαχειριστούμε μέχρι (k-1)-πελάτες (αλλά όχι k) Υπάρχει ομάδα k-πελατών όπου όλοι είναι φίλοι με όλους;
33 ν διώξουμε ένα πελάτη μας επιτίθενται όλοι οιίλφίλοι ων ςφ ό του μ θ ι ς αρ Μπορούμε να διαχειριστούμε ιστο μέχρι (k-1)-πελάτες γ έ μ (αλλά όχι k) ος: ετρ αράμ Π ομάδα k-πελατών όπου όλοι είναι φίλοι με όλους; Υπάρχει k-κλικ (k-clique) (Φιλίες) ράφημα G=(V, E ) * (n-κορυφές) S V, {u,v} S ({u,v} E) S k Παράμετρος: (μέγιστος βαθμός) * Aπλό, μη-διατεταγμένο Brute force: Μαντεύουμε μια κορυφή της k-κλίκας, κοιτάμε για κάθε ένα υποσύνολο της γειτονιάς της αν είναι κλίκα. Έχει η μεγαλύτερη κλίκα k κορυφές;
34 Brute force: Χρόνος: Μαντεύουμε μια κορυφή της k-κλίκας, κοιτάμε για κάθε ένα υποσύνολο της γειτονιάς της αν είναι κλίκα. Έχει η μεγαλύτερη κλίκα k κορυφές; Ο(n) Ο(2 ) Ο( 2 ) Ο(1) Ο(2 2 n) Brute force: Χρόνος: Μαντεύουμε μια κορυφή της k-κλίκας, κοιτάμε για κάθε ένα υποσύνολο της γειτονιάς της Ο(n) Ο(2 ) αν είναι κλίκα. Έχει η μεγαλύτερη κλίκα k κορυφές; Ο( 2 ) Ο(1) Ο(f() n) k-κλικ παράμετρος k FT k-κλικ παράμετρος FT
35 Παράμετρος Παράμετρος Μέγεθος της λύσης ευτερεύων μέτρο (μικρό μέγεθος στις εφαρμογές) ευτερεύων μέτρο (εκφράζει κάποια δομική ιδιότητα) κλπ. Παράμετρος k (παράμετρος) n (είσοδος) FT: O(f(k) n c ) Χρόνος αλγορίθμου Παράμετρος k (παράμετρος) n (είσοδος) FT: O(f(k) n c ) Χρόνος αλγορίθμου
36 Παράμετρος k (παράμετρος) Χρόνος αλγορίθμου n (είσοδος) FT: O(f(k) n c ) ισαγωγή Ορισμοί Σχεδίαση Παραμετρικών λγορίθμων Ορισμοί Κλασική Πολυπλοκότητα: Πρόβλημα είναι μία γλώσσα L Σ*, όπου Σ ένα (φιξαρισμένο) πεπερασμένο αλφάβητο.
37 Ορισμοί Κλασική Πολυπλοκότητα: Πρόβλημα είναι μία γλώσσα L Σ*, όπου Σ ένα (φιξαρισμένο) πεπερασμένο αλφάβητο. Π.χ. ΚΛΥΜΜ ΚΟΡΥΦΩΝ: ΧΡΩΜΤΙΣΜΟΣ ΚΟΡΥΦΩΝ: k-κλικ: <G> Ορισμοί Κλασική Πολυπλοκότητα: Πρόβλημα είναι μία γλώσσα L Σ*, όπου Σ ένα (φιξαρισμένο) πεπερασμένο αλφάβητο. Π.χ. ΚΛΥΜΜ ΚΟΡΥΦΩΝ: ΧΡΩΜΤΙΣΜΟΣ ΚΟΡΥΦΩΝ: k-κλικ: G Ορισμοί Κλασική Πολυπλοκότητα: Πρόβλημα είναι μία γλώσσα L Σ*, όπου Σ ένα (φιξαρισμένο) πεπερασμένο αλφάβητο. Παραμετρική Πολυπλοκότητα: Παραμετροποιημένο πρόβλημα είναι μία γλώσσα L Σ* x N, όπου Σ ένα (φιξαρισμένο) πεπερασμένο αλφάβητο. Σε ένα στιγμιότυπο (x,k) Σ* x N το k καλείται παράμετρος. Π.χ. ΚΛΥΜΜ ΚΟΡΥΦΩΝ: ΧΡΩΜΤΙΣΜΟΣ ΚΟΡΥΦΩΝ: (G,k) k-κλικ:
38 Ορισμοί Παραμετροποιημένο πρόβλημα είναι μία γλώσσα L Σ* x N, όπου Σ ένα (φιξαρισμένο) πεπερασμένο αλφάβητο. Σε ένα στιγμιότυπο (x,k) Σ* x N το k καλείται παράμετρος. Έστω στιγμιότυπο Ι=(x,k) Σ* x N. Το μέγεθος του Ι ισούται με x +k. Ορισμοί Παραμετροποιημένο πρόβλημα είναι μία γλώσσα L Σ* x N, όπου Σ ένα (φιξαρισμένο) πεπερασμένο αλφάβητο. Σε ένα στιγμιότυπο (x,k) Σ* x N το k καλείται παράμετρος. Έστω στιγμιότυπο Ι=(x,k) Σ* x N. Το μέγεθος του Ι ισούται με x +k. Π.χ. (G,k): n+k Ορισμοί Παραμετροποιημένο πρόβλημα είναι μία γλώσσα L Σ* x N, όπου Σ ένα (φιξαρισμένο) πεπερασμένο αλφάβητο. Σε ένα στιγμιότυπο (x,k) Σ* x N το k καλείται παράμετρος. Έστω στιγμιότυπο Ι=(x,k) Σ* x N. Το μέγεθος του Ι ισούται με x +k. Π.χ. (G,k): n+k
39 Ορισμοί Παραμετροποιημένο πρόβλημα είναι μία γλώσσα L Σ* x N, όπου Σ ένα (φιξαρισμένο) πεπερασμένο αλφάβητο. Σε ένα στιγμιότυπο (x,k) Σ* x N το k καλείται παράμετρος. Έστω στιγμιότυπο Ι=(x,k) Σ* x N. Το μέγεθος του Ι ισούται με x +k. Π.χ. (G,k): n Ορισμοί Παραμετροποιημένο πρόβλημα είναι μία γλώσσα L Σ* x N, όπου Σ ένα (φιξαρισμένο) πεπερασμένο αλφάβητο. Σε ένα στιγμιότυπο (x,k) Σ* x N το k καλείται παράμετρος. Έστω στιγμιότυπο Ι=(x,k) Σ* x N. Το μέγεθος του Ι ισούται με x +k. Ένα παραμετροποιημένο πρόβλημα L Σ* x N καλείται παραμετρικά βατό αν υπάρχει αλγόριθμος A (που ονομάζεται FT αλγόριθμος), υπολογίσιμη συνάρτηση f: N N και σταθερά c τ.ω. ο A αποφασίζει αν ένα στιγμιότυπο (x,k) Σ* x N ανήκει στο L σε χρόνο: O(f(k) (x,k) c ) Ορισμοί Παραμετροποιημένο πρόβλημα είναι μία γλώσσα L Σ* x N, όπου Σ ένα (φιξαρισμένο) πεπερασμένο αλφάβητο. Σε ένα στιγμιότυπο (x,k) Σ* x N το k καλείται παράμετρος. Έστω στιγμιότυπο Ι=(x,k) Σ* x N. Το μέγεθος του Ι ισούται με x +k. Ένα παραμετροποιημένο πρόβλημα L Σ* x N καλείται παραμετρικά βατό αν υπάρχει αλγόριθμος (που ονομάζεται FT αλγόριθμος), υπολογίσιμη συνάρτηση f: N N και σταθερά c τ.ω. ο A αποφασίζει αν ένα στιγμιότυπο (x,k) Σ* x N ανήκει στο L σε χρόνο: O(f(k) (x,k) c ) Η κλάση των παραμετρικά βατών προβλημάτων καλείται FT.
40 Ορισμοί Παραμετροποιημένο πρόβλημα είναι μία γλώσσα L Σ* x N, όπου Σ ένα (φιξαρισμένο) πεπερασμένο αλφάβητο. Σε ένα στιγμιότυπο (x,k) Σ* x N το k καλείται παράμετρος. Έστω στιγμιότυπο Ι=(x,k) Σ* x N. Το μέγεθος του Ι ισούται με x +k. Ένα παραμετροποιημένο πρόβλημα L Σ* x N καλείται παραμετρικά βατό αν υπάρχει αλγόριθμος (που ονομάζεται FT αλγόριθμος), υπολογίσιμη συνάρτηση f: N N και σταθερά c τ.ω. ο A αποφασίζει αν ένα στιγμιότυπο (x,k) Σ* x N ανήκει στο L σε χρόνο: O(f(k) (x,k) O(f(k) x c ) c ) Η κλάση των παραμετρικά βατών προβλημάτων καλείται FT. Ορισμοί Ένα παραμετροποιημένο πρόβλημα L Σ* x N καλείται τμηματικά πολυωνυμικό αν υπάρχει αλγόριθμος A (που ονομάζεται X αλγόριθμος), υπολογίσιμες συναρτήσεις f,g: N N τ.ω. ο A αποφασίζει αν ένα στιγμιότυπο (x,k) Σ* x N ανήκει στο L σε χρόνο: O(f(k) x g(k) ) Η κλάση των τμηματικά πολυωνυμικών προβλημάτων καλείται X. Ορισμοί Ένα παραμετροποιημένο πρόβλημα L Σ* x N καλείται τμηματικά πολυωνυμικό αν υπάρχει αλγόριθμος A (που ονομάζεται X αλγόριθμος), υπολογίσιμες συναρτήσεις f,g: N N τ.ω. ο A αποφασίζει αν ένα στιγμιότυπο (x,k) Σ* x N ανήκει στο L σε χρόνο: O(f(k) x g(k) ) Η κλάση των τμηματικά πολυωνυμικών προβλημάτων καλείται X. Π.χ k k ΚΛΥΜΜ ΚΟΡΥΦΩΝ k-κλικ
41 Ορισμοί FT X O(f(k) x c ) O(f(k) x g(k) ) Ορισμοί FT O(f(k) x c ) X O(f(k) x g(k) ) Π.χ. ΚΛΥΜΜ ΚΟΡΥΦΩΝ O(2 k n k ) k-κλικ Ο(n k ) Ορισμοί FT O(f(k) x c ) X O(f(k) x g(k) ) Π.χ. ΚΛΥΜΜ ΚΟΡΥΦΩΝ O(2 k n k ) k-κλικ Ο(2 2 n)
42 Συμβολισμός ΚΛΥΜΜ ΚΟΡΥΦΩΝ ίσοδος: ράφημα G και φυσικός k. Παράμετρος: k. ρώτημα: Υπάρχει S V τ.ω. S k το G S να μην έχει ακμές; Συμβολισμός ΚΛΥΜΜ ΚΟΡΥΦΩΝ ίσοδος: ράφημα G και φυσικός k. Παράμετρος: k. ρώτημα: Υπάρχει S V τ.ω. S k το G S να μην έχει ακμές; Συμβολισμός ΚΛΥΜΜ ΚΟΡΥΦΩΝ ίσοδος: ράφημα G και φυσικός k. Παράμετρος: k. ρώτημα: Υπάρχει S V τ.ω. S k το G S να μην έχει ακμές; k-κλικ ίσοδος: ράφημα G και φυσικός k. Παράμετρος: k. ρώτημα: Υπάρχει S V τ.ω. S k και {u,v} S ({u,v} E); k-κλικ ίσοδος: ράφημα G και φυσικός k. Παράμετρος: (μέγιστος βαθμός του G). ρώτημα: Υπάρχει S V τ.ω. S k και {u,v} S ({u,v} E);
Παραμετρική Πολυπλοκότητα και Αλγόριθμοι
Παραμετρική Πολυπλοκότητα και Αλγόριθμοι Πληροφορίες Βιβλίο: e-class: MATH278 Βαθμολογία 2 Πακέτα ασκήσεων Παρουσίαση Βαθμολογία 2 Πακέτα ασκήσεων 2 μονάδες Παρουσίαση Βαθμολογία 2 Πακέτα ασκήσεων 2 μονάδες
Διαβάστε περισσότεραΥπολογιστική Πολυπλοκότητα Εξέταση Ιουνίου 2017 Σελ. 1 από 5
Υπολογιστική Πολυπλοκότητα Εξέταση Ιουνίου 2017 Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις
Διαβάστε περισσότεραΠροσεγγιστικοί Αλγόριθμοι για NP- ύσκολα Προβλήματα
Προσεγγιστικοί Αλγόριθμοι για NP- ύσκολα Προβλήματα ημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Αντιμετώπιση NP- υσκολίας Αν P NP, όχι αλγόριθμος
Διαβάστε περισσότεραΥπολογιστική Πολυπλοκότητα
Υπολογιστική Πολυπλοκότητα ημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Υπολογιστική Πολυπλοκότητα Γιατί κάποια (επιλύσιμα) προβλήματα είναι δύσκολο
Διαβάστε περισσότεραγια NP-Δύσκολα Προβλήματα
Προσεγγιστικοί Αλγόριθμοι για NP-Δύσκολα Προβλήματα Διδάσκοντες: Σ. Ζάχος, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο
Διαβάστε περισσότεραΠροσεγγιστικοί Αλγόριθμοι για NP- ύσκολα Προβλήματα
Προσεγγιστικοί Αλγόριθμοι για NP- ύσκολα Προβλήματα ιδάσκοντες: Σ. Ζάχος,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Άδεια
Διαβάστε περισσότεραΥπολογιστική Πολυπλοκότητα
Υπολογιστική Πολυπλοκότητα ιδάσκοντες: Σ. Ζάχος,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Άδεια Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 13: Πολυωνυμική αναγωγή Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,
Διαβάστε περισσότεραΚεφάλαιο 8. NP και Υπολογιστική Δυσεπιλυσιμότητα. Χρησιμοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne.
Κεφάλαιο 8 NP και Υπολογιστική Δυσεπιλυσιμότητα Χρησιμοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne. 1 πρόβλημα αναζήτησης (search problem) Ένα πρόβλημα αναζήτησης είναι ένα πρόβλημα στο
Διαβάστε περισσότεραΑσυμπτωτικός Συμβολισμός
Ασυμπτωτικός Συμβολισμός ημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Υπολογιστική Πολυπλοκότητα Υπολογιστική πολυπλοκότητα αλγόριθμου Α: Ποσότητα
Διαβάστε περισσότεραΚεφάλαιο 8. NP και Υπολογιστική Δυσεπιλυσιµότητα. Χρησιµοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne.
Κεφάλαιο 8 NP και Υπολογιστική Δυσεπιλυσιµότητα Χρησιµοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne. 1 πρόβληµα αναζήτησης (search problem) Ένα πρόβληµα αναζήτησης είναι ένα πρόβληµα στο
Διαβάστε περισσότεραΚεφάλαιο 8. NP και Υπολογιστική Δυσεπιλυσιμότητα. Παύλος Εφραιμίδης V1.1,
Κεφάλαιο 8 NP και Υπολογιστική Δυσεπιλυσιμότητα Παύλος Εφραιμίδης V1.1, 2015-01-19 Χρησιμοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne. 1 πρόβλημα αναζήτησης (search problem) Ένα πρόβλημα
Διαβάστε περισσότεραChapter 7, 8 : Completeness
CSC 314: Switching Theory Chapter 7, 8 : Completeness 19 December 2008 1 1 Αναγωγές Πολυωνυμικού Χρόνου Ορισμός. f: Σ * Σ * ονομάζεται υπολογίσιμη σε πολυνωνυμικό χρόνο αν υπάρχει μια πολυωνυμικά φραγμένη
Διαβάστε περισσότεραΠροσεγγιστικοί Αλγόριθμοι βασισμένοι σε Γραμμικό Προγραμματισμό
Προσεγγιστικοί Αλγόριθμοι βασισμένοι σε Γραμμικό Προγραμματισμό ημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Γενική Προσέγγιση ιατυπώνουμε το πρόβλημα
Διαβάστε περισσότεραΑσυμπτωτικός Συμβολισμός
Ασυμπτωτικός Συμβολισμός ιδάσκοντες: Σ. Ζάχος,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Άδεια Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραΜη Ντετερμινισμός και NP-Πληρότητα
Μη Ντετερμινισμός και NP-Πληρότητα Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Μη Ντετερμινιστικές Μηχανές Turing Μη ντετερμινιστική
Διαβάστε περισσότεραΥπολογιστική Πολυπλοκότητα
Υπολογιστική Πολυπλοκότητα Υπολογιστική πολυπλοκότητα αλγόριθµου Α: Ποσότητα υπολογιστικών πόρων που απαιτεί Α ως αύξουσα συνάρτηση µεγέθους στιγµιότυπου εισόδου. Χρόνος, µνήµη, επεξεργαστές, επικοινωνία,
Διαβάστε περισσότεραΑσυμπτωτικός Συμβολισμός
Ασυμπτωτικός Συμβολισμός ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Υπολογιστική Πολυπλοκότητα Υπολογιστική
Διαβάστε περισσότεραΑλγόριθμοι Προσέγγισης για NP-Δύσκολα Προβλήματα
Αλγόριθμοι Προσέγγισης για NP-Δύσκολα Προβλήματα Διδάσκοντες: E. Ζάχος, Α. Παγουρτζής Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο
Διαβάστε περισσότεραΠροσεγγιστικοί Αλγόριθμοι βασισμένοι σε Γραμμικό Προγραμματισμό
Προσεγγιστικοί Αλγόριθμοι βασισμένοι σε Γραμμικό Προγραμματισμό ημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Προσεγγιστικοί Αλγόριθμοι Απόδοση χειρότερης
Διαβάστε περισσότεραΑλγόριθμοι και πολυπλοκότητα: 4 η σειρά ασκήσεων ΣΗΜΜΥ - Ε.Μ.Π.
Αλγόριθμοι και πολυπλοκότητα: 4 η σειρά ασκήσεων CO.RE.LAB. ΣΗΜΜΥ - Ε.Μ.Π. Άσκηση 1 η : Παιχνίδι επιλογής ακμών Έχουμε ένα ακυκλικό κατευθυνόμενο γράφο, μια αρχική κορυφή και δυο παίκτες. Οι παίκτες διαδοχικά
Διαβάστε περισσότεραΑσκήσεις Επανάληψης. Επανάληψη Εαρινό Εξάμηνο 2019 Σελίδα 1
Ασκήσεις Επανάληψης Άσκηση 1 (Τελική Εξέταση 5/015) Να δείξετε ότι η πιο κάτω γλώσσα δεν είναι διαγνώσιμη. { Μ L(M) {ΘΕΩΡΙΑ, ΥΠΟΛΟΓΙΣΜΟΥ} και L(M) 3} (Για την αναγωγή μπορείτε να χρησιμοποιήσετε τη γνωστή
Διαβάστε περισσότεραΑλγόριθµοι και Πολυπλοκότητα
Αλγόριθµοι και Πολυπλοκότητα Ν. Μ. Μισυρλής Τµήµα Πληροφορικής και Τηλεπικοινωνιών, Πανεπιστήµιο Αθηνών Καθηγητής: Ν. Μ. Μισυρλής () Αλγόριθµοι και Πολυπλοκότητα 15 Ιουνίου 2009 1 / 26 Εισαγωγή Η ϑεωρία
Διαβάστε περισσότεραΑσυμπτωτικός Συμβολισμός
Ασυμπτωτικός Συμβολισμός Επιμέλεια διαφανειών: Δημήτρης Φωτάκης (λίγες προσθήκες: Άρης Παγουρτζής) Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Υπολογιστική Πολυπλοκότητα
Διαβάστε περισσότεραΜη Ντετερμινισμός και NP-Πληρότητα
Μη Ντετερμινισμός και NP-Πληρότητα Διδάσκοντες: Σ Ζάχος, Δ Φωτάκης Επιμέλεια διαφανειών: Δ Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Μη Ντετερμινιστικές
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κλάσεις P, NP NP-πληρότητα 15 Απριλίου 2008 Δρ. Παπαδοπούλου Βίκη 1 Υπολογίσιμα και Εφικτά Υπολογίσιμα Προβλήματα Είδαμε ότι 1. Οτιδήποτε μπορούμε να περιγράψουμε με
Διαβάστε περισσότεραΠανεπιστήμιο Στερεάς Ελλάδας Τμήμα Πληροφορικής Εξάμηνο ΣΤ ΘΕΩΡΙΑ ΓΡΑΦΩΝ
Πανεπιστήμιο Στερεάς Ελλάδας Τμήμα Πληροφορικής Εξάμηνο ΣΤ ΘΕΩΡΙΑ ΓΡΑΦΩΝ 2 Η ΔΙΑΛΕΞΗ Βασικές Έννοιες Γράφων - Ορισμοί (συνέχεια) - Ισομορφισμοί-Ομοιομορφισμοί Γράφων - Πράξεις - Αναπαράσταση Γράφων (Πίνακες
Διαβάστε περισσότεραΜη Ντετερμινισμός και NP-Πληρότητα
Μη Ντετερμινισμός και P-Πληρότητα ημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Μη Ντετερμινιστικές Μηχανές Turing Μη ντετερμινιστική Μηχ. Turing (ΝTM)
Διαβάστε περισσότεραΠρόλογος. Πρόλογος 13. Πώς χρησιμοποείται αυτό το βιβλίο 17
Πρόλογος Πρόλογος 13 Πώς χρησιμοποείται αυτό το βιβλίο 17 1 Η λογική σκέψη 19 1.1 Τυπική λογική 20 1.1.1 Διερευνητικά προβλήματα 21 1.1.2 Σύνδεσμοι και προτάσεις 21 1.1.3 Οι πίνακες αλήθειας 23 1.1.4 Λογικές
Διαβάστε περισσότεραΑλγόριθμοι και Δομές Δεδομένων (Ι) (εισαγωγικές έννοιες)
Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Εισαγωγή στην Επιστήμη των Υπολογιστών 2015-16 Αλγόριθμοι και Δομές Δεδομένων (Ι) (εισαγωγικές έννοιες) http://di.ionio.gr/~mistral/tp/csintro/ Μ.Στεφανιδάκης Τι είναι
Διαβάστε περισσότεραNP-πληρότητα. Λεωνίδας Παληός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων
NP-πληρότητα Λεωνίδας Παληός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων Πολυωνυμικός μετασχηματισμός Ένας πολυωνυμικός μετασχηματισμός από την L 1 Σ 1 * στην L 2 Σ 2 * είναι μια συνάρτηση
Διαβάστε περισσότεραΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ
Θεμελιώσεις Επιστήμης Η/Υ ΠΛΗ30 Τελική Εξέταση 26 Ιουνίου 2013 Ονοματεπώνυμο Φοιτητή Αριθμός Μητρώου Φοιτητή Τμήμα Υπογραφή Φοιτητή Υπογραφή Επιτηρητή Διάρκεια: 180 Ερώτημα Μονάδες Βαθμολογία 1 10+10 2
Διαβάστε περισσότεραΤι είναι αλγόριθμος; Υποπρογράμματα (υποαλγόριθμοι) Βασικές αλγοριθμικές δομές
Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Εισαγωγή στην Επιστήμη των Υπολογιστών 2015-16 Αλγόριθμοι και Δομές Δεδομένων (Ι) (εισαγωγικές έννοιες) http://di.ionio.gr/~mistral/tp/csintro/ Μ.Στεφανιδάκης Τι είναι
Διαβάστε περισσότεραCSC 314: Switching Theory
CSC 314: Switching Theory Course Summary 9 th January 2009 1 1 Θέματα Μαθήματος Ερωτήσεις Τι είναι αλγόριθμος? Τι μπορεί να υπολογιστεί? Απαντήσεις Μοντέλα Υπολογισμού Δυνατότητες και μη-δυνατότητες 2
Διαβάστε περισσότεραΔομές Δεδομένων & Αλγόριθμοι
Θέματα Απόδοσης Αλγορίθμων 1 Η Ανάγκη για Δομές Δεδομένων Οι δομές δεδομένων οργανώνουν τα δεδομένα πιο αποδοτικά προγράμματα Πιο ισχυροί υπολογιστές πιο σύνθετες εφαρμογές Οι πιο σύνθετες εφαρμογές απαιτούν
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { Μ η Μ είναι μια ΤΜ η οποία διαγιγνώσκει το πρόβλημα ΙΣΟΔΥΝΑΜΙΑ ΤΜ (διαφάνεια 9 25)} (α) Γνωρίζουμε ότι το
Διαβάστε περισσότεραΔομές Δεδομένων και Αλγόριθμοι
Δομές Δεδομένων και Αλγόριθμοι Χρήστος Γκόγκος ΤΕΙ Ηπείρου Χειμερινό Εξάμηνο 2014-2015 Παρουσίαση 9 P vs NP 1 / 13 Δυσκολία επίλυσης υπολογιστικών προβλημάτων Κάποια προβλήματα είναι εύκολα να λυθούν με
Διαβάστε περισσότεραΚλάση NP, NP-Complete Προβλήματα
Κλάση NP, NP-Complete Προβλήματα Βαγγέλης ούρος douros@aueb.gr 1 11/6/2012 Αλγόριθμοι, Εαρινό Εξάμηνο 2012, Φροντιστήριο #14 Προβλήματα Απόφασης & Βελτιστοποίησης 2 Πρόβλημα Απόφασης: Κάθε πρόβλημα που
Διαβάστε περισσότεραΠολυπλοκότητα. Παράμετροι της αποδοτικότητας ενός αλγόριθμου: Χρόνος εκτέλεσης. Απαιτούμενοι πόροι, π.χ. μνήμη, εύρος ζώνης. Προσπάθεια υλοποίησης
Παράμετροι της αποδοτικότητας ενός αλγόριθμου: Χρόνος εκτέλεσης Απαιτούμενοι πόροι, π.χ. μνήμη, εύρος ζώνης Προσπάθεια υλοποίησης Παράμετροι της αποδοτικότητας ενός αλγόριθμου: Χρόνος εκτέλεσης Απαιτούμενοι
Διαβάστε περισσότεραΚεφάλαιο 5 Ανάλυση Αλγορίθμων
Κεφάλαιο 5 Ανάλυση Αλγορίθμων 5.1 Επίδοση αλγορίθμων Τα πρωταρχικά ερωτήματα που προκύπτουν είναι: 1. πώς υπολογίζεται ο χρόνος εκτέλεσης ενός αλγορίθμου; 2. πώς μπορούν να συγκριθούν μεταξύ τους οι διάφοροι
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Πιο κάτω υπάρχει ένα σχεδιάγραμμα που τοποθετεί τις κλάσεις των κανονικών, ασυμφραστικών, διαγνώσιμων και αναγνωρίσιμων γλωσσών μέσα στο σύνολο όλων των γλωσσών. Ακολουθούν
Διαβάστε περισσότεραΚλάσεις Πολυπλοκότητας
Κλάσεις Πολυπλοκότητας Παύλος Εφραιμίδης pefraimi ee.duth.gr Κλάσεις Πολυπλοκότητας 1 Οι κλάσεις πολυπλοκότητας P και NP P: Polynomial ΗκλάσηP περιλαμβάνει όλα τα υπολογιστικά προβλήματα που μπορούν
Διαβάστε περισσότεραΘΕΩΡΙΑ ΓΡΑΦΩΝ. 7 η Διάλεξη Συνεκτικότητα (Συνδεσμικότητα) Βασικές έννοιες και ιδιότητες Το θεώρημα του Merger Ισομορφισμός
ΘΕΩΡΙΑ ΓΡΑΦΩΝ 7 η Διάλεξη Συνεκτικότητα (Συνδεσμικότητα) Βασικές έννοιες και ιδιότητες Το θεώρημα του Merger Ισομορφισμός Βασικές Έννοιες Στο κεφάλαιο αυτό θα μελετηθεί ο βαθμός συνεκτικότητας (συνδεσμικότητας)
Διαβάστε περισσότεραΣχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 5: ΚΑΤΗΓΟΡΙΕΣ ΑΛΓΟΡΙΘΜΙΚΩΝ ΠΡΟΒΛΗΜΑΤΩΝ-ΑΝΑΓΩΓΗ
Σχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 5: ΚΑΤΗΓΟΡΙΕΣ ΑΛΓΟΡΙΘΜΙΚΩΝ ΠΡΟΒΛΗΜΑΤΩΝ-ΑΝΑΓΩΓΗ Δημήτριος Κουκόπουλος Σχολή Οργάνωσης και Διοίκησης Επιχειρήσεων Τμήμα Διαχείρισης Πολιτισμικού Περιβάλλοντος και
Διαβάστε περισσότεραΛύσεις 4ης Σειράς Ασκήσεων
Λύσεις 4ης Σειράς Ασκήσεων Άσκηση 1 Αναγάγουμε τν Κ 0 που γνωρίζουμε ότι είναι μη-αναδρομική (μη-επιλύσιμη) στην γλώσσα: L = {p() η μηχανή Turing Μ τερματίζει με είσοδο κενή ταινία;} Δοσμένης της περιγραφής
Διαβάστε περισσότεραΑσκήσεις από παλιές εξετάσεις
Άσκηση 2 - Τελική εξέταση 2012 Ασκήσεις από παλιές εξετάσεις (α) [10 μονάδες] Να μετατρέψετε το πιο κάτω NFA σε ένα ισοδύναμο DFA χρησιμοποιώντας την κατασκευή που μελετήσαμε στο μάθημα. a a q 0 a, ε q
Διαβάστε περισσότεραΑλγοριθμικές Τεχνικές. Brute Force. Διαίρει και Βασίλευε. Παράδειγμα MergeSort. Παράδειγμα. Τεχνικές Σχεδιασμού Αλγορίθμων
Τεχνικές Σχεδιασμού Αλγορίθμων Αλγοριθμικές Τεχνικές Παύλος Εφραιμίδης, Λέκτορας http://pericles.ee.duth.gr Ορισμένες γενικές αρχές για τον σχεδιασμό αλγορίθμων είναι: Διαίρει και Βασίλευε (Divide and
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων. 22 - Γράφοι
HY118- ιακριτά Μαθηµατικά Θεωρία γράφων / γραφήµατα Τρίτη, 19/05/2015 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 5/21/2015 1 1 5/21/2015 2 2 Τι είναι οι γράφοι; Mία ειδική κλάση διακριτών δοµών (που
Διαβάστε περισσότερα1. Να αναφέρετε ονοµαστικά τις λειτουργίες µε τις οποίες ο υπολογιστής µπορεί να επιτελέσει µε επιτυχία οποιαδήποτε επεξεργασία. Ï.Å.Ö.Å.
1 Γ' ΛΥΚΕΙΟΥ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗ ΘΕΜΑ 1: Α. 1. Να αναφέρετε ονοµαστικά τις λειτουργίες µε τις οποίες ο υπολογιστής µπορεί να επιτελέσει µε επιτυχία
Διαβάστε περισσότεραΠεριεχόμενα. Εισαγωγή του επιμελητή, Γιάννης Σταματίου 15 Πρόλογος 17 Εισαγωγή 23. Μέρος I. ΕΠΑΝΑΛΗΠΤΙΚΟΙ ΑΛΓΟΡΙΘΜΟΙ ΚΑΙ ΑΝΑΛΛΟΙΩΤΕΣ ΣΥΝΘΗΚΕΣ
Περιεχόμενα Εισαγωγή του επιμελητή, Γιάννης Σταματίου 15 Πρόλογος 17 Εισαγωγή 23 Μέρος I. ΕΠΑΝΑΛΗΠΤΙΚΟΙ ΑΛΓΟΡΙΘΜΟΙ ΚΑΙ ΑΝΑΛΛΟΙΩΤΕΣ ΣΥΝΘΗΚΕΣ 1. Επαναληπτικοί αλγόριθμοι: Μέτρα προόδου και αναλλοίωτες συνθήκες.....................................................29
Διαβάστε περισσότεραΓραμμικός Προγραμματισμός
Μια εταιρεία παράγει κέικ δύο κατηγοριών, απλά και πολυτελείας: Ένα απλό κέικ αποδίδει κέρδος 1 ευρώ. Ένα κέικ πολυτελείας αποδίδει κέρδος 6 ευρώ. Η καθημερινή ζήτηση του απλού κέικ είναι 200. Η καθημερινή
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων Γράφοι
HY118- ιακριτά Μαθηµατικά Θεωρία γράφων / γραφήµατα Τρίτη, 17/05/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 5/22/2016 1 1 5/22/2016 2 2 Τι είναι οι γράφοι; Mία ειδική κλάση διακριτών δοµών (που
Διαβάστε περισσότεραΘεωρία και Αλγόριθμοι Γράφων
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα # 3: Εισαγωγή (Πράξεις) Ιωάννης Μανωλόπουλος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.
Διαβάστε περισσότεραΕπίπεδα Γραφήματα : Προβλήματα και Υπολογιστική Πολυπλοκότητα
Αλγόριθμοι πολυωνυμικού χρόνου Ένας αλγόριθμος πολυωνυμικού χρόνου έχει χρόνο εκτέλεσης όπου είναι μία (θετική) σταθερά Κλάση πολυπλοκότητας : περιλαμβάνει τα προβλήματα που επιδέχονται λύση σε πολυωνυμικό
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 2: Μαθηματικό Υπόβαθρο
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 2: Μαθηματικό Υπόβαθρο Τι θα κάνουμε σήμερα Συναρτήσεις & Σχέσεις (0.2.3) Γράφοι (Γραφήματα) (0.2.4) Λέξεις και Γλώσσες (0.2.5) Αποδείξεις (0.3) 1
Διαβάστε περισσότεραΑλγοριθμικές Τεχνικές
Αλγοριθμικές Τεχνικές Παύλος Εφραιμίδης, Λέκτορας http://pericles.ee.duth.gr Αλγοριθμικές Τεχνικές 1 Τεχνικές Σχεδιασμού Αλγορίθμων Ορισμένες γενικές αρχές για τον σχεδιασμό αλγορίθμων είναι: Διαίρει και
Διαβάστε περισσότεραΠεριεχόμενα μεθόδευση του μαθήματος
Περιεχόμενα μεθόδευση του μαθήματος. Πως ορίζεται η έννοια. Το όριο. To f() f() ; f() εφόσον υπάρχει είναι μονοσήμαντα ορισμένο; εξαρτιέται από τα άκρα α, β των ( α, ) και (, β ) ;. Πως ορίζονται τα πλευρικά
Διαβάστε περισσότεραΤεχνικές Αποδείξεις Κάτω Φραγμάτων
Τεχνικές Αποδείξεις Κάτω Φραγμάτων Θέλουμε να δείξουμε κυκλωματικά κάτω φράγματα για ομοιόμορφες κλάσεις επειδή: Δίνουν μεγάλη πληροφορία για τις κλάσεις αυτές: π.χ. αν EXP P /poly σημαίνει Ότι παρότι
Διαβάστε περισσότεραυναμικός Προγραμματισμός
υναμικός Προγραμματισμός ιδάσκοντες: Σ. Ζάχος,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο ιωνυμικοί Συντελεστές ιωνυμικοί
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους
Εισαγωγή στους Αλγορίθμους Ενότητα 7η Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Αλγόριθμοι Γραφημάτων Τοπολογική Διάταξη
Διαβάστε περισσότεραΚεφάλαιο 1. Πέντε Αντιπροσωπευτικά Προβλήματα. Έκδοση 1.4, 30/10/2014. Χρησιμοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne.
Κεφάλαιο 1 Πέντε Αντιπροσωπευτικά Προβλήματα Έκδοση 1.4, 30/10/2014 Χρησιμοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne. 1 1.2 Πέντε Αντιπροσωπευτικά Προβλήματα 1. Χρονοπρογραμματισμός Διαστημάτων
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Συναίνεση χωρίς την παρουσία σφαλμάτων Κατανεμημένα Συστήματα Ι 4η Διάλεξη 27 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Κατανεμημένα Συστήματα Ι 4η Διάλεξη 1 Συναίνεση χωρίς την παρουσία σφαλμάτων Προηγούμενη
Διαβάστε περισσότεραILP-Feasibility conp
Διάλεξη 19: 23.12.2014 Θεωρία Γραμμικού Προγραμματισμού Γραφέας: Χαρίλαος Τζόβας Διδάσκων: Σταύρος Κολλιόπουλος 19.1 Θεωρία Πολυπλοκότητας και προβλήματα απόφασης Για να μιλήσουμε για προβλήματα και τον
Διαβάστε περισσότεραΣΧΕΔΙΑΣΗ ΚΑΙ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΤΜΗΜΑ ΔΙΑΧΕΙΡΙΣΗΣ ΠΟΛΙΤΙΣΜΙΚΟΥ ΠΕΡΙΒΑΛΛΟΝΤΟΣ ΚΑΙ ΝΕΩΝ ΤΕΧΝΟΛΟΓΙΩΝ ΣΧΕΔΙΑΣΗ ΚΑΙ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ ΔΙΔΑΚΤΙΚΗ ΕΝΟΤΗΤΑ 3 ΘΕΜΑ: ΑΝΑΠΑΡΑΣΤΑΣΗ ΔΕΔΟΜΕΝΩΝ ΓΡΑΦΗΜΑΤΑ Επίκουρος Καθηγητής ΠΕΡΙΕΧΟΜΕΝΟ
Διαβάστε περισσότεραΑλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27)
Αλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: ίκτυα ροής και το πρόβληµα της µέγιστης ροής Η µεθοδολογία Ford-Fulkerson Ο αλγόριθµος Edmonds-Karps ΕΠΛ 232
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Επανάληψη Μαθήματος
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Επανάληψη Μαθήματος Το Μάθημα σε μια Διαφάνεια Υπολογιστικά μοντέλα Κανονικές Γλώσσες Ντετερμινιστικά Αυτόματα Μη Ντετερμινιστικά Αυτόματα Κανονικές Εκφράσεις
Διαβάστε περισσότεραΕισαγωγή στην επιστήμη των υπολογιστών. Λογισμικό Υπολογιστών Κεφάλαιο 8ο Αλγόριθμοι
Εισαγωγή στην επιστήμη των υπολογιστών Λογισμικό Υπολογιστών Κεφάλαιο 8ο Αλγόριθμοι 1 Έννοια Ανεπίσημα, ένας αλγόριθμος είναι μια βήμα προς βήμα μέθοδος για την επίλυση ενός προβλήματος ή την διεκπεραίωση
Διαβάστε περισσότεραΔΥΣΚΟΛΙΑ ΣΤΗΝ ΠΡΟΣΕΓΓΙΣΙΜΟΤΗΤΑ
ΔΥΣΚΟΛΙΑ ΣΤΗΝ ΠΡΟΣΕΓΓΙΣΙΜΟΤΗΤΑ Επιμέλεια : Γεωργίου Κωστής Παρουσίαση στα πλαίσια του μαθήματος: Δίκτυα και πολυπλοκότητα Φεβρουάριος 004 μπλ Κίνητρα για τη μελέτη της μη προσεγγισιμότητας Ο πληρέστερος
Διαβάστε περισσότεραHY380 Αλγόριθμοι και πολυπλοκότητα Hard Problems
HY380 Αλγόριθμοι και πολυπλοκότητα Hard Problems Ημερομηνία Παράδοσης: 0/1/017 την ώρα του μαθήματος ή με email: mkarabin@csd.uoc.gr Γενικές Οδηγίες α) Επιτρέπεται η αναζήτηση στο Internet και στην βιβλιοθήκη
Διαβάστε περισσότεραΑΛΓΟΡΙΘΜΟΙ Άνοιξη 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
Διαβάστε περισσότεραΓράφοι. Ένας γράφος ή αλλιώς γράφηµα αποτελείται απο. Εφαρµογές: Τηλεπικοινωνιακά και Οδικά ίκτυα, Ηλεκτρονικά Κυκλώµατα, Β.. κ.ά.
Γράφοι Ένας γράφος ή αλλιώς γράφηµα αποτελείται απο πλευρές (ακµές) και κορυφές (κόµβους). Εφαρµογές: Τηλεπικοινωνιακά και Οδικά ίκτυα, Ηλεκτρονικά Κυκλώµατα, Β.. κ.ά. Graph Drawing 4 πιθανές αναπαραστάσεις
Διαβάστε περισσότεραΥπολογιστικό Πρόβληµα
Υπολογιστικό Πρόβληµα Μετασχηµατισµός δεδοµένων εισόδου σε δεδοµένα εξόδου. Δοµή δεδοµένων εισόδου (έγκυρο στιγµιότυπο). Δοµή και ιδιότητες δεδοµένων εξόδου (απάντηση ή λύση). Τυπικά: διµελής σχέση στις
Διαβάστε περισσότεραΓράφοι: κατευθυνόμενοι και μη
Γράφοι: κατευθυνόμενοι και μη (V,E ) (V,E ) Γράφος (ή γράφημα): ζεύγος (V,E), V ένα μη κενό σύνολο, Ε διμελής σχέση πάνω στο V Μη κατευθυνόμενος γράφος: σχέση Ε συμμετρική V: κορυφές (vertices), κόμβοι
Διαβάστε περισσότεραΠροσεγγιστικοί Αλγόριθμοι
Πολλά NP-πλήρη προβλήματα έχουν μεγάλο πρακτικό ενδιαφέρον. http://xkcd.com/287/ Πολλά NP-πλήρη προβλήματα έχουν μεγάλο πρακτικό ενδιαφέρον. Πως μπορούμε να αντιμετωπίσουμε το γεγονός ότι είναι απίθανη(;)
Διαβάστε περισσότεραΘΕΜΑΤΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ Γ ΛΥΚΕΙΟΥ ΕΠΑΝΑΛΗΠΤΙΚΟ 10/4/2016
ΘΕΜΑΤΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ Γ ΛΥΚΕΙΟΥ ΕΠΑΝΑΛΗΠΤΙΚΟ 10/4/2016 ΘΕΜΑ 1ο Α. Να γράψετε τον αριθμό κάθε πρότασης και δίπλα αν είναι Σωστή(Σ) ή Λανθασμένη(Λ). 1. Το αντικείμενο
Διαβάστε περισσότεραΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ
Θεμελιώσεις Επιστήμης Η/Υ ΠΛΗ30 Τελική Εξέταση 2 Ιουλίου 2014 Ονοματεπώνυμο Φοιτητή Αριθμός Μητρώου Φοιτητή Τμήμα Υπογραφή Φοιτητή Υπογραφή Επιτηρητή Διάρκεια: 180 Ερώτημα Μονάδες Βαθμολογία 1 8+8+4 2
Διαβάστε περισσότεραυναμικός Προγραμματισμός
υναμικός Προγραμματισμός ιδάσκοντες: Σ. Ζάχος,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο ιωνυμικοί Συντελεστές ιωνυμικοί
Διαβάστε περισσότεραΑλγόριθμοι και Πολυπλοκότητα
Αλγόριθμοι και Πολυπλοκότητα 7ο εξάμηνο ΣHMΜY Εισαγωγή Διδάσκοντες: Άρης Παγουρτζής, Δώρα Σούλιου Στάθης Ζάχος, Δημήτρης Σακαβάλας Επιμέλεια διαφανειών: Άρης Παγουρτζής www.corelab.ntua.gr/courses/algorithms
Διαβάστε περισσότεραΘεωρία Γραφημάτων Θεμελιώσεις-Αλγόριθμοι-Εφαρμογές
Θεωρία Γραφημάτων Θεμελιώσεις-Αλγόριθμοι-Εφαρμογές Ενότητα 7 ΧΡΩΜΑΤΙΣΜΟΣ Σταύρος Δ. Νικολόπουλος 2017-18 www.cs.uoi.gr/~stavros Εισαγωγή Χρωματισμός κορυφών-ακμών-περιοχών. Χρωματική τάξη (color class):
Διαβάστε περισσότεραΑναζήτηση Κατά Βάθος. ιδάσκοντες: Σ. Ζάχος,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Αναζήτηση Κατά Βάθος ιδάσκοντες: Σ. Ζάχος,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Αναζήτηση Κατά Βάθος (DFS) Εξερεύνηση
Διαβάστε περισσότεραυναμικός Προγραμματισμός
υναμικός Προγραμματισμός ημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο ιακριτό Πρόβλημα Σακιδίου ίνονται n αντικείμενα και σακίδιο μεγέθους Β. Αντικείμενο
Διαβάστε περισσότεραΆσκηση 3 (ανακοινώθηκε στις 24 Απριλίου 2017, προθεσμία παράδοσης: 2 Ιουνίου 2017, 12 τα μεσάνυχτα).
Κ08 Δομές Δεδομένων και Τεχνικές Προγραμματισμού Διδάσκων: Μανόλης Κουμπαράκης Εαρινό Εξάμηνο 2016-2017. Άσκηση 3 (ανακοινώθηκε στις 24 Απριλίου 2017, προθεσμία παράδοσης: 2 Ιουνίου 2017, 12 τα μεσάνυχτα).
Διαβάστε περισσότεραεπιστρέφει το αμέσως μεγαλύτερο από το x στοιχείο του S επιστρέφει το αμέσως μικρότερο από το x στοιχείο του S
Μελετάμε την περίπτωση όπου αποθηκεύουμε ένα (δυναμικό) σύνολο στοιχειών,, τα οποίo είναι υποσύνολο του. Υποστηριζόμενες λειτουργίες αναζήτηση(s,x): εισαγωγή(s,x): διαγραφή(s,x): διάδοχος(s,x): προκάτοχος(s,x):
Διαβάστε περισσότεραΘεωρία Γραφημάτων Θεμελιώσεις-Αλγόριθμοι-Εφαρμογές
Θεωρία Γραφημάτων Θεμελιώσεις-Αλγόριθμοι-Εφαρμογές Ενότητα 1 ΕΙΣΑΓΩΓΗ ΣΤΗ ΘΕΩΡΙΑ ΓΡΑΦΗΜΑΤΩΝ Σταύρος Δ. Νικολόπουλος 2017-18 www.cs.uoi.gr/~stavros Σχετικά με το Μάθημα Ώρες γραφείου: Δευτέρα Παρασκευή
Διαβάστε περισσότεραΕισαγωγικές Έννοιες. ημήτρης Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Εθνικό Μετσόβιο Πολυτεχνείο
Εισαγωγικές Έννοιες ημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Άδεια Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.
Διαβάστε περισσότεραΑΠΑΝΤΗΣΕΙΣ. 1. Να αναφέρετε ονοµαστικά τις λειτουργίες µε τις οποίες ο υπολογιστής µπορεί να επιτελέσει µε επιτυχία οποιαδήποτε επεξεργασία.
1 Γ' ΛΥΚΕΙΟΥ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗ ΘΕΜΑ 1: Α. ΑΠΑΝΤΗΣΕΙΣ 1. Να αναφέρετε ονοµαστικά τις λειτουργίες µε τις οποίες ο υπολογιστής µπορεί να επιτελέσει
Διαβάστε περισσότεραΥΠΟΠΡΟΓΡΑΜΜΑΤΑ. Κάθε υποπρόγραμμα έχει μόνο μία είσοδο και μία έξοδο. Κάθε υποπρόγραμμα πρέπει να είναι ανεξάρτητο από τα άλλα.
ΥΠΟΠΡΟΓΡΑΜΜΑΤΑ Τμηματικός προγραμματισμός ονομάζεται η τεχνική σχεδίασης και ανάπτυξης των προγραμμάτων ως ένα σύνολο από απλούστερα τμήματα προγραμμάτων. Όταν ένα τμήμα προγράμματος επιτελεί ένα αυτόνομο
Διαβάστε περισσότεραΓράφοι. Αλγόριθμοι και πολυπλοκότητα. Στάθης Ζάχος, Δημήτρης Φωτάκης
Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Αλγόριθμοι και πολυπλοκότητα Στάθης Ζάχος, Δημήτρης Φωτάκης Γράφοι Άδεια Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται
Διαβάστε περισσότερα4.3 Ορθότητα και Πληρότητα
4.3 Ορθότητα και Πληρότητα Συστήματα αποδείξεων όπως η μορφολογική παραγωγή και η κατασκευή μοντέλων χρησιμοποιούνται για να δείξουμε την εγκυρότητα εξαγωγών συμπερασμάτων. Ένα σύστημα αποδείξεων μπορεί
Διαβάστε περισσότεραΔιάλεξη 6: Εκλογή Προέδρου σε Σύγχρονους Δακτύλιους. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 6: Εκλογή Προέδρου σε Σύγχρονους Δακτύλιους ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Μη Ομοιόμορφος Αλγόριθμος Εκλογής Προέδρου σε Σύγχρονο Δακτύλιο Ομοιόμορφος Αλγόριθμος Εκλογής Προέδρου
Διαβάστε περισσότεραΚατώτερα φράγματα Κατώτερο φράγμα: εκτίμηση της ελάχιστης εργασίας που απαιτείται για την επίλυση ενός προβλήματος. Παραδείγματα: Αριθμός συγκρίσεων π
Περιορισμοί Αλγοριθμικής Ισχύος Κατηγοριοποίηση πολυπλοκοτήτων Κατώτερα φράγματα Κατώτερο φράγμα: εκτίμηση της ελάχιστης εργασίας που απαιτείται για την επίλυση ενός προβλήματος. Παραδείγματα: Αριθμός
Διαβάστε περισσότεραΠροσεγγιστικοί Αλγόριθμοι βασισμένοι σε Γραμμικό Προγραμματισμό
Προσεγγιστικοί Αλγόριθμοι βασισμένοι σε Γραμμικό Προγραμματισμό ημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Γενική Προσέγγιση ιατυπώνουμε το πρόβλημα
Διαβάστε περισσότεραΚατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόγχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός
Κατευθυνόμενα γραφήματα Μαθηματικά Πληροφορικής 6ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Κατευθυνόμενο γράφημα G είναι ένα ζεύγος (V, E ) όπου V πεπερασμένο σύνολο του οποίου
Διαβάστε περισσότεραΔομές Δεδομένων και Αλγόριθμοι
Δομές Δεδομένων και Αλγόριθμοι Χρήστος Γκόγκος ΤΕΙ Ηπείρου Χειμερινό Εξάμηνο 2014-2015 Παρουσίαση 1 Εισαγωγή 1 / 14 Δομές Δεδομένων και Αλγόριθμοι Δομή Δεδομένων Δομή δεδομένων είναι ένα σύνολο αποθηκευμένων
Διαβάστε περισσότεραΆσκηση 3 (ανακοινώθηκε στις 14 Μαΐου 2018, προθεσμία παράδοσης: 8 Ιουνίου 2018, 12 τα μεσάνυχτα).
Κ08 Δομές Δεδομένων και Τεχνικές Προγραμματισμού Διδάσκων: Μανόλης Κουμπαράκης Εαρινό Εξάμηνο 2017-2018. Άσκηση 3 (ανακοινώθηκε στις 14 Μαΐου 2018, προθεσμία παράδοσης: 8 Ιουνίου 2018, 12 τα μεσάνυχτα).
Διαβάστε περισσότεραΠΕΡΙΕΧΟΜΕΝΑ. Πρόλογος στη δεύτερη έκδοση
Πρόλογος του επιµελητή xiii Πρόλογος στην πρώτη έκδοση xv Προς τους ϕοιτητές.......................... xv Προς τους διδάσκοντες........................ xvii Ηπρώτηέκδοση........................... xviii
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 10/05/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 10-May-18 1 1 Θεωρία γράφων / γραφήματα 10-May-18 2 2 Τι είναι οι γράφοι; Mία ειδική κλάση διακριτών δομώνκαι
Διαβάστε περισσότεραΠιθανοτικοί Αλγόριθμοι
Πιθανοτικοί Αλγόριθμοι ιδάσκοντες: Σ. Ζάχος,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Πιθανοτικοί Αλγόριθμοι Πιθανοτικός
Διαβάστε περισσότεραΠροσεγγιστικοί Αλγόριθμοι
Πολλά NP-πλήρη προβλήματα έχουν μεγάλο πρακτικό ενδιαφέρον. http://xkcd.com/287/ Πολλά NP-πλήρη προβλήματα έχουν μεγάλο πρακτικό ενδιαφέρον. Πως μπορούμε να αντιμετωπίσουμε το γεγονός ότι είναι απίθανη(;)
Διαβάστε περισσότεραΘεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος
Περιγραφή μαθήματος Θεωρία Υπολογισμού Άρτιοι ΑΜ Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας (Θεωρία Αλγορίθμων). Διδάσκων: Σταύρος Κολλιόπουλος
Διαβάστε περισσότερα