---
title: "Global library: Mova's own implementations 201–292"
description: "General explanations admitted by an independent review through a hash-bound publication catalog: 0 admitted today."
url: "https://groupants.elamur.ai/free/en/library/page/3/"
---
Elamur: [Mova](https://md.mova.elamur.ai/free/en/) · [Dictionary](https://md.dictionary.elamur.ai/free/en/) · [Research](https://md.research.elamur.ai/free/en/) · **Groupants**

This page as HTML: <https://groupants.elamur.ai/free/en/library/page/3/>

# Mova's own implementations 201–292

Entries 201 to 292 of the catalog's 292 Mova implementation entries, in the order of the first page. They are Mova's own implementation material, not admitted global entries.

## Mova's own implementations — not admitted global entries

> **Not admitted.** The catalog scopes these 292 entries as Mova implementation material. They are listed here so they can be found, not admitted: each links to the Mova code model of the source it binds, and its state, obernant kinds and Rust approximants are that code model's, shown as written.

Pages: [1](https://md.groupants.elamur.ai/free/en/library/) [2](https://md.groupants.elamur.ai/free/en/library/page/2/) **3**

### Source surveys (90)

A generated survey of one algorithm module's source: unverified, not a proof.

| # | implementation | state | obernant kinds | Rust |
|---|---|---|---|---|
| 201 | [A star](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/a_star/mod.rs.groupant/) (`algorithms/src/a_star/mod.rs`) | partial source derived instance | behavior complement · certificate relation · closure relation · error partition · order relation · potential relation · projection relation · reverse reconstruction | — |
| 202 | [Adaptive simpson](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/adaptive_simpson/mod.rs.groupant/) (`algorithms/src/adaptive_simpson/mod.rs`) | partial descriptive instance | additive composition · behavior complement · budget partition · reverse reconstruction · sample alias fiber · stagnation relation | — |
| 203 | [Adaptive trapezoid](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/adaptive_trapezoid/mod.rs.groupant/) (`algorithms/src/adaptive_trapezoid/mod.rs`) | partial descriptive instance | behavior complement · budget partition · callback trace · estimator scope · reverse reconstruction · stagnation relation | — |
| 204 | [Alias method](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/alias_method/mod.rs.groupant/) (`algorithms/src/alias_method/mod.rs`) | partial descriptive instance | behavior complement · coordinate partition · mass partition · resource boundary · reverse reconstruction · scale fiber | — |
| 205 | [Armijo line search](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/armijo_line_search/mod.rs.groupant/) (`algorithms/src/armijo_line_search/mod.rs`) | partial descriptive instance | behavior complement · finite arithmetic · resource observation · reverse reconstruction · termination partition · update relation | — |
| 206 | [Articulation points](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/articulation_points/mod.rs.groupant/) (`algorithms/src/articulation_points/mod.rs`) | partial descriptive instance | behavior complement · cursor resource relation · identity transport · isolated vertex extension · reverse reconstruction · root child partition · separator characterization · undirected representation equivalence | — |
| 207 | [Baby step giant step](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/baby_step_giant_step/mod.rs.groupant/) (`algorithms/src/baby_step_giant_step/mod.rs`) | partial source derived instance | behavior complement · field inverse · finite arithmetic · least block · resource partition · reverse reconstruction | — |
| 208 | [Banded levenshtein](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/banded_levenshtein/mod.rs.groupant/) (`algorithms/src/banded_levenshtein/mod.rs`) | partial descriptive instance | behavior complement · boundary partition · length pruning preimage · resource refusal fiber · reverse reconstruction | — |
| 209 | [Barycentric lagrange](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/barycentric_lagrange/mod.rs.groupant/) (`algorithms/src/barycentric_lagrange/mod.rs`) | partial descriptive instance | behavior complement · node shortcut partition · ordinate affine transport · polynomial reproduction · reverse reconstruction · weight scale invariance | — |
| 210 | [Bellman ford](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/bellman_ford/mod.rs.groupant/) (`algorithms/src/bellman_ford/mod.rs`) | partial source derived instance | attainment certificate · behavior complement · constructive preimage · cycle obstruction · metamorphic relation · monotone extension · potential reweighting · reverse reconstruction | — |
| 211 | [Berlekamp massey](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/berlekamp_massey/mod.rs.groupant/) (`algorithms/src/berlekamp_massey/mod.rs`) | partial source derived instance | behavior complement · field inversion · finite prefix ambiguity · lag orientation · minimality rank · normalization overflow · reverse reconstruction · validation partition | — |
| 212 | [Bernstein de casteljau](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/bernstein_de_casteljau/mod.rs.groupant/) (`algorithms/src/bernstein_de_casteljau/mod.rs`) | partial descriptive instance | affine control transport · behavior complement · bernstein equivalence · control reversal · convex hull transport · reverse reconstruction | — |
| 213 | [Bfs](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/bfs/mod.rs.groupant/) (`algorithms/src/bfs/mod.rs`) | partial descriptive instance | behavior complement · distance layer preimage · reachability preimage · representation equivalence · reverse reconstruction | — |
| 214 | [Biconnected components](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/biconnected_components/mod.rs.groupant/) (`algorithms/src/biconnected_components/mod.rs`) | partial source bound model | behavior complement · cycle membership · identity transport · isolated extension · loop convention · reverse reconstruction · undirected representation equivalence | — |
| 215 | [Binary search](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/binary_search/mod.rs.groupant/) (`algorithms/src/binary_search/mod.rs`) | partial source derived instance | behavior complement · counterfactual boundary · observation projection · reverse reconstruction · target partition | — |
| 216 | [Binomial coefficient](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/binomial_coefficient/mod.rs.groupant/) (`algorithms/src/binomial_coefficient/mod.rs`) | partial descriptive instance | behavior complement · cancellation integrality · edge fibers · overflow monotonicity · pascal relation · reverse reconstruction · row mass · symmetry | — |
| 217 | [Bipartite matching](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/bipartite_matching/mod.rs.groupant/) (`algorithms/src/bipartite_matching/mod.rs`) | partial source derived instance | augmenting path obstruction · behavior complement · cardinality monotonicity · constructive preimage · metamorphic relation · optimality certificate · partition duality · reverse reconstruction | — |
| 218 | [Bipartite vertex cover](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/bipartite_vertex_cover/mod.rs.groupant/) (`algorithms/src/bipartite_vertex_cover/mod.rs`) | partial descriptive instance | behavior complement · matching cover duality · parallel edge information loss · reachability fixed point · reverse reconstruction | — |
| 219 | [Bisection root](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/bisection_root/mod.rs.groupant/) (`algorithms/src/bisection_root/mod.rs`) | partial descriptive instance | behavior complement · bracket sign · finite arithmetic · resource observation · reverse reconstruction · termination partition | — |
| 220 | [Bit parallel lcs](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/bit_parallel_lcs/mod.rs.groupant/) (`algorithms/src/bit_parallel_lcs/mod.rs`) | partial descriptive instance | behavior complement · bit63 borrow projection · boundary partition · failure partition · observation domain · orientation quotient · reverse reconstruction · state transport | — |
| 221 | [Bitset subset sum](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/bitset_subset_sum/mod.rs.groupant/) (`algorithms/src/bitset_subset_sum/mod.rs`) | partial descriptive instance | behavior complement · permutation · reverse reconstruction · scale equivariance · single use · zero extension | — |
| 222 | [Bk tree](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/bk_tree/mod.rs.groupant/) (`algorithms/src/bk_tree/mod.rs`) | partial source derived instance | behavior complement · byte metric join · duplicate fiber · reverse reconstruction · triangle pruning · validation order | — |
| 223 | [Blossom matching](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/blossom_matching/mod.rs.groupant/) (`algorithms/src/blossom_matching/mod.rs`) | partial source derived instance | behavior complement · error partition · reverse reconstruction · specialized relation | — |
| 224 | [Bluestein fft](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/bluestein_fft/mod.rs.groupant/) (`algorithms/src/bluestein_fft/mod.rs`) | partial descriptive instance | behavior complement · chirp identity · inverse normalization · kernel composition · padding relation · reverse reconstruction | — |
| 225 | [Boruvka](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/boruvka/mod.rs.groupant/) (`algorithms/src/boruvka/mod.rs`) | partial source derived instance | behavior complement · cut tie order · forest observation loss · reverse reconstruction · validation precedence | — |
| 226 | [Bounded knapsack](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/bounded_knapsack/mod.rs.groupant/) (`algorithms/src/bounded_knapsack/mod.rs`) | partial descriptive instance | behavior complement · binary coverage · descending dependency · monotonicity · overflow feasibility · resource partition · reverse reconstruction · zero weight | — |
| 227 | [Boyer moore horspool](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/boyer_moore_horspool/mod.rs.groupant/) (`algorithms/src/boyer_moore_horspool/mod.rs`) | partial descriptive instance | alphabet bijection · behavior complement · empty boundary · overlap period · prefix extension · progress resource · reverse reconstruction · shift exclusion | — |
| 228 | [Brent minimize](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/brent_minimize/mod.rs.groupant/) (`algorithms/src/brent_minimize/mod.rs`) | partial descriptive instance | behavior complement · finite arithmetic · resource observation · reverse reconstruction · termination partition · update relation | — |
| 229 | [Bridges](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/bridges/mod.rs.groupant/) (`algorithms/src/bridges/mod.rs`) | partial descriptive instance | behavior complement · cursor resource relation · cycle exclusion · identity transport · isolated vertex extension · reverse reconstruction · separator characterization · undirected representation equivalence | — |
| 230 | [Bron kerbosch](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/bron_kerbosch/mod.rs.groupant/) (`algorithms/src/bron_kerbosch/mod.rs`) | partial source derived instance | behavior complement · complement independence · maximal maximum boundary · reverse reconstruction · simple graph failure order | — |
| 231 | [Burrows wheeler](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/burrows_wheeler/mod.rs.groupant/) (`algorithms/src/burrows_wheeler/mod.rs`) | partial source derived instance | behavior complement · conservation relation · domain partition · equivalence relation · metamorphic relation · refinement relation · reverse reconstruction · state preimage | — |
| 232 | [Cartesian tree](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/cartesian_tree/mod.rs.groupant/) (`algorithms/src/cartesian_tree/mod.rs`) | partial source derived instance | allocation partition · behavior complement · reverse reconstruction · stack amortization · tie orientation | — |
| 233 | [Chebyshev clenshaw](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/chebyshev_clenshaw/mod.rs.groupant/) (`algorithms/src/chebyshev_clenshaw/mod.rs`) | partial descriptive instance | basis conversion · behavior complement · coefficient convention · domain partition · endpoint parity · reverse reconstruction | — |
| 234 | [Chinese remainder](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/chinese_remainder/mod.rs.groupant/) (`algorithms/src/chinese_remainder/mod.rs`) | partial source derived instance | algebraic relation · behavior complement · boundary specialization · certificate relation · closure relation · metamorphic relation · quotient relation · reverse reconstruction | — |
| 235 | [Cholesky](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/cholesky/mod.rs.groupant/) (`algorithms/src/cholesky/mod.rs`) | partial descriptive instance | behavior complement · factor solve composition · reconstruction observation · reverse reconstruction · schur dependency · triangular positivity | — |
| 236 | [Coin change](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/coin_change/mod.rs.groupant/) (`algorithms/src/coin_change/mod.rs`) | partial descriptive instance | behavior complement · denomination extension · duplicate extension · permutation · resource partition · reverse reconstruction · scale equivariance · singleton preimage | — |
| 237 | [Compensated sum](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/compensated_sum/mod.rs.groupant/) (`algorithms/src/compensated_sum/mod.rs`) | partial descriptive instance | behavior complement · lost unit recovery · magnitude branch · overflow refusal · reverse reconstruction · subnormal boundary | — |
| 238 | [Convex hull](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/convex_hull/mod.rs.groupant/) (`algorithms/src/convex_hull/mod.rs`) | partial source derived instance | behavior complement · fixed point · metamorphic relation · range bound · reverse reconstruction · state invariant · support relation | — |
| 239 | [Coordinate descent lasso](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/coordinate_descent_lasso/mod.rs.groupant/) (`algorithms/src/coordinate_descent_lasso/mod.rs`) | partial descriptive instance | behavior complement · finite arithmetic · resource observation · reverse reconstruction · termination partition · update relation | — |
| 240 | [Counting sort](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/counting_sort/mod.rs.groupant/) (`algorithms/src/counting_sort/mod.rs`) | partial source derived instance | behavior complement · conservation relation · failure partition · metamorphic relation · resource preimage · reverse reconstruction | — |
| 241 | [Dag path count](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/dag_path_count/mod.rs.groupant/) (`algorithms/src/dag_path_count/mod.rs`) | partial source bound model | arc multiplicity · behavior complement · checked arithmetic boundary · error precedence · reverse reconstruction · vertex transport · zero extension | — |
| 242 | [Dag shortest paths](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/dag_shortest_paths/mod.rs.groupant/) (`algorithms/src/dag_shortest_paths/mod.rs`) | partial source derived instance | algebraic relation · behavior complement · certificate relation · closure relation · equivariance relation · error partition · order relation · reverse reconstruction | — |
| 243 | [Damerau levenshtein](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/damerau_levenshtein/mod.rs.groupant/) (`algorithms/src/damerau_levenshtein/mod.rs`) | partial descriptive instance | alphabet projection · behavior complement · bounded graph · budget preimage · last occurrence · metric triangle · reverse reconstruction · unrestricted transposition | — |
| 244 | [Dijkstra](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/dijkstra/mod.rs.groupant/) (`algorithms/src/dijkstra/mod.rs`) | partial descriptive instance | behavior complement · counterfactual weight scaling · reverse reconstruction · shortest cost preimage · zero distance preimage | — |
| 245 | [Dinic](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/dinic/mod.rs.groupant/) (`algorithms/src/dinic/mod.rs`) | partial descriptive instance | behavior complement · blocking flow progress · conservation certificate · deterministic witness · first failure partition · objective projection preimage · positive scale equivariance · reverse reconstruction | — |
| 246 | [Discrete cosine transform](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/discrete_cosine_transform/mod.rs.groupant/) (`algorithms/src/discrete_cosine_transform/mod.rs`) | partial descriptive instance | behavior complement · grid boundary · normalization relation · reverse reconstruction · roundoff scope · transpose reconstruction | — |
| 247 | [Disjoint set](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/disjoint_set/mod.rs.groupant/) (`algorithms/src/disjoint_set/mod.rs`) | partial | behavior complement · deterministic representative · mutation frame · partition transition · reverse reconstruction | — |
| 248 | [Divide conquer dp](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/divide_conquer_dp/mod.rs.groupant/) (`algorithms/src/divide_conquer_dp/mod.rs`) | partial descriptive instance | behavior complement · budget prefix · constant shift · lawful cost family · positive scale · reverse reconstruction | — |
| 249 | [Dominators](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/dominators/mod.rs.groupant/) (`algorithms/src/dominators/mod.rs`) | partial source derived instance | antitone extension · behavior complement · endpoint law · path obstruction · representation invariance · reverse reconstruction | — |
| 250 | [Eulerian trail](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/eulerian_trail/mod.rs.groupant/) (`algorithms/src/eulerian_trail/mod.rs`) | partial descriptive instance | behavior complement · cursor resource relation · degree connectivity precondition · edge incidence reconstruction · identity transport · isolated vertex extension · reverse reconstruction · undirected representation equivalence | — |
| 251 | [Exact cover](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/exact_cover/mod.rs.groupant/) (`algorithms/src/exact_cover/mod.rs`) | partial source derived instance | behavior complement · error partition · reverse reconstruction · specialized relation | — |
| 252 | [Extended gcd](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/extended_gcd/mod.rs.groupant/) (`algorithms/src/extended_gcd/mod.rs`) | partial source derived instance | algebraic relation · behavior complement · boundary specialization · certificate relation · metamorphic relation · order relation · quotient relation · reverse reconstruction | — |
| 253 | [Fast fourier transform](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/fast_fourier_transform/mod.rs.groupant/) (`algorithms/src/fast_fourier_transform/mod.rs`) | partial source derived instance | behavior complement · inverse scaling · permutation schedule · reverse reconstruction · roundoff scope · validation order | — |
| 254 | [Fast walsh hadamard](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/fast_walsh_hadamard/mod.rs.groupant/) (`algorithms/src/fast_walsh_hadamard/mod.rs`) | partial source derived instance | behavior complement · bilinearity mass · character diagonalization · cost crossover · inverse domain · overflow validation · padding shape · reverse reconstruction | — |
| 255 | [Fenwick](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/fenwick/mod.rs.groupant/) (`algorithms/src/fenwick/mod.rs`) | partial | atomic point transition · behavior complement · bounded arithmetic · disjoint block partition · reverse reconstruction | — |
| 256 | [Fibonacci](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/fibonacci/mod.rs.groupant/) (`algorithms/src/fibonacci/mod.rs`) | partial source derived instance | behavior complement · doubling state · matrix oracle · recurrence boundary · reverse reconstruction · wide arithmetic | — |
| 257 | [Floor sum](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/floor_sum/mod.rs.groupant/) (`algorithms/src/floor_sum/mod.rs`) | partial source derived instance | algebraic relation · behavior complement · boundary specialization · certificate relation · metamorphic relation · reverse reconstruction | — |
| 258 | [Floyd warshall](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/floyd_warshall/mod.rs.groupant/) (`algorithms/src/floyd_warshall/mod.rs`) | partial descriptive instance | behavior complement · distance matrix transpose · min plus update · positive weight scaling · reverse reconstruction | — |
| 259 | [Forward backward](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/forward_backward/mod.rs.groupant/) (`algorithms/src/forward_backward/mod.rs`) | partial descriptive instance | behavior complement · empty and resources · log stability · normalization tolerance transport · posterior normalization · reverse reconstruction · sum product | — |
| 260 | [Frank wolfe](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/frank_wolfe/mod.rs.groupant/) (`algorithms/src/frank_wolfe/mod.rs`) | partial descriptive instance | behavior complement · finite arithmetic · resource observation · reverse reconstruction · termination partition · update relation | — |
| 261 | [Functional graph decomposition](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/functional_graph_decomposition/mod.rs.groupant/) (`algorithms/src/functional_graph_decomposition/mod.rs`) | partial source derived instance | behavior complement · error partition · reverse reconstruction · specialized relation | — |
| 262 | [Gauss legendre](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/gauss_legendre/mod.rs.groupant/) (`algorithms/src/gauss_legendre/mod.rs`) | partial descriptive instance | behavior complement · interval affine map · polynomial exactness · positive weight stability · reverse reconstruction · symmetric cancellation | — |
| 263 | [Gauss seidel](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/gauss_seidel/mod.rs.groupant/) (`algorithms/src/gauss_seidel/mod.rs`) | partial descriptive instance | behavior complement · fixed point relation · reverse reconstruction · spectral convergence · sweep dependency · termination partition | — |
| 264 | [Gaussian elimination modular](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/gaussian_elimination_modular/mod.rs.groupant/) (`algorithms/src/gaussian_elimination_modular/mod.rs`) | partial source derived instance | behavior complement · finite field · pivot ties · reverse reconstruction · solution space · validation order | — |
| 265 | [Gcd](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/gcd/mod.rs.groupant/) (`algorithms/src/gcd/mod.rs`) | partial source derived instance | argument permutation · behavior complement · boundary specialization · predicate projection · reverse reconstruction | — |
| 266 | [Goertzel](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/goertzel/mod.rs.groupant/) (`algorithms/src/goertzel/mod.rs`) | partial descriptive instance | behavior complement · empty precedence · endpoint conditioning · phase correction · reverse reconstruction · selection relation | — |
| 267 | [Golden section search](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/golden_section_search/mod.rs.groupant/) (`algorithms/src/golden_section_search/mod.rs`) | partial descriptive instance | behavior complement · finite arithmetic · resource observation · reverse reconstruction · termination partition · unimodal elimination | — |
| 268 | [Gradient descent quadratic](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/gradient_descent_quadratic/mod.rs.groupant/) (`algorithms/src/gradient_descent_quadratic/mod.rs`) | partial descriptive instance | behavior complement · diagonal contraction · finite arithmetic · resource observation · reverse reconstruction · termination partition | — |
| 269 | [Haar wavelet](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/haar_wavelet/mod.rs.groupant/) (`algorithms/src/haar_wavelet/mod.rs`) | partial descriptive instance | behavior complement · boundary partition · inverse schedule · orthogonal pair · packed layout · reverse reconstruction | — |
| 270 | [Heap sort](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/heap_sort/mod.rs.groupant/) (`algorithms/src/heap_sort/mod.rs`) | partial descriptive instance | behavior complement · order equivariance · resource bound · reverse reconstruction · suffix extraction | — |
| 271 | [Heavy ball quadratic](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/heavy_ball_quadratic/mod.rs.groupant/) (`algorithms/src/heavy_ball_quadratic/mod.rs`) | partial descriptive instance | behavior complement · finite arithmetic · iteration state · resource observation · reverse reconstruction · termination partition | — |
| 272 | [Held karp](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/held_karp/mod.rs.groupant/) (`algorithms/src/held_karp/mod.rs`) | partial descriptive instance | behavior complement · diagonal projection · resource partition · reverse reconstruction · subset recurrence · tie selection · wide arithmetic · witness identity | — |
| 273 | [Hirschberg](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/hirschberg/mod.rs.groupant/) (`algorithms/src/hirschberg/mod.rs`) | partial descriptive instance | axis transposition · behavior complement · resource partition · reverse reconstruction · row recurrence · split optimality · storage lifetime · tie policy | — |
| 274 | [Histogram quantiles](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/histogram_quantiles/mod.rs.groupant/) (`algorithms/src/histogram_quantiles/mod.rs`) | partial | behavior complement · bounded integer geometry · checked transition · order statistic enclosure · resource envelope · reverse reconstruction | — |
| 275 | [Hopcroft karp](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/hopcroft_karp/mod.rs.groupant/) (`algorithms/src/hopcroft_karp/mod.rs`) | partial descriptive instance | augmenting layer progress · behavior complement · cardinality additivity · deterministic noncanonical witness · edge multiplicity preimage · partial injection · resource error precedence · reverse reconstruction | — |
| 276 | [Horner](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/horner/mod.rs.groupant/) (`algorithms/src/horner/mod.rs`) | partial descriptive instance | behavior complement · coefficient orientation transport · cost observation complement · degree cost · dual recurrence · finite pair gate · ieee absorption relation · paired accumulator failure partition · reverse reconstruction · rounded intermediate counterexample · zero argument fiber | — |
| 277 | [Householder qr](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/householder_qr/mod.rs.groupant/) (`algorithms/src/householder_qr/mod.rs`) | partial descriptive instance | behavior complement · normal orthogonality · rank and resource · reflector isometry · reverse reconstruction · sign selection | — |
| 278 | [Huffman](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/huffman/mod.rs.groupant/) (`algorithms/src/huffman/mod.rs`) | partial source derived instance | behavior complement · boundary exclusion · determinism · information loss · metamorphic relation · optimization relation · output constraint · reverse reconstruction | — |
| 279 | [Hungarian](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/hungarian/mod.rs.groupant/) (`algorithms/src/hungarian/mod.rs`) | partial descriptive instance | augmenting state · behavior complement · dual certificate · resource partition · reverse reconstruction · row translation · tie selection · wide arithmetic | — |
| 280 | [Integer sqrt](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/integer_sqrt/mod.rs.groupant/) (`algorithms/src/integer_sqrt/mod.rs`) | partial source derived instance | behavior complement · boundary specialization · metamorphic relation · resource observation · reverse reconstruction | 4 Rust approximants |
| 281 | [Interval tree](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/interval_tree/mod.rs.groupant/) (`algorithms/src/interval_tree/mod.rs`) | partial source derived instance | augmentation · behavior complement · closed boundary · reverse reconstruction · stable identity · validation order | — |
| 282 | [Interval union](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/interval_union/mod.rs.groupant/) (`algorithms/src/interval_union/mod.rs`) | partial descriptive instance | behavior complement · empty and duplicate · idempotence · length bound · permutation · reverse reconstruction · split join · translation | — |
| 283 | [Inversion count](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/inversion_count/mod.rs.groupant/) (`algorithms/src/inversion_count/mod.rs`) | partial source derived instance | behavior complement · input preservation · large pair bound · merge cross pairs · reverse reconstruction | — |
| 284 | [Isotonic regression](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/isotonic_regression/mod.rs.groupant/) (`algorithms/src/isotonic_regression/mod.rs`) | partial source derived instance | arithmetic resource partition · behavior complement · block conservation · kkt prefix · reverse reconstruction · ties and idempotence | — |
| 285 | [Jacobi eigen](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/jacobi_eigen/mod.rs.groupant/) (`algorithms/src/jacobi_eigen/mod.rs`) | partial descriptive instance | behavior complement · canonical eigenvector sign · residual budget precedence · reverse reconstruction · rotation pivot ties · spectral observation | — |
| 286 | [Jacobi iteration](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/jacobi_iteration/mod.rs.groupant/) (`algorithms/src/jacobi_iteration/mod.rs`) | partial descriptive instance | behavior complement · fixed point relation · reverse reconstruction · spectral convergence · sweep dependency · termination partition | — |
| 287 | [Johnson](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/johnson/mod.rs.groupant/) (`algorithms/src/johnson/mod.rs`) | partial descriptive instance | behavior complement · error precedence · frontier filter · information loss · negative cycle domain · numeric representation · potential equivariance · reverse reconstruction | — |
| 288 | [K core](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/k_core/mod.rs.groupant/) (`algorithms/src/k_core/mod.rs`) | partial source derived instance | behavior complement · fixed point · maximality certificate · monotone extension · parameter monotonicity · reverse reconstruction | — |
| 289 | [Karatsuba polynomial](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/karatsuba_polynomial/mod.rs.groupant/) (`algorithms/src/karatsuba_polynomial/mod.rs`) | partial source derived instance | arithmetic bound · behavior complement · cross identity · padding trim · reverse reconstruction · validation order | — |
| 290 | [Kmp](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/kmp/mod.rs.groupant/) (`algorithms/src/kmp/mod.rs`) | partial descriptive instance | behavior complement · boundary fiber · byte relabeling · overlap constraint · reverse reconstruction | — |

### Paper nodes (2)

How Mova's code uses a scholarly work; the paper's own syntax tree and obernants are missing.

| # | implementation | state | obernant kinds | Rust |
|---|---|---|---|---|
| 291 | [Allison dix 1986](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/bit_parallel_lcs/mod.rs.groupant/) (`algorithms/src/bit_parallel_lcs/mod.rs`) | partial descriptive instance | behavior complement · bit63 borrow projection · boundary partition · failure partition · observation domain · orientation quotient · reverse reconstruction · state transport | — |
| 292 | [Hirschberg 1975](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/hirschberg/mod.rs.groupant/) (`algorithms/src/hirschberg/mod.rs`) | partial descriptive instance | axis transposition · behavior complement · resource partition · reverse reconstruction · row recurrence · split optimality · storage lifetime · tie policy | — |