Designability of RNA Targets with Up to Two Length-2 Helices
Questo articolo dimostra che i target di RNA con al massimo due eliche massimali di lunghezza 2 e nessuna elica di lunghezza 1 rimangono progettabili sotto il modello di Watson-Crick a quattro lettere, estendendo le garanzie di separabilità modulo- esistenti attraverso una combinazione di trasferimenti di colorazione locali e argomentazioni di conteggio globale, con la prova formale verificata in Lean 4.