An EnglishPersian Dictionary of and Data Structures

a

a

zarrabibasuacir ghodsisharifedu

B     A

all pairs shortest path

absolute p erformance guarantee

b

alphab et     

abstract data typ e   

alternating path   

accepting state   

alternating Turing machine 

d

Ackermans function   

alternation     

d

Ackermanns function   

amortized cost  

acyclic digraph   

amortized worst case 

acyclic directed graph  

ancestor      

d

acyclic graph   

and       

adaptive 

ANSI   

b

adaptivekdtree  

antichain     

   

antisymmetric    

addresscalculation sort 

approximation algorithm  

adjacencylist representation

arc      

adjacencymatrix representation

array     

array index    

adjacency list    

array merging    

adjacency matrix   

articulation p oint    

d

adjacent     

articulation vertex    

d

b

admissible vertex    

assignmentproblem  

adversary     

asso ciation list   

algorithm    

asso ciative    

binary function     asso ciative array   

binary GCD algorithm  asymptotic b ound   

binary   asymptotic lower b ound  

binary   asymptotic space complexity

binary relation   

binary search    asymptotic

binary      asymptotic upp er b ound 

c

bingo sort     asymptotically equal to   

bipartite graph     asymptotically tightbound 

bipartite matching    augmenting path   

bisector      automaton   

bit vector     automaton simulation  

blo ck      averagecase   

blo cking ow     averagecase cost   

blossom      AVL    

c c

b o olean      

b o olean expression   

B

b o olean function    

Btree    

b ottleneck traveling salesman

    

bag   

b ottomup 

balance      

b ottomup tree automaton

balanced binary searchtree

b oundarybased representation

balanced  

balanced kway

b ounded queue    

k

b ounded stack   

balanced merge sort  

branch and b ound   

balanced multiway merge 

branching    

balanced no de   

breadth rst search  

a

balanced  

Bresenhams algorithm  

balanced twoway merge sort

bricksort    

bridge      

BellmanFord algorithm  

British Museum algorithm

Benfords law   

brute force     

b estcase    

BSPtree    

b estcase cost   

   

b est rst search   

a

bucket     

biconnected comp onent  

b

bucket array   

biconnected graph   

   

bidirectional bubble sort 

bucketing metho d   

e

bigO notation   

c

Byzantine Agreement Problem

bin sort     

comp etitive ratio   

complement      Byzantine generals   

complete binary tree  

complete graph    

C

complete tree    

Calculus of Communicating Systems

complexity    

complexity class    

canonical complexity class

computable    

computable function   

capacitated facility lo cation

concave function    

concurrentow   

capacity     

conguration    

capacity constraint   

conjunction    

cell prob e mo del   

connected comp onent  

b

cellular automaton   

connected graph   

centroid     

coNP     

c

certicate     

constant function    

chain      

continuous knapsack problem

child      

Chinese p ostman problem 

Co oks theorem    

Chinese remainder theorem

Co ok reduction    

  

Christodes algorithm  

critical path problem 

Christodes heuristic  

cut      

chromatic index   

b

cut vertex     

chromatic number   

cutting plane   

ChurchTuring thesis  

cutting theorem   

circuit     

cycle     

circuit complexity   

circuit value problem  

D

circular list   

DAG shortest paths circular path    

circular queue    

    clique     

database      clique problem   

decidable     collective recursion   

decidable language   collision     

decision problem       

decision tree     Communicating Sequential Pro cesses

decomp osable searching problem

commutative    

degree        

comp etitive analysis    

distributional complexity   degreek graph    k

divide and conquer     delete     

divide and marriage b efore conquest dense graph    

depth     

domain      depth rst search   

a

Do omsday rule   deque     

doubledirection bubble sort derangement    

descendant     

double hashing    deterministic     

double rotation    deterministic algorithm   

doublyended queue    deterministic nite automaton

c

doubly  

dual       deterministic nite state automaton

dynamic     

    deterministic nite state machine

dynamic hashing   

  deterministic nite tree automaton

dynamic tree    

dynamization transformation  deterministic pushdown automaton

deterministic tree automaton

E

DeutschJozsa algorithm 

edge      

DFS forest  

a

edge coloring   

diagonalization    

edge connectivity    

diameter     

edge crossing    

dictionary    

eciency     

dierence     

element uniqueness    

digraph    

EM data structure 

Dijkstras algorithm  

Euclids algorithm   

diminishing increment sort  

Euclidean algorithm  

dining philosophers  

Euclidean distance  

directed acyclic graph  

Euclidean Steiner tree  

directed acyclic subsequence graph

Euclidean traveling salesman problem

directed graph   

Euler cycle     

discrete pcenter    p

Euler tour    

disjoint data structure

Eulerian graph    

Eulerian path   

disjointset forest  

exchange sort   

disjointset    

exclusiveor  

disjunction    

existential state   

distribution sort   

expander graph    

formal language   exp onential     

formal metho ds     extended Euclids algorithm

formal verication  

fractal      external memory algorithm

fractional knapsack problem

external memory data structure

fractional solution   

free edge      external merge   

b

free vertex      external merge sort 

full array      external quicksort  

full binary tree    external radix sort  

fully dynamic graph problem external sort    

f e

extreme p oint    

c

fully p ersistent data structure

F

fully p olynomial approximation scheme

facility lo cation   

f

    

function     

feasible region   

fuzzy edge     

feasible solution   

fuzzy graph    

feedbackedge   

fuzzy no de    

FergusonForcade algorithm

fuzzy set    

e

Fib onacci number   

G

Fib onacci numbers  

gamma function     nite automaton   

geometric optimization problem nite Fourier transform  

nite state automaton 

global optimum    nite state machine  

graph      nite state machine minimization

  

graph drawing    nite state transducer  

graph isomorphism    rstin rstout 

graph partition     xedgrid metho d  

c

greatest common denominator ash sort    

ow      

greatest common divisor ow conservation   

ow function    

greedy algorithm    ownetwork    

greedy heuristic   FloydWarshall algorithm 

grid drawing   FordBellman    

c

Grovers algorithm    FordFulkerson metho d 

c

forest      

interactive pro of system  H

interiorbased representation

halting problem    

internal no de   

Hamiltonian cycle   

internal path    

hash     

internal sort    

hash function    

interp olation sort  

  

intersection    

Hausdor distance   

   

head      

intractable    

heap sort    

intro sort    

HerterHeighway Dragon 

c

introsp ection sort  

heuristic     

introsp ectivesort   

hidden Markovmodel 

irreexive     

histogram sort  

isomorphic     

homeomorphic    

iteration      

homomorphic    

horizontal visibility map  

J

Horners rule    

  

j sort      j

hyp eredge     

Johnsons algorithm  

hyp ergraph     

K

I

kcoloring     k

ideal merge    

kdimensional     k

implication     

kway merge     k

implies    

kway merge sort   k

inbranching    

Karnaugh map    

indegree    

Karp reduction    

inorder traversal   

key      

inplace merging    

Ko enigsb erg bridges   

inplace sort    

Ko enigsb erg bridges problem

inclusionexclusion principle 

a

inclusiveor    

Kolmogorov complexity 

incompressible string  

Krafts inequality   

indep endentset   

Kripke structure   

c

information theoretic b ound

Kruskals algorithm  

inorder traversal  

kth order Fib onacci numbers

insertion sort    

e

k

instantaneous description  

e

kth shortest path   k

integer multicommo dityow

KV diagram    

c

integer p olyhedron   

median      L

memoization    

lreduction      l

merge      

lab eled graph   

merge sort    

language     

meromorphic function  

lastin rstout 

min      

lattice     

minimal antichain decomp osition

layered digraph  

layered graph   

minimum b ounding b ox

least common multiple

linear     

minimum co de spanning tree

linear insertion sort  

e

linear order    

minimum cost spanning tree

linear probing sort  

linear pro duct   

minimum cut    

link      

minimum spanning tree 

linked list    

b

minimum vertex cut   

list      

mo de      

e

e

littleo notation   

c

mo del checking    

Lm distance    Lm

mo del of computation   

logarithmic     

mo derately exp onential   

Lotkas law    

monotonically decreasing  

lower b ound    

monotonically increasing  

lower triangular matrix  

Mo ore machine    

move     

M

multicommo dityow  

multiset    

Manhattan distance   

multigraph    

manyone reduction   

multiway decision   

Markovchain   

multiway merge   

matched edge    

b

matched vertex    

matching     

N

matrix     

nary function     n

max      

NC manyone reducibility

maximal indep endentset

maximally connected comp onent

nearest neighb or search

b

maximumow problem 

negation     

maximum bipartite matching

network ow   

network ow problem  

Mealy machine    

next state    

mean     

NIST  

b 

optimal triangulation problem no de      

nonbalanced merge   

optimal value     nonbalanced merge sort 

optimization problem   nondeterministic    

or        nondeterministic algorithm 

oracle set     nondeterministic nite automaton

oracle tap e    

oracle Turing machine  nondeterministic nite state machine

order     

ordered nondeterministic nite tree automaton

ordered linked list   nondeterministic p olynomial time

oriented acyclic graph  

oriented graph     nondeterministic tree automaton

orthogonal drawing   

orthogonally convex rectilinear p olygon nondeterministic Turing machine

f

oscillating merge sort  noniterativemerge  

outbranching     not     

outdegree    NPcomplete language  

nullary function   

P

O

pway merge sort   p

e

padding argument    O      

c

e

parametric searching  

O notation    

c

partial function   

e

o notation    

c

partial order    

ob jective function   

partial recursive function  

oline algorithm  

partially decidable problem

e

omega      

f

e

omicron     

partially dynamic graph problem

online algorithm   

onedimensional    

e

partially ordered set  

optimal     

partially p ersistent data structure

optimal cost    

optimal merge    

path      

optimal p olygon triangulation problem

p erfect matching   

p erformance guarantee  

optimal p olyphase merge 

p erformance ratio   

optimal p olyphase merge sort

p ersistent data structure  

planar graph    

optimal solution   

planar straightline graph 

pseudorandom number  

pth order Fib onacci numbers planarity    

e

p planarization    

f

pointer machine   

purely functional language 

p oissonization   

pushdown automaton  

p olyhedron     

pushdown transducer  

p olylogarithmic    

p olynomial    

Q

p olynomialtime algorithm

qsort      q

qm sort      qm

p olynomialtime approximation scheme

complexity theorem

p olynomialtime ChurchTuring thesis

quantum computation  

queue      

p olynomialtime reduction

quick sort    

p olynomial approximation scheme

quicksort    

p olynomial hierarchy 

p olynomial time   

R

p olyphase merge   

re language   

p olyphase merge sort

radix sort    

p oset    

ragged matrix   

Posts corresp ondence problem

random access machine

p ostmans sort   

random number    

p otential function   

random numb er generator 

Prims algorithm   

randomization    

primitive recursive   

randomized algorithm  

priority queue   

randomized complexity  

prisoners dilemma   

randomized rounding  

probabilistic algorithm  

range      

e

probabilistic Turing machine

range sort    

reachable     

probabilistically checkable pro of

recognizer   

rectangular matrix  

pro cedure     

rectilinear    

pro cess algebra   

rectilinear distance  

prop er      

rectilinear Steiner tree

prop er coloring   

recurrence equations  

prop er subset   

recurrence relation   

prune and search   

recurrences    

pseudorandom numb er generator

recursion     

a

recursion termination  

simple merge     recursion tree   

simple path      recursive     

simulation theorem   recursive data structure 

singledestination shortestpath problem recursive language   

recursively enumerable language

singlepair shortestpath problem

b

reduced basis    

singlesource shortestpath problem reduced digraph  

b

reduction    

singly linked list   reexive     

singularity analysis   regular decomp osition   

sink       relation     

sink sort     relational structure   

sinking sort    relative p erformance guarantee

skew symmetry    

slop e selection    relaxation     

solvable      rescalable    

  restricted universe sort  

b

rhoapproximation algorithm rho

source     

Rices metho d    

spaceconstructible function  

rough graph    

sparse graph    

run time     

  

sparsication    

square matrix    

S

square ro ot    

st cut      ts

stable      

saturated edge   

stack      

  

stack tree    

selflo op      

starshap ed p olygon 

separation theorem  

start state    

set      

state      

set complement   

state machine    

set dierence    

state transition    

set intersection   

Steiner minimum tree  

set union     

Steiner p oint    

shared memory   

Steiner ratio    

shell sort    

Steiner tree    

Shell sort    

b

Steiner vertex    

Shors algorithm   

Stirlings approximation  

shortest path   

Stirlings formula  

shortest spanning tree  

sto oge sort    

Sierpinski triangle   

straightline drawing  

signature     

f f

strictly decreasing   

f

tour       strictly increasing   

tractable      strictly lower triangular matrix

f

transducer     

transition    strictly upp er triangular matrix

f

transition function   

transitive     string      

f

transitive reduction   strongly connected graph  

c

traveling salesman   subadditive ergo dic theorem

traveling salesman problem

subgraph     

travelling salesman   subgraph isomorphism  

tree automaton     subset     

    sux automaton   

triangle inequality    sup erset    

d

c

triconnected graph    sup ersink     

d

trinary function    sup ersource    

d

Turing machine    symmetric     

Turing reduction    symmetric set dierence  

Turing transducer    symmetrically linked list 

twodimensional    

e

twoway linked list  

c

T

twoway list   

tail      

e

twoway merge sort  

tail recursion    

temp oral logic   

U

terminal     

unary function     text      

uncomputable function   theta      

c

uncomputable problem  threedimensional    

e

undecidable     threeway merge sort  

undecidable language    timespace complexity 

undecidable problem   topdown radix sort 

undirected graph    topdown tree automaton

uniform circuit complexity

c

uniform circuit family top sort    

uniform matrix    top ological order   

union       top ological sort  

union of automata    total function    

universal state     total order     

f

universal Turing machine  totally decidable problem

universe     totally undecidable problem

unsolvable     

visibility map     unsolvable problem  

visible      unsorted list    

Viterbi algorithm    upp er triangular matrix  

W V

walk      vehicle routing problem 

weakheap sort   Veitch diagram    

weighted graph    Venn diagram    

b

weighted directed graph  vertex      

b

worstcase     vertex coloring   

b

worstcase cost    vertex connectivity  

b

vertex cover    

b

vertex set   

X

vertical visibility map 

xor     

b

vertices