Nussinov: ACGU→2 pairs, GCAU→2, AAUU→2, GGGAAAUCC→3; O(n³) DP verifiable byte-exact

Layer 3 — Biologyin the computational-biology subtree

Integer-anchor witness of the Nussinov 1978 RNA-folding maximum-base-pair DP recursion on five canonical sequences. Setup: Nussinov recursion on substring s[i..j] with memo-table M(i,j) = max pairs in s[i..j]; base cases M(i,i) = M(i,…

Related concepts

Nussinov 1978 RNA folding: M(i,j) = max{M(i+1,j), M(i,j−1), M(i+1,j−1)+δ_{ij}, max_k M(i,k)+M(k+1,j)}

Explore Nussinov: ACGU→2 pairs, GCAU→2, AAUU→2, GGGAAAUCC→3; O(n³) DP verifiable byte-exact on the interactive knowledge graph →