Оптимальное кеширование


14

Вам будет предоставлена ​​последовательность запросов памяти и размер кэша. Вы должны возвращать как можно меньше пропущенных кешей при любой стратегии замены кеша.

Оптимальной стратегией является алгоритм Белади , который вы можете использовать, если хотите.


Система кеширования работает следующим образом: кеш начинается пустым. Приходят запросы памяти. Если запрос запрашивает часть данных в кеше, все хорошо. Если нет, то вы получаете ошибку кэша. На этом этапе вы можете вставить данные, которые были запрошены в кэш для будущего использования. Если кэш был заполнен, и вы хотите вставить новые данные, вы должны удалить данные, которые ранее были в кеше. Вы никогда не можете вставить данные, которые были не только в кеше.

Ваша цель - найти минимально возможное количество пропусков кеша для заданной последовательности запросов памяти и размера кеша.


Вам будет задан размер кэша, положительное целое число и последовательность запросов памяти, которая представляет собой список токенов. Этими токенами могут быть любые токены, которые вам нравятся, если возможно как минимум 256 различных токенов (байты в порядке, а bools - нет). Например, целые, строки, списки все в порядке. При необходимости попросите разъяснений.


Тестовые случаи:

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

6

Посмотрите Википедию для политики замены, которая достигает этого.

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

3

Просто избегайте добавления 2в кеш.

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

9

Один из способов добиться этого, никогда не выселяет 0и 2, и выселять 1как можно скорее после его последнего использования.


Подсчет очков: это код гольф. Побеждает несколько байтов.


Можно ли предположить, что в списке содержится как минимум 2 токена?
Арно

@Arnauld Я собираюсь сказать нет, хотя, если есть только 1 решение, ответ, конечно, всегда 1.
Исаак

Ответы:


4

JavaScript (ES6), 128 байт

Принимает вход как (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

Попробуйте онлайн!

комментарии

Это реализация алгоритма Белади.

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 байта

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
}

Попробуйте онлайн!

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 байта без отступа, новых строк, пробелов, комментариев:

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 байта

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

Попробуйте онлайн!

объяснение

Работает грубой силой: все стратегии кеширования опробованы, и возвращается лучший результат.

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.

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.