Caching ottimale


14

Ti verrà data una sequenza di richieste di memoria e una dimensione della cache. È necessario restituire il minor numero possibile di errori nella cache in qualsiasi strategia di sostituzione della cache.

Una strategia ottimale è l'algoritmo di Belady , che puoi usare se vuoi.


Un sistema di cache funziona come segue: la cache inizia vuota. Le richieste di memoria arrivano. Se la richiesta richiede un pezzo di dati nella cache, tutto va bene. In caso contrario, si verifica un errore nella cache. A questo punto è possibile inserire i dati richiesti nella cache per usi futuri. Se la cache era piena e si desidera inserire nuovi dati, è necessario eliminare i dati precedentemente presenti nella cache. Non puoi mai inserire dati che non erano solo nella cache.

Il tuo obiettivo è trovare il numero minimo possibile di errori cache per una determinata sequenza di richieste di memoria e dimensioni della cache.


Ti verranno fornite le dimensioni della cache, un numero intero positivo e la sequenza di richieste di memoria, che è un elenco di token. Questi token possono essere qualunque tipo di token ti piaccia, purché siano possibili almeno 256 token diversi (i byte vanno bene, i bool no). Ad esempio, ints, stringhe, liste vanno bene. Chiedere chiarimenti se necessario.


Casi test:

3
[5, 0, 1, 2, 0, 3, 1, 2, 5, 2]

6

Vedi Wikipedia per una politica di sostituzione che raggiunge questo obiettivo.

2
[0, 1, 2, 0, 1, 0, 1]

3

Evita semplicemente di aggiungere 2alla cache.

3
[0, 1, 2, 1, 4, 3, 1, 0, 2, 3, 4, 5, 0, 2, 3, 4]

9

Un modo per raggiungere questo obiettivo è mai sfrattando 0e 2, e sfrattando 1il più presto possibile dopo la sua ultima uso.


Punteggio: questo è il codice golf. Vince il minor numero di byte.


Possiamo supporre che l'elenco contenga almeno 2 token?
Arnauld,

@Arnauld Sto per dire di no, anche se se c'è solo 1 soluzione, la risposta è ovviamente sempre 1.
isaacg

Risposte:


4

JavaScript (ES6), 128 byte

Accetta input come (size)(list).

s=>a=>a.map((x,i)=>c.includes(x)?0:c[e++,[x,...c].map(m=(x,j)=>(k=[...a,x].indexOf(x,i+1))<m||(p=j,m=k)),i<s?i:p-1]=x,e=c=[])&&e

Provalo online!

Commentate

Questa è un'implementazione dell'algoritmo di Belady.

s => a =>                      // s = cache size; a[] = token list
  a.map((x, i) =>              // for each token x at position i in a[]:
    c.includes(x) ?            //   if x is currently stored in the cache:
      0                        //     do nothing
    :                          //   else:
      c[                       //     update the cache:
        e++,                   //       increment the number of errors (cache misses)
        [x, ...c]              //       we want to find which value among x and all current
                               //       cache values will be needed for the longest time in
                               //       the future (or not needed anymore at all)
        .map(m =               //       initialize m to a non-numeric value
                 (x, j) =>     //       for each x at position j in this array:
          ( k = [...a, x]      //         k = position of x in the array made of all values
            .indexOf(x, i + 1) //         of a[] followed by x, starting at i + 1
          ) < m                //         if it's greater than or equal to m, or m is
          || (p = j, m = k)    //         still non-numeric: set p to j and m to k
        ),                     //       end of inner map()
        i < s ?                //       if i is less than the cache size:
          i                    //         just fill the cache by using the next cache slot
        :                      //       else:
          p - 1                //         use the slot that was found above
                               //         special case: if p = 0, x was the best candidate
                               //         and we're going to store it at c[-1], which is
                               //         simply ignored (it will not trigger c.includes(x))
      ] = x,                   //     store x at this position
      e = c = []               //     start with e = [] (coerced to 0) and c = []
  ) && e                       // end of outer map; return e

4

Perl 5 , 193 byte

sub g{
  my($i,$m,$s,@a,%c)=(-1,0,@_);
  for(@a){
    $i++;
    next if $c{$_}++ || ++$m && keys%c <= $s;
    my($x,$d);
    for $k (sort keys %c){  #find which to delete, the one furtherst away
      my $n=0;
      ++$n && /^$k$/ && last for @a[$i+1..$#a];
      ($x,$d)=($n,$k) if $n>$x
    }
    delete $c{$d}
  }
  $m
}

Provalo online!

print g(3,  5, 0, 1, 2, 0, 3, 1, 2, 5, 2),"\n";                     # 6
print g(2,  0, 1, 2, 0, 1, 0, 1),"\n";                              # 3
print g(3,  0, 1, 2, 1, 4, 3, 1, 0, 2, 3, 4, 5, 0, 2, 3, 4),"\n";   # 9

193 byte senza rientro, nuove righe, spazi, commenti:

sub g{my($i,$m,$s,@a,%c)=(-1,0,@_);for(@a){$i++;next if$c{$_}++||++$m&&keys%c<=$s;my($x,$d);for$k(sort keys%c){my$n=0;++$n&&/^$k$/&&last for@a[$i+1..$#a];($x,$d)=($n,$k)if$n>$x}delete$c{$d}}$m}


1

Haskell , 82 byte

f n|let(d:t)#c=1-sum[1|elem d c]+minimum[t#take n e|e<-scanr(:)(d:c)c];_#_=0=(#[])

Provalo online!

Spiegazione

Funziona con la forza bruta: vengono provate tutte le strategie di cache e viene restituito il risultato migliore.

f n            Define a function f on argument n (cache size) and a list (implicit).
 |let(d:t)#c=  Define binary helper function #.
               Arguments are list with head d (current data) and tail t (remaining data), and list c (cache).
 1-            It returns 1 minus
 sum[1|        1 if
 elem d c]+    d is in the cache, plus
 minimum[      minimum of
 t#            recursive calls to # with list t
 take n e|     and cache being the first n values of e, where
 e<-           e is drawn from
 scanr(:)  c]  the prefixes of c
 (d:c)         with d and c tacked to the end.
 ;_#_=0        If the first list is empty, return 0.
 =(#[])        f then calls # with the list argument and empty cache.

0

Perl 6 , 146 byte

->\a,\b {$_=set();$!=0;for b.kv ->\i,\v {$_{v}&&next;++$!;vb[i^..*]||next;$_∖=.keys.max({(grep $_,:k,b[i^..*])[0]//Inf})if $_>=a;$_∪=v};$!}

Provalo online!

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.