Encyclopedia

Fast marching method

Algorithm for solving boundary value problems of the Eikonal equation

Wikipedia contributorsAdapted for Fathomly · View authors

2 min read
Source updated October 26, 2024

Image credit is listed at the end of this article.

The fast marching method is a numerical method created by James Sethian for solving boundary value problems of the Eikonal equation:

$|\nabla u(x)|=1/f(x){\text{ for }}x\in \Omega$

$u(x)=0{\text{ for }}x\in \partial \Omega$

Typically, such a problem describes the evolution of a closed surface as a function of time $u$ with speed $f$ in the normal direction at a point $x$ on the propagating surface. The speed function is specified, and the time at which the contour crosses a point $x$ is obtained by solving the equation. Alternatively, $u(x)$ can be thought of as the minimum amount of time it would take to reach $\partial \Omega$ starting from the point $x$ . The fast marching method takes advantage of this optimal control interpretation of the problem in order to build a solution outwards starting from the "known information", i.e. the boundary values.

The algorithm is similar to Dijkstra's algorithm and uses the fact that information only flows outward from the seeding area. This problem is a special case of level-set methods. More general algorithms exist but are normally slower.

Extensions to non-flat (triangulated) domains solving

$|\nabla _{S}u(x)|=1/f(x),$

for the surface $S$ and $x\in S$ , were introduced by Ron Kimmel and James Sethian.

01Algorithm

First, assume that the domain has been discretized into a mesh. We will refer to mesh points as nodes. Each node $x_{i}$ has a corresponding value $U_{i}=U(x_{i})\approx u(x_{i})$ .

The algorithm works just like Dijkstra's algorithm but differs in how the nodes' values are calculated. In Dijkstra's algorithm, a node's value is calculated using a single one of the neighboring nodes. However, in solving the PDE in $\mathbb {R} ^{n}$ , between $1$ and $n$ of the neighboring nodes are used.

Nodes are labeled as far (not yet visited), considered (visited and value tentatively assigned), and accepted (visited and value permanently assigned).

Assign every node $x_{i}$ the value of $U_{i}=+\infty$ and label them as far; for all nodes $x_{i}\in \partial \Omega$ set $U_{i}=0$ and label $x_{i}$ as accepted.
For every far node $x_{i}$ , use the Eikonal update formula to calculate a new value for ${\tilde {U}}$ . If ${\tilde {U}}<U_{i}$ then set $U_{i}={\tilde {U}}$ and label $x_{i}$ as considered.
Let ${\tilde {x}}$ be the considered node with the smallest value $U$ . Label ${\tilde {x}}$ as accepted.
For every neighbor $x_{i}$ of ${\tilde {x}}$ that is not-accepted, calculate a tentative value ${\tilde {U}}$ .
If ${\tilde {U}}<U_{i}$ then set $U_{i}={\tilde {U}}$ . If $x_{i}$ was labeled as far, update the label to considered.
If there exists a considered node, return to step 3. Otherwise, terminate.

Watch videos about Fast marching methodExplainers and documentaries on YouTube (opens in a new tab)

Sources and credits

This article is adapted from the Wikipedia article “Fast marching method”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.

Images, from Wikimedia Commons: