Elamur GroupantsMova'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.
Source surveys (90)
A generated survey of one algorithm module's source: unverified, not a proof.
| # | implementation | state | obernant kinds | Rust |
|---|---|---|---|---|
| 201 | A staralgorithms/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 simpsonalgorithms/src/adaptive_simpson/mod.rs | partial descriptive instance | additive composition · behavior complement · budget partition · reverse reconstruction · sample alias fiber · stagnation relation | — |
| 203 | Adaptive trapezoidalgorithms/src/adaptive_trapezoid/mod.rs | partial descriptive instance | behavior complement · budget partition · callback trace · estimator scope · reverse reconstruction · stagnation relation | — |
| 204 | Alias methodalgorithms/src/alias_method/mod.rs | partial descriptive instance | behavior complement · coordinate partition · mass partition · resource boundary · reverse reconstruction · scale fiber | — |
| 205 | Armijo line searchalgorithms/src/armijo_line_search/mod.rs | partial descriptive instance | behavior complement · finite arithmetic · resource observation · reverse reconstruction · termination partition · update relation | — |
| 206 | Articulation pointsalgorithms/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 stepalgorithms/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 levenshteinalgorithms/src/banded_levenshtein/mod.rs | partial descriptive instance | behavior complement · boundary partition · length pruning preimage · resource refusal fiber · reverse reconstruction | — |
| 209 | Barycentric lagrangealgorithms/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 fordalgorithms/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 masseyalgorithms/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 casteljaualgorithms/src/bernstein_de_casteljau/mod.rs | partial descriptive instance | affine control transport · behavior complement · bernstein equivalence · control reversal · convex hull transport · reverse reconstruction | — |
| 213 | Bfsalgorithms/src/bfs/mod.rs | partial descriptive instance | behavior complement · distance layer preimage · reachability preimage · representation equivalence · reverse reconstruction | — |
| 214 | Biconnected componentsalgorithms/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 searchalgorithms/src/binary_search/mod.rs | partial source derived instance | behavior complement · counterfactual boundary · observation projection · reverse reconstruction · target partition | — |
| 216 | Binomial coefficientalgorithms/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 matchingalgorithms/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 coveralgorithms/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 rootalgorithms/src/bisection_root/mod.rs | partial descriptive instance | behavior complement · bracket sign · finite arithmetic · resource observation · reverse reconstruction · termination partition | — |
| 220 | Bit parallel lcsalgorithms/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 sumalgorithms/src/bitset_subset_sum/mod.rs | partial descriptive instance | behavior complement · permutation · reverse reconstruction · scale equivariance · single use · zero extension | — |
| 222 | Bk treealgorithms/src/bk_tree/mod.rs | partial source derived instance | behavior complement · byte metric join · duplicate fiber · reverse reconstruction · triangle pruning · validation order | — |
| 223 | Blossom matchingalgorithms/src/blossom_matching/mod.rs | partial source derived instance | behavior complement · error partition · reverse reconstruction · specialized relation | — |
| 224 | Bluestein fftalgorithms/src/bluestein_fft/mod.rs | partial descriptive instance | behavior complement · chirp identity · inverse normalization · kernel composition · padding relation · reverse reconstruction | — |
| 225 | Boruvkaalgorithms/src/boruvka/mod.rs | partial source derived instance | behavior complement · cut tie order · forest observation loss · reverse reconstruction · validation precedence | — |
| 226 | Bounded knapsackalgorithms/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 horspoolalgorithms/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 minimizealgorithms/src/brent_minimize/mod.rs | partial descriptive instance | behavior complement · finite arithmetic · resource observation · reverse reconstruction · termination partition · update relation | — |
| 229 | Bridgesalgorithms/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 kerboschalgorithms/src/bron_kerbosch/mod.rs | partial source derived instance | behavior complement · complement independence · maximal maximum boundary · reverse reconstruction · simple graph failure order | — |
| 231 | Burrows wheeleralgorithms/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 treealgorithms/src/cartesian_tree/mod.rs | partial source derived instance | allocation partition · behavior complement · reverse reconstruction · stack amortization · tie orientation | — |
| 233 | Chebyshev clenshawalgorithms/src/chebyshev_clenshaw/mod.rs | partial descriptive instance | basis conversion · behavior complement · coefficient convention · domain partition · endpoint parity · reverse reconstruction | — |
| 234 | Chinese remainderalgorithms/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 | Choleskyalgorithms/src/cholesky/mod.rs | partial descriptive instance | behavior complement · factor solve composition · reconstruction observation · reverse reconstruction · schur dependency · triangular positivity | — |
| 236 | Coin changealgorithms/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 sumalgorithms/src/compensated_sum/mod.rs | partial descriptive instance | behavior complement · lost unit recovery · magnitude branch · overflow refusal · reverse reconstruction · subnormal boundary | — |
| 238 | Convex hullalgorithms/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 lassoalgorithms/src/coordinate_descent_lasso/mod.rs | partial descriptive instance | behavior complement · finite arithmetic · resource observation · reverse reconstruction · termination partition · update relation | — |
| 240 | Counting sortalgorithms/src/counting_sort/mod.rs | partial source derived instance | behavior complement · conservation relation · failure partition · metamorphic relation · resource preimage · reverse reconstruction | — |
| 241 | Dag path countalgorithms/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 pathsalgorithms/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 levenshteinalgorithms/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 | Dijkstraalgorithms/src/dijkstra/mod.rs | partial descriptive instance | behavior complement · counterfactual weight scaling · reverse reconstruction · shortest cost preimage · zero distance preimage | — |
| 245 | Dinicalgorithms/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 transformalgorithms/src/discrete_cosine_transform/mod.rs | partial descriptive instance | behavior complement · grid boundary · normalization relation · reverse reconstruction · roundoff scope · transpose reconstruction | — |
| 247 | Disjoint setalgorithms/src/disjoint_set/mod.rs | partial | behavior complement · deterministic representative · mutation frame · partition transition · reverse reconstruction | — |
| 248 | Divide conquer dpalgorithms/src/divide_conquer_dp/mod.rs | partial descriptive instance | behavior complement · budget prefix · constant shift · lawful cost family · positive scale · reverse reconstruction | — |
| 249 | Dominatorsalgorithms/src/dominators/mod.rs | partial source derived instance | antitone extension · behavior complement · endpoint law · path obstruction · representation invariance · reverse reconstruction | — |
| 250 | Eulerian trailalgorithms/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 coveralgorithms/src/exact_cover/mod.rs | partial source derived instance | behavior complement · error partition · reverse reconstruction · specialized relation | — |
| 252 | Extended gcdalgorithms/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 transformalgorithms/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 hadamardalgorithms/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 | Fenwickalgorithms/src/fenwick/mod.rs | partial | atomic point transition · behavior complement · bounded arithmetic · disjoint block partition · reverse reconstruction | — |
| 256 | Fibonaccialgorithms/src/fibonacci/mod.rs | partial source derived instance | behavior complement · doubling state · matrix oracle · recurrence boundary · reverse reconstruction · wide arithmetic | — |
| 257 | Floor sumalgorithms/src/floor_sum/mod.rs | partial source derived instance | algebraic relation · behavior complement · boundary specialization · certificate relation · metamorphic relation · reverse reconstruction | — |
| 258 | Floyd warshallalgorithms/src/floyd_warshall/mod.rs | partial descriptive instance | behavior complement · distance matrix transpose · min plus update · positive weight scaling · reverse reconstruction | — |
| 259 | Forward backwardalgorithms/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 wolfealgorithms/src/frank_wolfe/mod.rs | partial descriptive instance | behavior complement · finite arithmetic · resource observation · reverse reconstruction · termination partition · update relation | — |
| 261 | Functional graph decompositionalgorithms/src/functional_graph_decomposition/mod.rs | partial source derived instance | behavior complement · error partition · reverse reconstruction · specialized relation | — |
| 262 | Gauss legendrealgorithms/src/gauss_legendre/mod.rs | partial descriptive instance | behavior complement · interval affine map · polynomial exactness · positive weight stability · reverse reconstruction · symmetric cancellation | — |
| 263 | Gauss seidelalgorithms/src/gauss_seidel/mod.rs | partial descriptive instance | behavior complement · fixed point relation · reverse reconstruction · spectral convergence · sweep dependency · termination partition | — |
| 264 | Gaussian elimination modularalgorithms/src/gaussian_elimination_modular/mod.rs | partial source derived instance | behavior complement · finite field · pivot ties · reverse reconstruction · solution space · validation order | — |
| 265 | Gcdalgorithms/src/gcd/mod.rs | partial source derived instance | argument permutation · behavior complement · boundary specialization · predicate projection · reverse reconstruction | — |
| 266 | Goertzelalgorithms/src/goertzel/mod.rs | partial descriptive instance | behavior complement · empty precedence · endpoint conditioning · phase correction · reverse reconstruction · selection relation | — |
| 267 | Golden section searchalgorithms/src/golden_section_search/mod.rs | partial descriptive instance | behavior complement · finite arithmetic · resource observation · reverse reconstruction · termination partition · unimodal elimination | — |
| 268 | Gradient descent quadraticalgorithms/src/gradient_descent_quadratic/mod.rs | partial descriptive instance | behavior complement · diagonal contraction · finite arithmetic · resource observation · reverse reconstruction · termination partition | — |
| 269 | Haar waveletalgorithms/src/haar_wavelet/mod.rs | partial descriptive instance | behavior complement · boundary partition · inverse schedule · orthogonal pair · packed layout · reverse reconstruction | — |
| 270 | Heap sortalgorithms/src/heap_sort/mod.rs | partial descriptive instance | behavior complement · order equivariance · resource bound · reverse reconstruction · suffix extraction | — |
| 271 | Heavy ball quadraticalgorithms/src/heavy_ball_quadratic/mod.rs | partial descriptive instance | behavior complement · finite arithmetic · iteration state · resource observation · reverse reconstruction · termination partition | — |
| 272 | Held karpalgorithms/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 | Hirschbergalgorithms/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 quantilesalgorithms/src/histogram_quantiles/mod.rs | partial | behavior complement · bounded integer geometry · checked transition · order statistic enclosure · resource envelope · reverse reconstruction | — |
| 275 | Hopcroft karpalgorithms/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 | Horneralgorithms/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 qralgorithms/src/householder_qr/mod.rs | partial descriptive instance | behavior complement · normal orthogonality · rank and resource · reflector isometry · reverse reconstruction · sign selection | — |
| 278 | Huffmanalgorithms/src/huffman/mod.rs | partial source derived instance | behavior complement · boundary exclusion · determinism · information loss · metamorphic relation · optimization relation · output constraint · reverse reconstruction | — |
| 279 | Hungarianalgorithms/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 sqrtalgorithms/src/integer_sqrt/mod.rs | partial source derived instance | behavior complement · boundary specialization · metamorphic relation · resource observation · reverse reconstruction | 4 Rust approximants |
| 281 | Interval treealgorithms/src/interval_tree/mod.rs | partial source derived instance | augmentation · behavior complement · closed boundary · reverse reconstruction · stable identity · validation order | — |
| 282 | Interval unionalgorithms/src/interval_union/mod.rs | partial descriptive instance | behavior complement · empty and duplicate · idempotence · length bound · permutation · reverse reconstruction · split join · translation | — |
| 283 | Inversion countalgorithms/src/inversion_count/mod.rs | partial source derived instance | behavior complement · input preservation · large pair bound · merge cross pairs · reverse reconstruction | — |
| 284 | Isotonic regressionalgorithms/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 eigenalgorithms/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 iterationalgorithms/src/jacobi_iteration/mod.rs | partial descriptive instance | behavior complement · fixed point relation · reverse reconstruction · spectral convergence · sweep dependency · termination partition | — |
| 287 | Johnsonalgorithms/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 corealgorithms/src/k_core/mod.rs | partial source derived instance | behavior complement · fixed point · maximality certificate · monotone extension · parameter monotonicity · reverse reconstruction | — |
| 289 | Karatsuba polynomialalgorithms/src/karatsuba_polynomial/mod.rs | partial source derived instance | arithmetic bound · behavior complement · cross identity · padding trim · reverse reconstruction · validation order | — |
| 290 | Kmpalgorithms/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 1986algorithms/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 1975algorithms/src/hirschberg/mod.rs | partial descriptive instance | axis transposition · behavior complement · resource partition · reverse reconstruction · row recurrence · split optimality · storage lifetime · tie policy | — |
This page in Markdown → https://md.groupants.elamur.ai/free/en/library/page/3/