άθροισµα υποσυνόλου ακέραιο πρόβληµατουσακιδίου ακέραιος προγραµµατισµός 0 1 αλληλουχία ίδιων αποτελεσµάτων αλληλουχία πινάκων αλυσιδωτή σύνδεση

Transcript

1 Γλωσσάριο Α. Ελληνοαγγλικό αβελιανή οµάδα αγωγός (εισόδου/εξόδου) αδελϕικός κόµβος άθροισµα υποσυνόλου αθροιστική ανάλυση αιτιοκρατικός ακατεύθυντο γράϕηµα ακέραιο πρόβληµατουσακιδίου ακέραιος προγραµµατισµός 0 1 ακεραιότητα, θεώρηµα της ακµή ακµική συνδετικότητα ακολουθία άκρο ακτίνα άκυκλο γράϕηµα άκυρη µετατόπιση αληθεύσιµος τύπος αληθευσιµότητα αληθοποιός τιµοδοσία αλληλουχία ίδιων αποτελεσµάτων αλληλουχία πινάκων αλυσίδα αλυσίδα κυρτού καλύµµατος αλυσιδωτή σύνδεση αλϕάβητο αλϕαριθµητικό δένδρο αλϕαριθµητικός κώδικας άµεσης απόκρισης αµιγής ακολουθία αµοιβαία ανεξάρτητα ενδεχόµενα αµοιβαία πρώτοι αριθµοί αµϕίπλευρη ουρά ανά δύο αµοιβαία πρώτοι αριθµοί ανά δύο ξένα σύνολα αναβαθµιζόµενος κόµβος αναβάθµισης, πράξη (σε αλγορίθµους διοχέτευσης-αναβάθµισης) αναγωγή αναγωγιµότητα αναδόµηση αναδροµή abelian group wire (input wire/output wire) sibling subset-sum aggregate analysis deterministic undirected graph 0 1 knapsack problem 0 1 integer-programming integrality theorem edge edge connectivity sequence endpoint ray acyclic graph invalid shift satisfiable formula satisfiability satisfying assignment streak matrix-chain linked list chain of a convex hull chaining alphabet radix tree character code on-line clean sequence mutually independent events relatively prime deque pairwise relatively prime pairwise disjoint sets relabeled vertex relabel operation (in push-relabel algorithms) reduction reducibility restructuring recursion

2 Γ 2 Γλωσσάριο αναδροµική σχέση αναζήτηση ανάθεση (ή τιµοδοσία) ανακύκλωση µνήµης ανάληψη, από στοίβα αναλλοίωτη συνθήκη ανάλυση LU/LUP ανάλυση ιδιόµορϕης τιµής αναµενόµενος αναστάθµιση αναστολή αναστροϕική συµµετρία ανάστροϕος ανασύνθεση βέλτιστης λύσης ανεξαρτησία ανά δύο ανεξάρτητο σύνολο εργασιών ανεξάρτητοι κόµβοι ανεξάρτητος πρόχειρης µνήµης αλγόριθµος άνευ συνθήκης ανέϕικτος ανιούσα ακµή ανίσωση ανοδική διάνυση δένδρου ανταιτιοκρατικός αντιδιάταξη σε ακολουθία αντικείµενο αντιπρόσωπος συνόλου αντισταθµιστική ανάλυση αντιστοίχιση αντιστοιχισµένος κόµβος αντιστρεπτός πίνακας αντιστροϕέας αντισυµµετρία άνω διάµεσος άνω τριγωνικός πίνακας άνω ϕράγµα ανώϕλι απαλοιϕή ροής απαρίθµηση απαριθµητική ταξινόµηση απερχόµενη µεταβλητή απλά συνδεδεµένο γράϕηµα απλή αλυσίδα απλής διέλευσης, µέθοδος άπληστη επιλογή άπληστο µητροειδές άπληστος αλγόριθµος απλοϊκός αλγόριθµος από κοινού πυκνότητα πιθανότητας απόγονος αποδεκτό ζεύγος ακεραίων αποδεκτός αποδέσµευση αντικειµένων αποδοχή απόθεση, σε στοίβα αποκλεισµός απόκλιση, αποκλιτικός recurrence searching assignment garbage collection pop, from a stack loop invariant LU/LUPdecomposition singular value decomposition expected reweighting preemption transpose symmetry transpose reconstructing an optimal solution pairwise independence independent set of tasks independent set (of a graph) cache-oblivious unconditional infeasible back edge inequality postorder tree walk nondeterministic inversion in a sequence object representative of a set amortized analysis matching matchedvertex invertible matrix inverter skew symmetry upper median upper-triangular matrix upper bound ceiling cancellation of flow counting counting sort leaving variable singly connected graph singly linked list one-pass method greedy-choice greedoid greedy algorithm naive algorithm joint probability density descendant acceptable pair of integers admissible deallocation/freeing of objects acceptance push, onto a stack exclusion slack

3 Γλωσσάριο Γ 3 απολήγουσα ακµή, σε κόµβο απόληξη ουράς απολύτως συγκλίνουσα σειρά αποµείωση αποµονωµένος κόµβος απόρριψη, από πεπερασµένο αυτόµατο αποτίµηση αποτίµηση πολυωνύµου αποτιµητική συνάρτηση αποϕόρτιση υπερχειλούς κόµβου απροθηµατικός κώδικας απών θυγατρικός αραιό γράϕηµα αραιοκαλυπτόµενη κατανοµή άρθρωση αρθρωτό δένδρο αριθµητική ευστάθεια αριθµοτακτική ταξινόµηση αριστερό άκρο διαστήµατος αριστερού θυγατρικού-δεξιού αδελϕικού, αναπαράσταση αρχετυπικός αλγόριθµος αρχική ρίζα αρχικός έλεγχος αναλλοίωτης συνθήκης ασθενής δυϊκότητα ασθενής ταξινόµηση αστεροειδές πολύγωνο ασυµβίβαστα ενδεχόµενα ασυµπτωσιακός ασυµπτωτική επίδοση ασυµπτωτικός συµβολισµός ασϕαλής ακµή αταξινόµητος άτρακτος αύλακα αυξητική διαδροµή αυξητική µέθοδος σχεδίασης αυξητικός χαρακτήρας αυστηρός αυτοπάθεια (ασυµπτωτικού συµβολισµού) αϕετηριακός κόµβος αϕετηριακός υπερκόµβος αϕηρηµένο πρόβληµα βαθµός διακλάδωσης βαθµός εισόδου/εξόδου βαθµόϕραγµα βαθµωτός βαρυσταθµισµένο δένδρο βαρύτατη διαδροµή βάση στοίβας βέβαιο ενδεχόµενο βέλτιστη υποδοµή βελτιστοποίηση βέλτιστος βεστιάριο, πρόβληµα του βοηθητικό γραµµικό πρόγραµµα βολιδοσκόπηση incident to a vertex (edge) tail of a queue absolutely convergent series decrement isolated vertex rejection, by a finite automaton objective value evaluation of a polynomial objective function discharge of an overflowing vertex prefix code absent child sparse graph sparse-hulled distribution articulation point splay tree numerical stability radix sort low endpoint of an interval left-child, right-sibling representation generic algorithm primitive root initialization of loop invariant weak duality fuzzy sorting star-shaped polygon mutually exclusive events collision-resistant asymptotic efficiency asymptotic notation safe edge unsorted spindle track augmenting path incremental design method order of growth tight reflexivity (of asymptotic notation) source supersource abstract problem fan-out in-degree/out-degree degree-bound scalar weight-balanced tree longest path bottom of a stack certain event optimal substructure optimization optimal hat-check problem auxiliary linear program probe, probing

4 Γ 4 Γλωσσάριο βολιδοσκοπική ακολουθία βραχίονας βραχυζευκτικό δίκτυο βραχυκυκλωτικός τελεστής βραχύτατη διαδροµή βροχοαναδροµή βροχοαναδροµικός βρόχος γειτνίαση γείτονας γειτονιά γειτονικοί (ή προσκείµενοι) κόµβοι γεννήτρια τυχαίων/ψευδοτυχαίων αριθµών γέϕυρα γνήσιος γνησίως αύξουσα γνησίως ϕθίνουσα γραµµατική απόσταση γραµµή παραγωγής γραµµική αναζήτηση γραµµικότητα αναµενόµενων τιµών γράϕηµα γράϕηµα διαστηµάτων δάσος δειγµατικός χώρος δειγµατοληψία δείκτης δείκτης στοιχείου δείκτρια τυχαία µεταβλητή δενδρική ακµή δένδρο δένδρο αναδροµής δένδρο αναζήτησης δένδρο αποϕάσεων δένδρο διαστηµάτων δένδρο σύντηξης δενδροσωρός δεξιό άκρο διαστήµατος δεξιόστροϕη µετατροπή «δεσπόζει», σχέση δευτερεύουσα οµαδοποίηση δευτερογενής πίνακας διασποράς δευτεροτάξιο ελαϕρύτατο συνδετικό δένδρο δηµόσιο κλειδί διαβίβαση αντικειµένου ως παραµέτρου διάγνωση διαγραϕή διαδικασία διαδόσεις διάδοχος διαδροµή διαδροµικό κάλυµµα διαζευκτική κανονική µορϕή διαίρει-και-κυρίευε, µέθοδος διαιρέτης διαιρετική µέθοδος διακλάδωση probe sequence arm transposition network short-circuiting operator unweighted shortest path tail recursion tail-recursive loop adjacency neighbor neighborhood adjacent vertices random/pseudorandom-number generator bridge proper strictly increasing strictly decreasing edit distance assembly-line linear search linearity of expectation graph interval-graph forest sample space sampling pointer index of an element indicator random variable tree edge tree recursion tree search tree decision tree interval tree fusion tree treap high endpoint of an interval right-convert dominates relation secondary clustering secondary hashtable second-best minimum spanning tree public key object passing as parameter decision deletion procedure gossiping successor path path cover disjunctive normal form divide-and-conquer method divisor division method branch

5 Γλωσσάριο Γ 5 διακριτός µετασχηµατισµός Fourier διακύµανση διαµέριση διαµέριση συνόλου, πρόβληµα της διάµεσος διάνυση δένδρου διάσπαση διασπορά διαστολή δυναµικού πίνακα διάσχιση (ευθείας από τµήµα) διάσχιση τοµής διατακτικές στατιστικές διατεταγµένο δένδρο διατήρηση ροής διαϕυγή, πρόβληµα της διαχείριση αποθηκευτικούχώρου διαχρονική δοµή δεδοµένων δίκτυο διµερής διοχέτευσης, πράξη (σε αλγορίθµους διοχέτευσης-αναβάθµισης) διοχέτευσης-αναβάθµισης, αλγόριθµος διπλή αλυσίδα διπλής διέλευσης, µέθοδος δίσκος δισυνδεδεµένη συνιστώσα διτονικός διχοτόµηση δένδρου διχοτοµική αναζήτηση διωνυµικός δοκιµαστική διαίρεση δοµή δεδοµένων δοµή παρενθέσεων δοµηµένο κατά σωρό ελαχίστου δοχείο δυαδικό δένδρο δυϊκός δυϊκότητα δυναµικό δοµής δεδοµένων δυσεπιλυσία δυσεπίλυτο δυϕιοαναστροϕική µετάθεση δυϕιοαναστροϕικός δυαδικός µετρητής δυϕιοδιάνυσµα δυϕιοπράξη εγγραϕή (δεδοµένων) εγκάρσια ακµή εγκλεισµός εγκλωβισµός, αλγορίθµου έγκυρη µετατόπιση εικονική µνήµη εισαγωγή, σε στοίβα/σωρό εισερχόµενη ακµή, σε κόµβο εισερχόµενη µεταβλητή είσοδος αλγορίθµου εκκινούσα ακµή, από κόµβο εκπρόθεσµη εργασία Discrete Fourier Transform (DFT) variance partitioning set-partition problem median tree walk splitting hash, hashing expansion of a dynamic table straddle crossing a cut order statistics ordered tree conservation of flow escape problem storagemanagement persistent data structure network bipartite push operation (in push-relabel algorithms) push-relabel algorithm doubly linked list two-pass method platter biconnected component bitonic bisection of a tree binary search binomial trial division data structure parenthesis structure min-heap-ordered bucket binary tree dual duality potential of a data structure intractability intractable bit-reversal permutation bit-reversed binary counter bit vector bit operation record (data) cross edge inclusion cycling, of an algorithm valid shift virtual memory insertion, into stack/heap entering a vertex (edge) entering variable input to an algorithm incident from a vertex (edge) late task

6 Γ 6 Γλωσσάριο εκϕυλισµός ελάσσων πίνακας ελαϕρά ακµή ελαϕρύτατη διαδροµή ελαϕρύτατο κοµβικό κάλυµµα ελάχιστο κοινό πολλαπλάσιο ελαχιστοποιητικό γραµµικό πρόγραµµα ελαχίστου κόστους ελαχίστων τετραγώνων, προσέγγιση έλεγχος διατήρησης αναλλοίωτης συνθήκης ελεύθερο δένδρο ελλείπων θυγατρικός ελλειψοειδές, αλγόριθµος του εµβαρής εµπρόθεσµη εργασία εµπρόσθια αντικατάσταση εµϕάνιση µορϕοτύπου εναδική µορϕή εναρκτήρια κατάσταση εναρκτήρια περίπτωση ενδεχόµενο ενδιάµεσος κόµβος ενεργειακή µέθοδος ένθεση κιβωτίων ενθετική ταξινόµηση ενοποίηση ριζικού καταλόγου εντοπισµένος κόµβος ένωση κατά τάξη εξαγωγή κατά ανάστροϕη σειρά εισαγωγής εξαγωγή κατά σειρά εισαγωγής εξερεύνηση ακµής εξερχόµενη ακµή, από κόµβο «εξιλαστήριο θύµα», τύπος δένδρου έξοδος αλγορίθµου εξωτερικό γινόµενο εξωτερικό πολυγώνου επαγόµενο υπογράϕηµα επαλήθευση επαµϕοτερίζων παράγοντας επαναληπτικός τετραγωνισµός επανειληµµένη συνάρτηση επαύξηση δοµών δεδοµένων επέκταση συνόλου επί επιβεβαίωση αποτελέσµατος αναλλοίωτης συνθήκης επίθηµα επιθηµατική συνάρτηση επικάλυψη επιλεκτική ταξινόµηση επιλογή δραστηριοτήτων, πρόβληµα της επιλυσιµότητα σε πολυωνυµικό χρόνο επιµορϕισµός επισηµασµένος κόµβος ɛ-πυκνό γράϕηµα εργασία έρριζο δένδρο ερωτηµατική πράξη degeneracy minor of a matrix light edge shortest path minimum-weight vertex cover least common multiple minimization linear program minimum-cost least-squares approximation maintenance of loop invariant free tree missing child ellipsoid algorithm weighted early task forward substitution occurrence of a pattern unary start state base case event intermediate vertex potential method nesting boxes insertion sort consolidating a root list discovered vertex union by rank last-in first-out first-in first-out exploring an edge leaving a vertex (edge) scapegoat tree output of an algorithm cross/outer product exterior of a polygon induced subgraph verification twiddle factor repeated squaring iterated function augmenting data structures extension of a set onto termination of loop invariant suffix suffix function overlap selection sort activity-selection problem polynomial-time solvability surjection marked node ɛ-dense graph task rooted tree query

7 Γλωσσάριο Γ 7 εσωτερικό γινόµενο εσωτερικό πολυγώνου εσωτερικού σηµείου, µέθοδος ευεπιλυσία ευεπίλυτο ευθύγραµµο τµήµα ευκλείδειο µέτρο ευρετήριο ευρετικός κλάδος ευρύτατη αντιστοίχιση ευστάθεια εϕαρµογή καµπύλης εϕικτός εϕικτότητα ζεύγος απώτατων σηµείων ζεύγος εγγύτατων σηµείων ηµιαληθευσιµότητα 3-ΣΚΜ ηµισυνδεδεµένο γράϕηµα θεσιακό δένδρο θετικά ορισµένος πίνακας θετική εισροή θυγατρικός κατάλογος θυγατρικός κόµβος θυρίδα ιδιοβρόχος ιδιόµορϕος πίνακας ιδιότητα ανταλλαγής ιδιότητα ανυπαρξίας διαδροµής ιεραρχία µνήµης ισοµορϕικά γραϕήµατα ισοµορϕισµός ισοσταθµικός διάµεσος ισοσταθµισµένο δένδρο αναζήτησης ισχυρά συνδεδεµένος καθαρή ροή δια µέσου τοµής καθοδική διάνυση δένδρου καθοδική διερεύνηση καθοδικό δένδρο καθολική διασπορά καθολική µεταβλητή καθολικός τερµατικός κόµβος καλύτερη περίπτωση κάλυψη συνόλου καµπυλογράϕος κανονική εξίσωση κατά βάρος ένωση, τέχνασµα της καταληκτικός κόµβος κατάλογος κατάλογος (σηµειοσυµβάντων) κατάλογος αδέσµευτων αντικειµένων κατάλογος υπερπήδησης κατανοµή πιθανότητας κατανοµή πρώτων αριθµών, συνάρτησή της κατάσταση αποδοχής κατάσταση πεπερασµένου αυτόµατου κατάσταση της σαρωτικής ευθείας κατάταξη ακµών inner product interior of a polygon interior-point method tractability tractable line segment euclidean norm dictionary findpath maximal matching stability curve fitting feasible feasibility farthest-pair closest pair half 3-CNF satisfiability semiconnected graph positional tree positive-definite matrix positive flow child list child slot self-loop singular matrix exchange property no-path property memory hierarchy isomorphic graphs bijection weighted median balanced search tree strongly connected net flow across a cut preorder tree walk depth-first search depth-first tree universal hashing global variable universal sink best-case set-covering spline normal equation weighted-union heuristic external node list schedule (event-point) free list skip list probability distribution prime distribution function accepting state state of a finite automaton sweep-line status classification of edges

8 Γ 8 Γλωσσάριο κατευθυντό άκυκλο γράϕηµα (ΚΑΓ) κατευθυντός κατιούσα ακµή κατοπτρισµός κάτω διάµεσος κάτω τριγωνικός πίνακας κάτω ϕράγµα κατώϕλι κενό δένδρο κεντρικό θεώρηµα κεϕαλή κινητής υποδιαστολής (τύπος δεδοµένων ) κλάδος κλασµατικό πρόβληµα του σακιδίου κλειδί κλειστή αλυσίδα κλειστός ηµιδακτύλιος κλειστότητα (ιδιότητα οµάδας) κληρονοµική συλλογή υποσυνόλων κλήση υποπρογράµµατος κλίκα κλιµάκωση κλιµακωτή αποκοπή κοινή υποέκϕραση κοµβικό κάλυµµα κόµβος κόµβος επιλογής κόµβος καµπυλογράϕου κόµβος προορισµού κορεννύουσα διοχέτευση κορεσµένη ακµή κορυϕή πολυγώνου κορυϕή στοίβας κόσκινο του πεδίου αριθµών κρίσιµος κρυπτογράϕηµα κρυπτοσύστηµα κρυϕό κλειδί κυκλική µετάθεση κυκλική οµάδα κύκλος κύκλωµα κύριος υποπίνακας κυρτές στιβάδες κυρτό κάλυµµα κυρτός κωδικοποίηση λαβή λεξίγραµµα λεξικογραϕικά µικρότερο από λεξικογραϕική ταξινόµηση λογική πύλη λογικός λογιστικό κόστος λόγος προσέγγισης λόγος της χρυσής τοµής µακρύτατη διαδροµή directed acyclic graph (dag) directed forward edge mirroring lower median lower-triangular matrix lower bound floor null tree master theorem head floating-point (data type) spine fractional knapsack problem key circular linked list closed semiring closure (group property) hereditary family of subsets calling a subroutine clique scaling cascading cut common subexpression vertex cover node selector vertex knot of a spline destination vertex saturating push saturated edge vertex of a polygon topof a stack number-field sieve critical ciphertext cryptosystem secret key cyclic rotation cyclic group cycle circuit leading submatrix convex layers convex hull convex encoding handle literal lexicographically less than lexicographic sorting logic gate boolean amortized cost approximation ratio golden ratio unweighted longest path

9 Γλωσσάριο Γ 9 µακρύτατος απλόςκύκλος longest-simple-cycle µέγιστη κοινή υπακολουθία longest common subsequence µέγιστης ροής-ελάχιστης τοµής, θεώρηµα max-flow min-cut theorem µεγιστοποιητικό γραµµικό πρόγραµµα maximization linear program µέγιστος κοινός διαιρέτης greatest common divisor µείζον στοιχείο maximal element µείζον υποσύνολο µητροειδούς maximal subset in a matroid µελανέρυθρο δένδρο red-black tree µελανό ύψος black-height µεµονωµένη ελαϕρύτατη διαδροµή single-pair shortest path µεταβατικό πλήρωµα transitive closure µεταβλητών διευθύνσεων, πίνακας διασποράς open-address, hash table µετάθεση permutation µεταθετικό δίκτυο permutation network µετασχηµατισµός chirp chirp transform µετατόπιση, στηνταύτισησυµβολοσειρών shift, in string matching µεταϕορά δεδοµένων data-movement µετρητής counter µέτρο διανύσµατος norm of a vector µη άµεσης απόκρισης off-line έκθετος κόµβος unmatched vertex µη αποδεκτή ακµή inadmissible edge µη βασική µεταβλητή nonbasic variable µη επικαλύψιµο µορϕότυπο συµβολοσειράς nonoverlappable string pattern µη ιδιόµορϕος πίνακας nonsingular matrix µη κορεννύουσα διοχέτευση nonsaturating push µη στιγµιότυπο noninstance µη τετριµµένος nontrivial µη ϕραγµένος unbounded µηδενικό ενδεχόµενο null event µηδενικό πολυωνύµου zero of apolynomial επαναϕορά µετρητή reset of a counter µηδενιστικό διάνυσµα (ή µηδενοδιάνυσµα) null vector µητροειδές matroid µητροειδές γραϕήµατος graphicmatroid µητροειδές πίνακα matric matroid µηχανή άµεσης προσπέλασης random-accessmachine µιγαδική ρίζα της µονάδας complex root of unity µοναδιαία εργασία unit-time task µοναδική παραγοντοποίηση ακεραίων unique factorization of integers µονοµορϕισµός injection µονοσύνολο singleton µορϕότυπο στην ταύτιση συµβολοσειρών pattern in string matching ξένα σύνολα disjoint sets οδηγός pivot ολική θετική εισροή total positive flow οµάδα group οµαδοποίηση clustering οµοαϕετηριακές ελαϕρύτατες διαδροµές single-source shortest paths οµοιόµορϕα τυχαία µετάθεση uniform random permutation οµοτερµατικές ελαϕρύτατες διαδροµές single-destination shortest paths οπίσθια αντικατάσταση back substitution ορθοκανονικά διανύσµατα orthonormal vectors ορθότητα αλγορίθµου correctness of an algorithm οριζόντια ακτίνα horizontal ray οριζόντια διερεύνηση breadth-first search οριζόντιο δένδρο breadth-first tree

10 Γ 10 Γλωσσάριο όρισµα συνάρτησης ουδέτερο στοιχείο ουρά ουρά αλυσίδας ουρά προτεραιότητας ουρά προτεραιότητας ελαχίστου ουρά προτεραιότητας µεγίστου ουσιώδης όρος πανζευκτικές ελαϕρύτατες διαδροµές παραγοντοποίηση παρελκόµενα δεδοµένα παρεµβολή παρενθετική οµαδοποίηση (γινοµένου αλληλουχίας πινάκων) πατρικός κόµβος πεδίο αντικειµένου περατωµένος κόµβος περικοπή καταλόγου περικοπή σωρού περικοπής και διερεύνησης, µέθοδος περιλαµβάνει, σε διαδροµή περιοδεία περιοδεύων πωλητής, πρόβληµα του περιορισµός διαϕοράς περιορισµός περιορισµός εξίσωσης περιορισµός µη αρνητικότητας περιοχή τιµών περιστροϕική σάρωση περιττό-άρτιο (δίκτυο) πηλίκο πιθανοτική ανάλυση πίνακας αληθείας πίνακας συνδέσεων πιστοποίηση αυθεντικότητας πιστοποιητικό πίστωση πλέγµα πλειάδα πλεονάζουσα ροή πλευρά πολυγώνου πλήρης αντιστοίχιση πλήρης διασπορά πληρότητα γλώσσας πλήρους τάξεως πλήρως παρενθετική µορϕή πλησιέστερο σηµείο, τέχνασµα του πλησιέστερος κοινός πρόγονος ποινή πολική γωνία πολλαπλασιασµός αλληλουχίας πινάκων πολλαπλασιαστική µέθοδος πολλαπλασιαστική οµάδα modulo n πολυγράϕηµα πολυπλοκότητα πολυπροϊοντική ροή πολυτοπικός αλγόριθµος argument of a function identity queue tail of a linked list priority queue min-priority queue max-priority queue essential term all-pairs shortest paths factorization satellite data interpolation parenthesization (of a matrix-chain product) parent field of an object finished vertex trimming of a list pruning a heap prune-and-search method contain, in a path tour traveling-salesman problem difference constraint constraint equality constraint nonnegativity constraint range rotational sweep odd-even (network) quotient probabilistic analysis truth table incidence matrix authentication certificate credit grid tuple excess flow side of a polygon perfect matching perfect hashing completeness of a language full rank fully parenthesized closest-point heuristic least common ancestor penalty polar angle matrix-chain multiplication multiplication method multiplicative group modulo n multigraph complexity multicommodity flow simplex algorithm

11 Γλωσσάριο Γ 11 πολύτοπο πολυωνυµικά συναϕής πολυωνυµικά ϕραγµένο πολυωνυµικού χρόνου ποσοστηµόριο πρόγονος προέλαση προθεσµία προθεσµιακή µορϕή πρόθηµα προθηµατική συνάρτηση προθηµατική υπακολουθία προϊόν προκάτοχος προρροή προσάρτηµα προσεγγιστικό σύστηµα προσεγγιστικό σύστηµα πλήρως πολυωνυµικού χρόνου προσεγγιστικός αλγόριθµος προσθετική οµάδα modulo n προσκείµενοι (ή γειτονικοί) κόµβοι πρόσληψη, πρόβληµα της προσπελασιµότητα σε γράϕηµα προτακτικής αναβάθµισης, αλγόριθµος προταξινόµηση πρόχειρη µνήµη πρωταρχική ρίζα της µονάδας πρωτεύον γραµµικό πρόγραµµα πρωτεύουσα µνήµη πρωτεύουσα οµαδοποίηση πρώτευση, έλεγχός της πρώτο επαρκές δοχείο, τέχνασµά του πρώτος αριθµός πυκνό γράϕηµα πυκνότητα πιθανότητας πύλη πυρήνας πολυγώνου ρίζα ριζικό επίπεδο ροή ροή κορεσµού ροϊκό άθροισµα ρυθµός αύξησης σακιδίου, πρόβληµα του σάρωση σάρωση Graham σαρωτική ευθεία σεβασµός συνόλου ακµών σελιδοποίηση κατά παραγγελία σηµειακή αναπαράσταση σηµειοσυµβάν σκιά σηµείου σταθερή διεύθυνση στιγµιότυπο προβλήµατος στοίβα στόχος simplex polynomially related polynomially bounded polynomial-time quantile ancestor march deadline early-first form prefix prefix function prefix of a sequence commodity predecessor preflow widget approximation scheme fully polynomial-time approximation scheme approximation algorithm additive group modulo n adjacent vertices hiring problem reachability in a graph relabel-to-front algorithm presorting cache principal root of unity primal linear program primarymemory primary clustering primality testing first-fit heuristic prime number dense graph probability density gate kernel of a polygon root root list flow blocking flow flow sum rate of growth knapsack problem sweeping Graham s scan sweep line respect a set of edges demand paging point-value representation event point shadow of a point direct-address instance of a problem stack target

12 Γ 12 Γλωσσάριο στρογγύλευση συγγραµµικότητα συγκατακόρυϕος συγκεκριµένο πρόβληµα συγκεντρωτική ροή σύγκλιση συγκρίσιµα ευθύγραµµα τµήµατα συγκριτής συγκριτική ταξινόµηση συγκριτικό δίκτυο συγχωνεύσιµος σωρός συγχωνευτική ταξινόµηση συγχωνευτικό δίκτυο συζευκτική κανονική µορϕή συζυγής ανάστροϕος συλλέκτης, πρόβληµα του σύµβαση άθροισης συµβατός συµβατότητα λεξιγραµµάτων συµβολισµός συµβολοσειρά συµµετρική διάνυση δένδρου συµπαράγοντας συµπίεση κλάδου συµπλήρωµα συµπληρωµατική απόκλιση σύµπτωση συµϕορητικός συναρµογή συνάρτηση βάρους συνάρτηση µεταβάσεων συνδεδεµένος σύνδεση διωνυµικών δένδρων σύνδεση ριζών σύνδεσµος (λογικός) συνδετικό δένδρο συνδυαστικός συνέλιξη συνένωση σύναψη δένδρων συνεπτυγµένος σύνθετος αριθµός συνιστώσα συνοριακή συνθήκη σύνορο πολυγώνου συντακτικό δένδρο συντελεστής διακλάδωσης συντελεστής πληρότητας συντελεστική αναπαράσταση συρρίκνωση ακατεύθυντου γραϕήµατος συρρίκνωση µητροειδούς συσκευασία δέµατος/δώρου συσκευασία σε δοχεία συστοιχία συστολή δυναµικού πίνακα σϕαιρίδια και κάλπες σώρευση γλώσσας rounding collinearity covertical concrete problem aggregate flow convergence comparable line segments comparator comparison sort comparison network mergeable heap merge sort merging network conjunctive normal form conjugate transpose coupon collector s problem implicit summation notation compatible consistency of literals notation string inorder tree walk cofactor path compression complement complementary slackness collision bottleneck concatenation weight function transition function connected link of binomial trees link of roots connective (boolean) spanning tree combinational convolution uniting joining of trees compact composite number component boundary condition boundary of a polygon parse tree branching factor load factor coefficient representation contraction of an undirected graph contraction of a matroid package/gift wrapping bin packing array contraction of a dynamic table balls and bins closure (of a language)

13 Γλωσσάριο Γ 13 σωρός σωρός ελαχίστου σωρός µεγίστου τάξη γραµµών/στηλών τάξη οµάδας ταξινοµηµένη αλυσίδα ταξινόµηση ταξινόµηση µε δοχεία ταξινόµηση σωρού ταξινοµητικό δίκτυο ταύτιση συµβολοσειρών ταυτολογία ταχύς µετασχηµατισµός Fourier (FFT) ταχυταξινόµηση τεκµήριο συνθετότητας αριθµού τελική κατάσταση τερµατικός κόµβος τερµατικός υπερκόµβος τερµατισµός τετραγωνικό υπόλοιπο τετριµµένος διαιρέτης τέχνασµα τηλεσκοπική σειρά τιµή ροής τιµοδοσία (ή ανάθεση) τιµοδοσία αληθείας τοµή (γραϕήµατος, δικτύου ροής) τοµή γλωσσών τοπική µεταβλητή τοπολογική ταξινόµηση τριγωνικός πίνακας τριδιαγώνιος πίνακας τριχοτοµική ιδιότητα διαστηµάτων τυπική απόκλιση τυπική µορϕή τύπος τυχαία κατασκευασµένο δυαδικό δένδρο αναζήτησης τυχαία µεταβλητή τυχαιοκρατικός υλοποίηση υπακολουθία υπερακµή υπεράντληση, στοίβας υπεράνω, σχέση υπεργράϕηµα υπερκαθορισµένο σύστηµα γραµµικών εξισώσεων υπερπολυωνυµικός χρόνος υπέρτατη στιβάδα υπέρτατο σηµείο υπερχειλής κόµβος υπερχείλιση, στοίβας υπό συνθήκη υπογραϕή υπογράϕηµα υπογράϕηµα προκατόχων υπόδενδρο υποδιαδροµή heap min-heap max-heap row/column rank order of a group sorted linked list sorting bucket sort heapsort sorting network matching, of strings tautology Fast Fourier Transform (FFT) quicksort witness to the compositeness of a number final-state sink supersink halting quadraticresidue trivial divisor heuristic telescoping series flow value assignment truth assignment cut intersectionoflanguages local variable topological sort triangular matrix tridiagonal matrix trichotomy, interval standard deviation standard form formula randomly built binary search tree random variable randomized implementation subsequence hyperedge underflow, of a stack above relation hypergraph overdetermined system of linear equations superpolynomial time maximal layer maximal point overflowing vertex overflow, of a stack conditional signature subgraph predecessor-subgraph subtree subpath

14 Γ 14 Γλωσσάριο υποδιπλασιασµός υποκαθορισµένο σύστηµα γραµµικών εξισώσεων υπολειπόµενος υπολογισιµότητα σε πολυωνυµικόχρόνο υπολοιπικός υπόλοιπο υποµνηµατισµός υποοµάδα υποσυµβολοσειρά υψοσταθµισµένος ύψωση σε δύναµη ϕάση ϕραγή αθροίσµατος ϕράση ϕρουρός ϕύλλο ϕυσαλιδωτή ταξινόµηση χαλαρός χαλάρωση χαλάρωση διαδροµής χαµιλτονιανός κύκλος χάσµα χειρότερη περίπτωση χιασµός χορδή χρεωπιστωτική µέθοδος χρονοδιάγραµµα χρονοπρογραµµατισµός χρόνος απελευθέρωσης χρόνος εκτέλεσης χρόνος έναρξης χρόνος εντοπισµού χρόνος λήξης χρόνος ολοκλήρωσης χρόνος περάτωσης χρονοσϕραγίδα χρωµατισµός χωρητικότητα χωροθέτηση υπηρεσιών χώρος αναϕοράς ψευδοαντίστροϕος ψευδοκώδικας ψευδοπρώτος ψευδοπρώτος ως προςβάσηa ψευδοσύµπτωση ψηϕιακή υπογραϕή halving underdetermined system of linear equations residual polynomial-time computability modular remainder, residual memoization subgroup substring height-balanced exponentiation configuration bounding asummation clause sentinel leaf bubblesort relaxed relaxation path-relaxation hamiltonian cycle gap worst-case butterfly operation chord accounting method schedule scheduling release time running time start time discovery time finish time completion time finishingtime timestamp coloring capacity post-officelocation universe pseudoinverse pseudocode pseudoprime base-a pseudoprime spurious hit digital signature Α. Αγγλοελληνικό abelian group above relation absent child absolutely convergent series abstract problem αβελιανή οµάδα υπεράνω, σχέση απών θυγατρικός απολύτως συγκλίνουσα σειρά αϕηρηµένο πρόβληµα

15 Γλωσσάριο Γ 15 acceptable pair of integers acceptance accepting state accounting method activity-selection problem acyclic graph additive group modulo n adjacency adjacent vertices admissible aggregate analysis aggregate flow all-pairs shortest paths alphabet amortized analysis amortized cost ancestor approximation algorithm approximation ratio approximation scheme argument of a function arm array articulation point assembly-line assignment asymptotic efficiency asymptotic notation augmenting data structures augmenting path authentication auxiliary linear program back edge back substitution balanced search tree balls and bins base case base-a pseudoprime best-case biconnected component bijection bin packing binary search binary tree binomial bipartite bisection of a tree bit operation bit vector bitonic bit-reversal permutation bit-reversed binary counter black-height blocking flow boolean bottleneck bottom of a stack αποδεκτό ζεύγος ακεραίων αποδοχή κατάσταση αποδοχής χρεωπιστωτική µέθοδος πρόβληµα της επιλογής δραστηριοτήτων άκυκλο γράϕηµα προσθετική οµάδα modulo n γειτνίαση γειτονικοί (ή προσκείµενοι) κόµβοι αποδεκτός αθροιστική ανάλυση συγκεντρωτική ροή πανζευκτικές ελαϕρύτατες διαδροµές αλϕάβητο αντισταθµιστική ανάλυση λογιστικό κόστος πρόγονος προσεγγιστικός αλγόριθµος λόγος προσέγγισης προσεγγιστικό σύστηµα όρισµα συνάρτησης βραχίονας συστοιχία άρθρωση γραµµή παραγωγής ανάθεση ή τιµοδοσία ασυµπτωτική επίδοση ασυµπτωτικός συµβολισµός επαύξηση δοµών δεδοµένων αυξητική διαδροµή πιστοποίηση αυθεντικότητας βοηθητικό γραµµικό πρόγραµµα ανιούσα ακµή οπίσθια αντικατάσταση ισοσταθµισµένο δένδρο αναζήτησης σϕαιρίδια και κάλπες εναρκτήρια περίπτωση ψευδοπρώτος ως προς βάση a καλύτερη περίπτωση δισυνδεδεµένη συνιστώσα ισοµορϕισµός συσκευασία σε δοχεία διχοτοµική αναζήτηση δυαδικό δένδρο διωνυµικός διµερής διχοτόµηση δένδρου δυϕιοπράξη δυϕιοδιάνυσµα διτονικός δυϕιοαναστροϕική µετάθεση δυϕιοαναστροϕικός δυαδικός µετρητής µελανό ύψος ροή κορεσµού λογικός συµϕορητικός βάση στοίβας

16 Γ 16 Γλωσσάριο boundary condition boundary of a polygon bounding a summation branch branching factor breadth-first search breadth-first tree bridge bubblesort bucket bucket sort butterfly operation cache cache-oblivious calling a subroutine cancellation of flow capacity cascading cut ceiling certain event certificate chain of a convex hull chaining character code child child list chirp transform chord ciphertext circuit circular linked list classification of edges clause clean sequence clique closed semiring closest pair closest-point heuristic closure (group property) closure (of a language) clustering coefficient representation cofactor collinearity collision collision-resistant coloring column rank combinational commodity common subexpression compact comparable line segments comparator comparison network comparison sort compatible συνοριακή συνθήκη σύνορο πολυγώνου ϕραγή αθροίσµατος διακλάδωση συντελεστής διακλάδωσης οριζόντια διερεύνηση οριζόντιο δένδρο γέϕυρα ϕυσαλιδωτή ταξινόµηση δοχείο ταξινόµηση µε δοχεία χιασµός πρόχειρη µνήµη ανεξάρτητος πρόχειρης µνήµης αλγόριθµος κλήση υποπρογράµµατος απαλοιϕή ροής χωρητικότητα κλιµακωτή αποκοπή ανώϕλι βέβαιο ενδεχόµενο πιστοποιητικό αλυσίδα κυρτού καλύµµατος αλυσιδωτή σύνδεση αλϕαριθµητικός κώδικας θυγατρικός κόµβος θυγατρικόςκατάλογος µετασχηµατισµός chirp χορδή κρυπτογράϕηµα κύκλωµα κλειστή αλυσίδα κατάταξη ακµών ϕράση αµιγής ακολουθία κλίκα κλειστός ηµιδακτύλιος ζεύγοςεγγύτατων σηµείων τέχνασµα του πλησιέστερου σηµείου κλειστότητα (ιδιότητα οµάδας) σώρευση γλώσσας οµαδοποίηση συντελεστική αναπαράσταση συµπαράγοντας συγγραµµικότητα σύµπτωση ασυµπτωσιακός χρωµατισµός τάξη στηλών συνδυαστικός προϊόν κοινή υποέκϕραση συνεπτυγµένος συγκρίσιµα ευθύγραµµα τµήµατα συγκριτής συγκριτικό δίκτυο συγκριτική ταξινόµηση συµβατός

17 Γλωσσάριο Γ 17 complement complementary slackness completenessof a language completion time complex root of unity complexity component composite number concatenation concrete problem conditional configuration conjugate transpose conjunctive normal form connected connective (boolean) conservation of flow consistency of literals consolidating a root list constraint contain, in apath contraction of a dynamic table contraction of a matroid contraction of an undirected graph convergence convex convex hull convex layers convolution correctness of an algorithm counter counting counting sort coupon collector s problem covertical credit critical cross edge cross product crossing a cut cryptosystem curve fitting cut cycle cyclic group cyclic rotation cycling, of an algorithm data structure data-movement deadline deallocation of objects decision decision tree decrement degeneracy degree-bound deletion συµπλήρωµα συµπληρωµατική απόκλιση πληρότητα γλώσσας χρόνος ολοκλήρωσης µιγαδική ρίζα της µονάδας πολυπλοκότητα συνιστώσα σύνθετος αριθµός συναρµογή συγκεκριµένο πρόβληµα υπό συνθήκη ϕάση συζυγής ανάστροϕος συζευκτικήκανονικήµορϕή συνδεδεµένος σύνδεσµος (λογικός) διατήρηση ροής συµβατότητα λεξιγραµµάτων ενοποίηση ριζικού καταλόγου περιορισµός περιλαµβάνει, σε διαδροµή συστολή δυναµικού πίνακα συρρίκνωση µητροειδούς συρρίκνωση ακατεύθυντου γραϕήµατος σύγκλιση κυρτός κυρτό κάλυµµα κυρτές στιβάδες συνέλιξη ορθότητα αλγορίθµου µετρητής απαρίθµηση απαριθµητική ταξινόµηση πρόβληµατου συλλέκτη συγκατακόρυϕος πίστωση κρίσιµος εγκάρσια ακµή εξωτερικό γινόµενο διάσχιση τοµής κρυπτοσύστηµα εϕαρµογή καµπύλης τοµή κύκλος κυκλική οµάδα κυκλική µετάθεση εγκλωβισµός, αλγορίθµου δοµή δεδοµένων µεταϕορά δεδοµένων προθεσµία αποδέσµευση αντικειµένων διάγνωση δένδρο αποϕάσεων αποµείωση εκϕυλισµός βαθµόϕραγµα διαγραϕή

18 Γ 18 Γλωσσάριο demand paging dense graph depth-first search depth-first tree deque descendant destination vertex deterministic dictionary difference constraint digital signature direct-address directed directed acyclic graph (dag) discharge of an overflowing vertex discovered vertex discovery time Discrete Fourier Transform (DFT) disjoint sets disjunctive normal form divide-and-conquer method division method divisor dominates relation doubly linked list dual duality early task early-first form edge edge connectivity edit distance ellipsoid algorithm encoding endpoint entering a vertex (edge) entering variable ɛ-dense graph equality constraint escape problem essential term euclidean norm evaluation of a polynomial event event point excess flow exchange property exclusion expansion of a dynamic table expected exploring an edge exponentiation extension of a set exterior of a polygon external node factorization fan-out σελιδοποίηση κατά παραγγελία πυκνό γράϕηµα καθοδική διερεύνηση καθοδικό δένδρο αµϕίπλευρη ουρά απόγονος κόµβος προορισµού αιτιοκρατικός ευρετήριο περιορισµός διαϕοράς ψηϕιακή υπογραϕή σταθερή διεύθυνση κατευθυντός κατευθυντό άκυκλο γράϕηµα (ΚΑΓ) αποϕόρτιση υπερχειλούς κόµβου εντοπισµένος κόµβος χρόνος εντοπισµού διακριτός µετασχηµατισµός Fourier ξένα σύνολα διαζευκτικήκανονική µορϕή µέθοδος διαίρει-και-κυρίευε διαιρετική µέθοδος διαιρέτης «δεσπόζει», σχέση διπλήαλυσίδα δυϊκός δυϊκότητα εµπρόθεσµη εργασία προθεσµιακή µορϕή ακµή ακµική συνδετικότητα γραµµατική απόσταση ελλειψοειδές, αλγόριθµος του κωδικοποίηση άκρο εισερχόµενη ακµή, σε κόµβο εισερχόµενη µεταβλητή ɛ-πυκνό γράϕηµα περιορισµός εξίσωσης πρόβληµα της διαϕυγής ουσιώδης όρος ευκλείδειο µέτρο αποτίµηση πολυωνύµου ενδεχόµενο σηµειοσυµβάν πλεονάζουσα ροή ιδιότητα ανταλλαγής αποκλεισµός διαστολή δυναµικού πίνακα αναµενόµενος εξερεύνηση ακµής ύψωση σε δύναµη επέκταση συνόλου εξωτερικό πολυγώνου καταληκτικός κόµβος παραγοντοποίηση βαθµός διακλάδωσης

19 Γλωσσάριο Γ 19 farthest-pair ζεύγοςαπώτατων σηµείων Fast Fourier Transform (FFT) ταχύς µετασχηµατισµός Fourier (FFT) feasibility εϕικτότητα feasible εϕικτός field of an object πεδίο αντικειµένου final-state τελική κατάσταση find path ευρετικός κλάδος finish time χρόνος λήξης finished vertex περατωµένος κόµβος finishing time χρόνος περάτωσης first-fit heuristic πρώτο επαρκές δοχείο, τέχνασµά του first-in first-out εξαγωγή κατά σειρά εισαγωγής floating-point (data type) κινητής υποδιαστολής (τύπος δεδοµένων ) floor κατώϕλι flow ροή flow sum ροϊκό άθροισµα flow value ποσότητα ροής forest δάσος formula τύπος forward edge κατιούσα ακµή forward substitution εµπρόσθια αντικατάσταση fractional knapsack problem κλασµατικό πρόβληµα του σακιδίου free list κατάλογος αδέσµευτων αντικειµένων free tree ελεύθερο δένδρο freeing of objects αποδέσµευση αντικειµένων full rank πλήρους τάξεως fully parenthesized πλήρως παρενθετική µορϕή fully polynomial-time approximation scheme προσεγγιστικό σύστηµα πλήρως πολυωνυµικού χρόνου fusion tree δένδρο σύντηξης fuzzy sorting ασθενής ταξινόµηση gap χάσµα garbage collection ανακύκλωση µνήµης gate πύλη generator γεννήτορας generic algorithm αρχετυπικός αλγόριθµος gift wrapping συσκευασία δώρου global variable καθολική µεταβλητή golden ratio λόγος της χρυσής τοµής gossiping διαδόσεις Graham s scan σάρωση Graham graph γράϕηµα graphic matroid µητροειδές γραϕήµατος greatest common divisor µέγιστος κοινός διαιρέτης greedoid άπληστο µητροειδές greedy algorithm άπληστος αλγόριθµος greedy-choice άπληστη επιλογή grid πλέγµα group οµάδα half 3-CNF satisfiability ηµιαληθευσιµότητα 3-ΣΚΜ halting τερµατισµός halving υποδιπλασιασµός hamiltonian cycle χαµιλτονιανός κύκλος handle λαβή hash, hashing διασπορά hat-check problem βεστιάριο, πρόβληµα του head κεϕαλή

20 Γ 20 Γλωσσάριο heap heapsort height-balanced hereditary family of subsets heuristic high endpoint of an interval hiring problem horizontal ray hyperedge hypergraph identity implementation implicit summation notation inadmissible edge incidence matrix incident from/to a vertex (edge) inclusion incremental design method in-degree independent set (of a graph) independent set of tasks index of an element indicator random variable induced subgraph inequality infeasible initialization of loop invariant injection inner product inorder tree walk input to an algorithm input wire insertion sort insertion, into heap/stack instance of a problem integrality theorem interior of a polygon interior-point method intermediate vertex interpolation intersection of languages interval tree interval-graph intractability intractable invalid shift inversion in a sequence inverter invertible matrix isolated vertex isomorphic graphs iterated function joining of trees joint probability density kernel of a polygon key knapsack problem σωρός ταξινόµηση σωρού υψοσταθµισµένος κληρονοµική συλλογήυποσυνόλων τέχνασµα δεξιό άκρο διαστήµατος πρόσληψη, πρόβληµα της οριζόντια ακτίνα υπερακµή υπεργράϕηµα ουδέτερο στοιχείο υλοποίηση σύµβαση άθροισης µη αποδεκτή ακµή πίνακας συνδέσεων εκκινούσα/απολήγουσα ακµή, από/σε κόµβο εγκλεισµός αυξητική µέθοδος σχεδίασης βαθµός εισόδου ανεξάρτητοι κόµβοι ανεξάρτητο σύνολο εργασιών δείκτης στοιχείου δείκτρια τυχαία µεταβλητή επαγόµενο υπογράϕηµα ανίσωση ανέϕικτος αρχικός έλεγχος αναλλοίωτης συνθήκης µονοµορϕισµός εσωτερικό γινόµενο συµµετρική διάνυση δένδρου είσοδος αλγορίθµου αγωγός εισόδου ενθετική ταξινόµηση εισαγωγή, σε σωρό/στοίβα στιγµιότυπο προβλήµατος ακεραιότητα, θεώρηµα της εσωτερικό πολυγώνου εσωτερικού σηµείου, µέθοδος ενδιάµεσος κόµβος παρεµβολή τοµή γλωσσών δένδρο διαστηµάτων γράϕηµα διαστηµάτων δυσεπιλυσία δυσεπίλυτο άκυρη µετατόπιση αντιδιάταξη σε ακολουθία αντιστροϕέας αντιστρεπτός πίνακας αποµονωµένος κόµβος ισοµορϕικά γραϕήµατα επανειληµµένη συνάρτηση σύναψη δένδρων από κοινού πυκνότητα πιθανότητας πυρήνας πολυγώνου κλειδί σακιδίου, πρόβληµα του