 reparametrized by $\theta  : [0,1] \rightarrow [0,n]$. The reparametrized curve is denoted by $Q_\theta$.

#### [Fréchet matching]{}s

We are given two polygonal curves $P$ and $Q$ with $m$ and $n$ edges. A (monotonous) *matching* $\mu$ between $P$ and $Q$ is a pair of reparametrizations $(\sigma,\theta)$, such that $P_\sigma(t)$ matches to $Q_\theta(t)$. The Euclidean distance between two matched points is denoted by $d_\mu(t) = |P_\sigma(t) - Q_\theta(t)|$. The maximum distance over a range is denoted by $d_\mu[a,b] = \max_{a \leq t \leq b} d_\mu(t)$. The *[Fréchet distance]{}* between two curves is defined as $\delta_\text{F}(P,Q) = \inf_{\mu} d_\mu[0,1]$. A *[Fréchet matching]{}* is a matching $\mu$ that realizes the [Fréchet distance]{}: $d_\mu[0,1] = \delta_\text{F}(P,Q)$ holds.

#### Free space diagrams

Alt and Godau [@Alt1995] describe an algorithm to compute the [Fréchet distance]{} based on the decision variant (that is, solving $\delta_\text{F}(P,Q) \leq \varepsilon$ for some given $\varepsilon$). Their algorithm uses a *free space diagram*, a two-dimensional diagram on the range $[0, m] \times [0, n]$. Every point $(x,y)$ in this diagram is either “free” (white) or not (indicating whether $|P(x) - Q(y)| \leq \varepsilon$). The diagram has $m$ columns and $n$ rows; every cell $(c,r)$ ($1 \leq c \leq m$ and $1 \leq r \leq n$) corresponds to the edges $p_{c-1}p_{c}$ and $q_{r-1}q_{r}$. To compute the [Fréchet distance]{}, one finds the smallest $\varepsilon$ such that there exists an x- and y-monotone path from point $(0,0
reparametrized by $ \theta  : [ 0,1 ] \rightarrow [ 0,n]$. The reparametrized curve is denoted by $ Q_\theta$. 

 # # # # [ Fréchet matching]{}s 

 We are given two polygonal curves $ P$ and $ Q$ with $ m$ and $ n$ edge. A (humdrum) * matching * $ \mu$ between $ P$ and $ Q$ is a pair of reparametrizations $ (\sigma,\theta)$, such that $ P_\sigma(t)$ matches to $ Q_\theta(t)$. The euclidian distance between two matched points is denoted by $ d_\mu(t) = |P_\sigma(t) - Q_\theta(t)|$. The maximal distance over a stove is denoted by $ d_\mu[a, b ] = \max_{a \leq thymine \leq b } d_\mu(t)$. The * [ Fréchet distance ] { } *   between two curves is defined as $ \delta_\text{F}(P, Q) = \inf_{\mu } d_\mu[0,1]$. A * [ Fréchet matching ] { } *   is a coordinated $ \mu$ that realizes the [ Fréchet distance ] { }: $ d_\mu[0,1 ] = \delta_\text{F}(P, Q)$ holds. 

 # # # # detached quad diagrams 

 Alt and Godau   [ @Alt1995 ] describe an algorithm to compute the [ Fréchet distance ] { }   based on the decision discrepancy (that is, solving $ \delta_\text{F}(P, Q) \leq \varepsilon$ for some given $ \varepsilon$). Their algorithm uses a * barren space diagram *, a two - dimensional diagram on the range $ [ 0, m ] \times [ 0, n]$. Every point $ (x, y)$ in this diagram is either “ free ” (blank) or not (indicating whether $ |P(x) - Q(y)| \leq \varepsilon$). The diagram has $ m$ columns and $ n$ rows; every cell $ (speed of light, r)$ ($ 1 \leq c \leq m$ and $ 1 \leq r \leq n$) corresponds to the edges $ p_{c-1}p_{c}$ and $ q_{r-1}q_{r}$. To compute the [ Fréchet distance ] { }, one line up the smallest $ \varepsilon$ such that there exists an x- and y - monotone path from point $ (0,0
 reoarametrized by $\theta  : [0,1] \rightarrow [0,n]$. Tkw repacametriaed curvd is denoted by $Q_\theta$.

#### [Fréchev marchint]{}s

We are given two polhgonal cugves $P$ ane $Q$ xith $m$ and $n$ edgxa. A (monotonoua) *matehmng* $\mu$ between $K$ and $Q$ is a pair of repardmdtxizations $(\sigma,\theta)$, such that $P_\sigmw(t)$ matcned to $Q_\theta(t)$. Tre Elcjidezn distance between two matched pojnts is denoted by $d_\ku(t) = |P_\sigma(t) - Q_\theta(t)|$. The laxilum distance over w range is eenoewd by $d_\mu[a,b] = \max_{a \leq u \neq b} d_\mu(t)$. The *[Fréchet distance]{}* between two curvzs is defingb as $\gelta_\text{F}(P,W) = \ins_{\mu} d_\mu[0,1]$. A *[Frégnet madching]{}* ix a matching $\mm$ thav reqlizes the [Fréchet disvance]{}: $d_\mu[0,1] = \delta_\text{S}(P,Q)$ holds.

#### Fxee space diagrams

Alt abd Gogau [@Ant1995] ddwcrkbe ai amgoritjm vo compute fhe [Fréchet eistance]{} based on tht dqbosion varianf (that if, solving $\delta_\text{F}(P,Q) \leq \varepsilon$ fmr aome given $\varepsilon$). Tyeir algorithm uses a *free spase diagram*, a two-dimensional diagram on the range $[0, m] \tijds [0, n]$. Dcegy point $(x,y)$ in this diagram is either “free” (whyfe) og not (indicating chether $|P(x) - Q(y)| \lrq \vstepsilon$). The dkagram haa $m$ columns and $n$ gows; evgry ceol $(c,r)$ ($1 \lez c \keq m$ and $1 \leq r \leq n$) corrwsponds to tke wdges $p_{c-1}p_{c}$ and $q_{r-1}q_{x}$. To compute the [Fréchrt distance]{}, one finds tke smamlest $\varepdilon$ sucg that there exisgs sn x- and y-monotone path from point $(0,0
reparametrized by $\theta : [0,1] \rightarrow [0,n]$. curve denoted by #### [Fréchet matching]{}s curves and $Q$ with and $n$ edges. (monotonous) *matching* $\mu$ between $P$ and is a pair of reparametrizations $(\sigma,\theta)$, such that $P_\sigma(t)$ matches to $Q_\theta(t)$. The distance between two matched points is denoted by $d_\mu(t) = |P_\sigma(t) - Q_\theta(t)|$. maximum over range denoted by $d_\mu[a,b] = \max_{a \leq t \leq b} d_\mu(t)$. The *[Fréchet distance]{}* between two curves defined as $\delta_\text{F}(P,Q) = \inf_{\mu} d_\mu[0,1]$. A *[Fréchet is a matching $\mu$ realizes the [Fréchet distance]{}: $d_\mu[0,1] \delta_\text{F}(P,Q)$ #### Free diagrams and [@Alt1995] describe an to compute the [Fréchet distance]{} based on the decision variant (that is, solving $\delta_\text{F}(P,Q) \leq \varepsilon$ for given $\varepsilon$). uses a space a diagram on the m] \times [0, n]$. Every point diagram is either “free” (white) or not (indicating $|P(x) - \leq \varepsilon$). The diagram has $m$ and $n$ rows; every cell $(c,r)$ ($1 \leq \leq m$ and $1 \leq r \leq n$) corresponds to the edges $p_{c-1}p_{c}$ and $q_{r-1}q_{r}$. the [Fréchet distance]{}, one the smallest $\varepsilon$ that exists x- y-monotone path point $(0,0
 reparametrized by $\theta  : [0,1] \righTarrow [0,n]$. The ReparAmeTriZeD curVe is Denoted by $Q_\thetA$.

#### [frécHet matching]{}s

We are given Two poLyGOnal CUrVes $P$ aNd $Q$ with $M$ AnD $N$ EdgEs. a (mOnoToNOuS) *matcHinG* $\mu$ betwEen $P$ and $Q$ is A paIr Of reparametrIZaTions $(\sigma,\TheTa)$, such that $P_\sIgmA(t)$ matcHeS to $q_\Theta(T)$. ThE EuclIdean dIStance Between twO mATched pOInts is dENOtEd by $D_\mu(t) = |P_\sigma(t) - Q_\theta(T)|$. thE Maximum distancE over a RaNGe IS DenOteD by $d_\mu[a,b] = \maX_{a \Leq t \lEQ b} d_\mu(t)$. THE *[FRÉCHet DIstance]{}* betweeN two curves iS DefIned as $\DeLta_\TExt{F}(P,Q) = \Inf_{\mu} D_\mU[0,1]$. a *[FrÉchet matchiNg]{}* is A matching $\Mu$ that REalizes THe [FréchEt distAncE]{}: $d_\mU[0,1] = \delTA_\tExT{F}(P,q)$ hOLds.

#### fReE spACe dIagrams

ALt AnD GodaU [@Alt1995] DESCRibe An aLgorIthm tO compute the [FrÉchEt diSTanCe]{} basEd on tHe deCiSion vAriant (That iS, sOlving $\delta_\text{f}(P,Q) \lEq \varepsiLon$ FoR soMe Given $\VArepsiLon$). theIr algorIthm useS A *frEe SPACe Diagram*, a two-dimensiOnAL DiAgram on tHe rangE $[0, M] \tImES [0, n]$. Every pOiNt $(x,Y)$ in tHIS diagRam iS EiTher “free” (White) oR NoT (iNdicatiNg WhetheR $|P(X) - Q(y)| \Leq \VarepSIlon$). the diaGram has $m$ ColumNS and $n$ rows; every CEll $(c,r)$ ($1 \leq c \leq m$ ANd $1 \LEQ r \LEq n$) cOrrEsponds to thE edgES $p_{c-1}p_{C}$ and $Q_{R-1}q_{R}$. To COmputE the [FRéCHeT Distance]{}, one finds the SmAllest $\VarepSilon$ such that There existS AN X- and y-monOtonE PaTH from point $(0,0
 reparametrized by $\theta   : [0,1]\righ tar row  [ 0,n] $. T he reparametri z ed c urve is denoted by $Q_ \thet a$ . 

## # #[Fréc het mat c hi n g ]{} s
W e a re gi ven t wopolygon al curves$P$  a nd $Q$ with$ m$  and $n$ e dge s. A (monoto nou s) *ma tc hin g * $\m u$betwe en $P$ and $Q $ is a pa ir of rep a rametri z a ti ons$(\sigma,\theta)$ ,  s u ch that $P_\si gma(t) $m at c h esto$Q_\theta( t) $. Th e  Euclid e an d i sta n ce between tw o matched p o int s is d en ote d  by $d _\mu( t) = | P_\sigma(t)  - Q _\theta(t )|$. T h e maxim u m dista nce ov era r ange is  d eno te d  by $d _\m u [a, b] = \ma x_ {a  \leq  t \ l e q b} d _\m u(t) $. Th e *[Fréchet d ist ance ] {}*  betw een t wo c ur ves i s defi ned a s$\delta_\text{F }(P, Q) = \inf _{\ mu } d _\ mu[0, 1 ]$. A*[F réc het mat ching]{ } * i sa m at ching $\mu$ that r ea l i ze s the [F réchet di st a nce]{}:$d _\m u[0, 1 ]  = \d elta _ \t ext{F}(P ,Q)$ h o ld s. 

####Fr ee spa ce  di agr ams
A lt a nd God au [@Alt 1995] describe an al g orithm to com p ut e th e  [Fr éch et distance ]{}b ased  ont he  de c ision  vari an t  ( t hat is, solving $\d el ta_\te xt{F} (P,Q) \leq \v arepsilon$ f o r some g iven $\ v arepsilon$). T heiralgorithmu ses a *f ree s pace dia gram*, at w o-dimens ion aldia gra m on  the range $[ 0 ,  m]\t imes [0 , n ]$. Eve rypoi nt$(x ,y )$ in thi s diagra mis  e it her  “fre e ” (white )orno t ( indic a ting w hethe r $| P( x) - Q (y)| \l e q\ v arep si lo n$).  Th ediagr am h a s $ m$ colu mns and $ n$r ows;  e ve ry cell  $(c,r)$ ($1\l eq c \leqm$  an d $1 \ l e q r \leq  n$) corresponds to the edges $ p_{ c-1}p _{c} $ and $q_ {r- 1}q_{r }$. To com pute t he [F ré che t dista n c e] {},  o ne finds t h e  sm alles t$\va repsilo n$ such that there exi sts an x- and  y- mono t o ne  pa t hf rom  p o int $ (0,0
 reparametrized_by $\theta_ : [0,1] \rightarrow_[0,n]$. The_reparametrized_curve is_denoted_by $Q_\theta$.

#### [Fréchet_matching]{}s

We are given_two polygonal curves $P$_and $Q$ with_$m$_and $n$ edges. A (monotonous) *matching* $\mu$ between $P$ and $Q$ is a pair_of_reparametrizations $(\sigma,\theta)$,_such_that_$P_\sigma(t)$ matches to $Q_\theta(t)$. The_Euclidean distance between two matched_points is_denoted by $d_\mu(t) = |P_\sigma(t) - Q_\theta(t)|$. The_maximum_distance over a_range is denoted by $d_\mu[a,b] = \max_{a \leq t_\leq b} d_\mu(t)$. The *[Fréchet distance]{}* between_two curves is_defined_as_$\delta_\text{F}(P,Q) = \inf_{\mu} d_\mu[0,1]$._A *[Fréchet matching]{}* is a matching $\mu$_that realizes the [Fréchet distance]{}: $d_\mu[0,1]_= \delta_\text{F}(P,Q)$ holds.

#### Free space diagrams

Alt and_Godau [@Alt1995] describe an algorithm to compute_the [Fréchet distance]{} based on the_decision variant_(that is, solving $\delta_\text{F}(P,Q) \leq_\varepsilon$ for some_given $\varepsilon$)._Their algorithm uses_a *free space diagram*, a two-dimensional_diagram on the_range $[0, m] \times [0, n]$._Every_point $(x,y)$ in_this_diagram_is either_“free” (white) or_not_(indicating whether_$|P(x)_- Q(y)| \leq \varepsilon$). The diagram_has_$m$ columns and $n$ rows; every cell_$(c,r)$ ($1 \leq c_\leq_m$ and $1 \leq_r \leq n$) corresponds to_the edges $p_{c-1}p_{c}$ and $q_{r-1}q_{r}$. To_compute the_[Fréchet distance]{},_one finds the smallest $\varepsilon$ such that there exists an x-_and y-monotone path from point $(0,0