We want a model to merge bookmarks
a=[p, q, r] ve b=[p, s, r] nasıl birleştirilir?
q ve s en son eklendi mi, yoksa silindi mi?
Zamanı kaydeden bir model: t±p (zaman, artı/eksi, işaret)
a = [1+p, 2+q, 4+r] birinci cihazda
b = [1+p, 2+q, 3+s, 5+r, 6-q] diğer cihazda
iki listeyi birleştirip sıraya dizince, şunu anlıyoruz:
en son q silinmiş, s eklenmiş
a ve b = [1+p, 3+s, 4+r] olarak eşitlenir
We want a model to merge bookmarks a=[p, q, r] ve b=[p, s, r] nasıl birleştirilir? q ve s en son eklendi mi, yoksa silindi mi?
Zamanı kaydeden bir model: t±p (zaman, artı/eksi, işaret) a = [1+p, 2+q, 4+r] birinci cihazda b = [1+p, 2+q, 3+s, 5+r, 6-q] diğer cihazda iki listeyi birleştirip sıraya dizince, şunu anlıyoruz: en son q silinmiş, s eklenmiş a ve b = [1+p, 3+s, 4+r] olarak eşitlenir