Википедија

Дисјунктни-сет (структура података) — разлика између измена

Интерактиван преглед историје
← Старија изменаНовија измена →
Садржај обрисан Садржај додат
ВизуелноВикитекст
Autobot (разговор | доприноси)
1.572.075 измена
м ispravke
Autobot (разговор | доприноси)
1.572.075 измена
м Разне исправке
Ред 83:
 
2007. Године Sylvain Conchon и Jean-Christophe Filliâtre су развили ''упорну структуру података'' [[persistent data structure|persistent]]
верзија структуре података дисјунктних-сет шума, омогућавајући претходну верзију структуре да се ефикасно задрже, формализовају његову исправност користећи доказ [[[proof assistant]] [[Coq]].<ref>{{Citation |first=Sylvain |last=Conchon|first=Sylvain|first2=Jean-Christophe |last2=Filliâtre|contribution=A Persistent Union-Find Data Structure |title=ACM SIGPLAN Workshop on ML |location=Freiburg, Germany |date=October 2007}}</ref>
 
== Повезани линкови ==
Преузето из „https://sr.wikipedia.org/wiki/Дисјунктни-сет_(структура_података)”