Парадокс распределения

10

Данный:

  • Натуральное число S .
  • Список из N рациональных весов W , сумма которых равна 1.

Вернуть список L из N неотрицательных целых чисел, такой что:

(1) sum(L) = S
(2) sum((S⋅W_i - L_i)^2) is minimal

Другими словами, приближайте S⋅W_is с целыми числами как можно ближе.

Примеры:

1 [0.4 0.3 0.3] = [1 0 0]
3 [0 1 0] = [0 3 0]
4 [0.3 0.4 0.3] = [1 2 1]
5 [0.3 0.4 0.3] = [2 2 1] or [1 2 2] but not [1 3 1]
21 [0.3 0.2 0.5] = [6 4 11]
5 [0.1 0.2 0.3 0.4] = [1 1 1 2] or [0 1 2 2]
4 [0.11 0.3 0.59] = [1 1 2]
10 [0.47 0.47 0.06] = [5 5 0]
10 [0.43 0.43 0.14] = [4 4 2]
11 [0.43 0.43 0.14] = [5 5 1]

Правила:

  • Вы можете использовать любой формат ввода вообще или просто предоставить функцию, которая принимает входные данные в качестве аргументов.

Фон:

Эта проблема возникает при отображении S различных типов элементов в различных пропорциях W i относительно типов.

Другим примером этой проблемы является пропорциональное политическое представительство, см. Парадокс распределения . Последние два тестовых случая известны как парадокс Алабамы.

Как статистик, я признал эту проблему эквивалентной проблеме, возникающей при определении размеров выборки при проведении стратифицированной выборки. В этой ситуации мы хотим сделать пропорцию каждого слоя в выборке равной доле каждого слоя в популяции. - @tomi

glebm
источник
Не могли бы вы на словах сказать, в чем задача? У меня проблемы с распаковкой выражений во что-то интуитивное.
xnor
Оба должны быть ≤, фиксированными. Задача состоит в том, чтобы представить целое число в виде суммы целых чисел на основе весов. Остаток должен распределяться в пользу наибольшего веса, хотя я не уверен, что это требование закодировано правильно? Это интересно, потому round(A + B) != round(A) + round(B)что короткое решение требует понимания того, что здесь происходит.
Глеб
1
Возможно, измените правила, чтобы минимизировать сумму L[i] - S*W[i]квадратов расстояний , вместо правила 2 и правила 3. Это будет приблизительно S*W[i].
Якуб
1
Также [0 1 2 2] есть еще одно возможное решение для5 [0.1 0.2 0.3 0.4]
Jakube
1
Может быть, вы должны добавить пример для 1 [0,4 0,3 0,3]
aditsu выход, потому что SE ЗЛО

Ответы:

6

APL, 21

{{⍵+1=⍋⍋⍵-⍺}⍣⍺/⍺0×⊂⍵}

Это перевод 37-байтового ответа CJam от aditsu .

Проверьте это онлайн .

объяснение

 {      ⍵-⍺}            ⍝ Right argument - left argument.
 {  1=⍋⍋⍵-⍺}            ⍝ Make one of the smallest number 1, others 0.
 {⍵+1=⍋⍋⍵-⍺}            ⍝ Add the result and the right argument together.
 {⍵+1=⍋⍋⍵-⍺}⍣⍺          ⍝ Repeat that S times. The result of each iteration is the new right argument.
                  ⊂⍵    ⍝ Return enclosed W, which is taken as one unit in APL.
               ⍺0×⊂⍵    ⍝ Return S*W and 0*W.
{{⍵+1=⍋⍋⍵-⍺}⍣⍺/⍺0×⊂⍵}   ⍝ Make S*W the left argument, 0*W the right argument in the first iteration.
jimmy23013
источник
7

Python 2, 95 83 132 125 143

У моего первого (и второго) (и третьего) алгоритма были проблемы, поэтому после (еще одного!) Переписывания и дополнительного тестирования (я очень надеюсь) правильное и быстрое решение:

def a(b,h):
 g=h;c=[];d=[]
 for w in b:f=int(w*h);d+=[f];c+=[h*w-f];g-=f
 if g:
  for e in sorted(c)[-g:]:i=c.index(e);c[i]=2;d[i]+=1
 return d

Источник до минификатора теперь выглядит так:

# minified 143 bytes
def golfalloc(weights, num):
    # Tiny seq alloc for golfing
    gap = num;
    errors = [];
    counts = []
    for w in weights :
        count = int(w*num);
        counts += [count];
        errors += [num*w - count];
        gap -= count
    if gap:
        for e in sorted(errors)[-gap:] :
            i = errors.index(e);
            errors[i] = 2;
            counts[i] += 1
    return counts

Тесты возвращаются:

Pass                    Shape    N               Result Error                        AbsErrSum
ok            [0.4, 0.3, 0.3]    1            [1, 0, 0] -0.60,+0.30,+0.30                 1.20
ok                  [0, 1, 0]    3            [0, 3, 0] +0.00,+0.00,+0.00                 0.00
ok            [0.3, 0.4, 0.3]    4            [1, 2, 1] +0.20,-0.40,+0.20                 0.80
ok            [0.3, 0.4, 0.3]    5            [2, 2, 1] -0.50,+0.00,+0.50                 1.00
ok            [0.3, 0.2, 0.5]   21           [6, 4, 11] +0.30,+0.20,-0.50                 1.00
ok       [0.1, 0.2, 0.3, 0.4]    5         [1, 1, 1, 2] -0.50,+0.00,+0.50,+0.00           1.00
ok          [0.11, 0.3, 0.59]    4            [1, 1, 2] -0.56,+0.20,+0.36                 1.12
ok         [0.47, 0.47, 0.06]   10            [5, 5, 0] -0.30,-0.30,+0.60                 1.20
ok         [0.43, 0.43, 0.14]   10            [4, 4, 2] +0.30,+0.30,-0.60                 1.20
ok         [0.43, 0.43, 0.14]   11            [5, 5, 1] -0.27,-0.27,+0.54                 1.08

Этот алгоритм похож на другие ответы здесь. Это O (1) для num, поэтому он имеет одинаковое время выполнения для целых 10 и 1000000. Теоретически это O (nlogn) для количества весов (из-за сортировки). Если это выдержит все другие хитрые варианты ввода, он заменит алгоритм, приведенный ниже в моем наборе инструментов программирования.

Пожалуйста, не используйте этот алгоритм ни с чем, кроме гольфа. Я пошел на компромиссы в скорости, чтобы минимизировать размер источника. Следующий код использует ту же логику, но гораздо быстрее и полезнее:

def seqalloc(anyweights, num):
    # Distribute integer num depending on weights.
    # weights may be non-negative integers, longs, or floats.
    totalbias = float(sum(anyweights))
    weights = [bias/totalbias for bias in anyweights]
    counts = [int(w*num) for w in weights]
    gap = num - sum(counts)
    if gap:
        errors = [num*w - q for w,q in zip(weights, counts)]
        ordered = sorted(range(len(errors)), key=errors.__getitem__)
        for i in ordered[-gap:]:
            counts[i] += 1
    return counts

Значение num существенно не влияет на скорость. Я проверил это со значениями от 1 до 10 ^ 19. Время выполнения линейно зависит от количества весов. На моем компьютере это занимает 0,15 секунды с 10 ^ 5 весами и 15 секунд с 10 ^ 7 весами. Обратите внимание, что весовые коэффициенты не ограничиваются дробными суммами, равными единице. Используемая здесь методика сортировки также примерно в два раза быстрее, чем традиционный sorted((v,i) for i,v in enumerate...)стиль.

Оригинальный алгоритм

Это была функция в моем наборе инструментов, немного измененная для гольфа. Это было первоначально из SO ответа . И это неправильно.

def seqalloc(seq, num):
    outseq = []
    totalw = float(sum(seq))
    for weight in seq:
        share = int(round(num * weight / totalw)) if weight else 0
        outseq.append(share)
        totalw -= weight
        num -= share
    return outseq

Это дает приближение, но не всегда правильно, хотя сумма (outseq) == num сохраняется. Быстро, но не рекомендуется.

Спасибо @alephalpha и @ user23013 за обнаружение ошибок.

РЕДАКТИРОВАТЬ: Установите totalw (d) равным 1, так как OP указывает, что сумма весов всегда будет 1. Теперь 83 байта.

РЕДАКТИРОВАТЬ 2: Исправлена ​​ошибка, найденная для [0,4, 0,3, 0,3], 1.

EDIT3: заброшенный некорректный алгоритм. Добавлен лучший.

EDIT4: это становится смешным. Заменен на правильный (я очень надеюсь) алгоритм.

РЕДАКТИРОВАТЬ5: Добавлен не-гольфовый код для других, которые могут использовать этот алгоритм.

Логика Найт
источник
4
a([0.4, 0.3, 0.3], 1)возвращается [0, 1, 0], пока правильный ответ [1, 0, 0].
алефальфа
1
Все еще не так. a([0.11,0.3,0.59],4)вернулся [0, 1, 3]. Должно быть [1, 1, 2].
jimmy23013
1
f([0.47,0.47,0.06],10)вернулся [5, 4, 1]. Должно быть [5, 5, 0].
jimmy23013
2
Я думаю, что теперь это правильно.
jimmy23013
2
@CarpetPython Я прошел аналогичный процесс с этим алгоритмом, и именно так я решил эту проблему. Если они заберут вашу лицензию, они должны забрать и мою :)
glebm
4

Mathematica, 67 50 46 45 символов

f=(b=⌊1##⌋;b[[#~Ordering~-Tr@#&[b-##]]]++;b)&

Ungolfed:

f[s_, w_] := Module[{a = s*w, b, c, d},
  b = Floor[a];
  c = b - a;
  d = Ordering[c, -Total[c]];
  b[[d]] += 1;
  b]

Пример:

f[5,{0.1,0.2,0.3,0.4}]

{1, 1, 1, 2}

alephalpha
источник
Боже мой, это коротко, учитывая, что это Mathematica!
DavidC
3

CJam - 37

q~:W,0a*\:S{[_SWf*]z::-_:e<#_2$=)t}*p

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

Объяснение:

q~             read and evaluate the input
               (pushing the number and the array on the stack)
:W,            save the array in variable W and calculate its length (N)
0a*            make an array of N zeros (the initial "L")
\:S            swap it with the number and save the number in S
{…}*           execute the block S times
    [_SWf*]    make a matrix with 2 rows: "L" and S*W
    z          transpose the matrix, obtaining rows of [L_i S*W_i]
    ::-_       convert to array of L_i-S*W_i and duplicate
    :e<        get the smallest element
    #          find its index in the unsorted array,
               i.e. the "i" with the largest S*W_i-L_i
    _2$=)t     increment L_i
p              print the result nicely

Ноты:

  • Сложность составляет около O (S * N), поэтому она становится очень медленной для больших S
  • В CJam крайне не хватает арифметических операторов для двух массивов, что я планирую реализовать позже

Другая идея - 46

q~:Sf*_:m[_:+S\-@[1f%_,,]z{0=W*}$<{1=_2$=)t}/p

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

Это гораздо проще и эффективнее, но, увы, немного дольше. Идея здесь состоит в том, чтобы начать с L_i = floor (S * W_i), определить разницу (скажем, D) между S и их суммой, найти индексы D с наибольшей дробной частью S * W_i (путем сортировки и получения вершины D) и увеличить L_i для этих индексов. Сложность O (N * log (N)).

уйти, потому что SE это зло
источник
Теперь есть O (N) :e<.
jimmy23013
@ user23013 о, да, за первую программу, спасибо
aditsu ушел, потому что SE - ЗЛО
Это было быстро! Поздравляю 🌟
Глебм
Для тех, кому интересно, замена сортировки алгоритмом линейного выбора времени даст O (n) вместо фактического O (nlogn), вызванного сортировкой: найдите D-й по величине элемент, P, в O (N), затем увеличьте элементы, которые ≥PD раз (O (N), поскольку D <= N).
Глеб
@glebm это круто, но я думаю, что есть проблема, если несколько элементов имеют одинаковое значение (P). Возможно, вы сможете решить ее за 2 прохода: сначала увеличьте и посчитайте элементы> P, затем вы знаете, сколько элементов = P необходимо. Или, если вы можете получить эту информацию из алгоритма выбора, даже лучше.
Адицу ушел, потому что SE злой
3

JavaScript (ES6) 126 130 104 115 156 162 194

После всех комментариев и тестовых случаев в ответе @ CarpetPython вернемся к моему первому алгоритму. Увы, умное решение не работает. Реализация немного сокращена, она все еще пробует все возможные решения, вычисляет квадрат расстояния и соблюдает минимум.

Редактировать Для каждого выходного элемента веса w «все» возможные значения: 2: trunc (w * s) и trunc (w * s) +1, поэтому есть только (2 ** elements) возможных решений, которые можно попробовать.

Q=(s,w)=>
  (n=>{
    for(i=0;
        r=q=s,(y=i++)<1<<w.length;
        q|r>n||(n=r,o=t))
      t=w.map(w=>(f=w*s,q-=d=0|f+(y&1),y/=2,f-=d,r+=f*f,d));
  })()||o

Тест в консоли Firefox / FireBug

;[[ 1,  [0.4, 0.3, 0.3]      ]
, [ 3,  [0, 1, 0]            ]
, [ 4,  [0.3, 0.4, 0.3]      ]
, [ 5,  [0.3, 0.4, 0.3]      ]
, [ 21, [0.3, 0.2, 0.5]      ]
, [ 5,  [0.1, 0.2, 0.3, 0.4] ]
, [ 4,  [0.11, 0.3, 0.59]    ]
, [ 10, [0.47, 0.47, 0.06]   ]
, [ 10, [0.43, 0.43, 0.14]   ]
, [ 11, [0.43, 0.43, 0.14]   ]]
.forEach(v=>console.log(v[0],v[1],Q(v[0],v[1])))

Вывод

1 [0.4, 0.3, 0.3] [1, 0, 0]
3 [0, 1, 0] [0, 3, 0]
4 [0.3, 0.4, 0.3] [1, 2, 1]
5 [0.3, 0.4, 0.3] [1, 2, 2]
21 [0.3, 0.2, 0.5] [6, 4, 11]
5 [0.1, 0.2, 0.3, 0.4] [0, 1, 2, 2]
4 [0.11, 0.3, 0.59] [1, 1, 2]
10 [0.47, 0.47, 0.06] [5, 5, 0]
10 [0.43, 0.43, 0.14] [4, 4, 2]
11 [0.43, 0.43, 0.14] [5, 5, 1]

Это более разумное решение. Один проход массива весов.
Для каждого прохода я нахожу текущее максимальное значение в w. Я меняю это значение на месте с помощью взвешенного целого значения (округляется в большую сторону), поэтому, если s == 21 и w = 0,4, мы получили 0,5 * 21 -> 10,5 -> 11. Я сохраняю это значение как отрицательное, поэтому оно не может быть найден как Макс в следующем цикле. Затем я уменьшаю общую сумму соответственно (s = s-11), а также уменьшаю общее количество весов в переменной f.
Цикл заканчивается, когда не найдено максимальное значение, превышающее 0 (все значения! = 0 были обработаны).
Наконец я возвращаю значения, измененные на положительные снова. Предупреждение: этот код изменяет массив весов на месте, поэтому его нужно вызывать с копией исходного массива

F=(s,w)=>
 (f=>{
  for(;j=w.indexOf(z=Math.max(...w)),z>0;f-=z)
    s+=w[j]=-Math.ceil(z*s/f);
 })(1)||w.map(x=>0-x)

Моя первая попытка

Не очень разумное решение. Для каждого возможного результата он оценивает разницу и сохраняет минимум.

F=(s,w,t=w.map(_=>0),n=NaN)=>
  (p=>{
    for(;p<w.length;)
      ++t[p]>s?t[p++]=0
      :t.map(b=>r+=b,r=p=0)&&r-s||
        t.map((b,i)=>r+=(z=s*w[i]-b)*z)&&r>n||(n=r,o=[...t])
  })(0)||o

Ungolfed И объяснил

F=(s, w) =>
{
  var t=w.map(_ => 0), // 0 filled array, same size as w
      n=NaN, // initial minumum NaN, as "NaN > value"  is false for any value
      p, r
  // For loop enumerating from [1,0,0,...0] to [s,s,s...s]
  for(p=0; p<w.length;)
  {
    ++t[p]; // increment current cell
    if (t[p] > s)
    {
      // overflow, restart at 0 and point to next cell
      t[p] = 0;
      ++p;
    }
    else
    {
      // increment ok, current cell is the firts one
      p = 0;
      r = 0;
      t.map(b => r += b) // evaluate the cells sum (must be s)
      if (r==s)
      {
        // if sum of cells is s
        // evaluate the total squared distance (always offset by s, that does not matter)
        t.map((b,i) => r += (z=s*w[i]-b)*z) 
        if (!(r > n))
        {
          // if less than current mininum, keep this result
          n=r
          o=[...t] // copy of t goes in o
        }
      }
    }
  }
  return o
}
edc65
источник
2

CJam, 48 байтов

Прямое решение проблемы.

q~:Sf*:L,S),a*{m*{(+}%}*{1bS=},{L]z::-Yf#:+}$0=p

Ввод идет как

[0.3 0.4 0.3] 4

Объяснение:

q~:S                                 "Read and parse the input, store sum in S";
    f*:L                             "Do S.W, store the dot product in L";
         S),                         "Get array of 0 to S";
        ,   a*                       "Create an array with N copies of the above array";
              {m*{(+}%}*             "Get all possible N length combinations of 0 to S ints";
                        {1bS=},      "Filter to get only those which sum up to S";
{L]z::-Yf#:+}$                       "Sort them based on (S.W_i - L_i)^2 value";
 L                                   "Put the dot product after the sum combination";
  ]z                                 "Wrap in an array and transpose";
    ::-                              "For each row, get difference, i.e. S.W_i - L_i";
       Yf#                           "Square every element";
          :+                         "Take sum";
              0=p                    "After sorting on sum((S.W_i - L_i)^2), take the";
                                     "first element, i.e. smallest sum and print it";

Попробуйте онлайн здесь

оптимизатор
источник
2

Pyth: 40 байт

Mhosm^-*Ghded2C,HNfqsTGmms+*G@Hb}bklHyUH

Это определяет функцию gс 2 параметрами. Вы можете назвать это как Mhosm^-*Ghded2C,HNfqsTGmms+*G@Hb}bklHyUHg5 [0.1 0.2 0.3 0.4.

Попробуйте онлайн: Pyth Compiler / Executor

Объяснение:

mms+*G@Hb}bklHyUH     (G is S, H is the list of weights)
m             yUH    map each subset k of [0, 1, ..., len(H)-1] to:
 m          lH          map each element b of [0, 1, ..., len(H)-1] to: 
    *G@Hb                  G*H[b]
   +     }bk               + b in k
  s                       floor(_)

Это создает все возможные решения L, где L[i] = floor(S*W[i])или L[i] = floor(S*W[i]+1). Например, ввод 4 [0.3 0.4 0.3создает [[1, 1, 1], [2, 1, 1], [1, 2, 1], [1, 1, 2], [2, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 2]].

fqsTG...  
f    ... only use the solutions, where
 qsTG       sum(solution) == G

Только [[2, 1, 1], [1, 2, 1], [1, 1, 2]]остаться.

Mhosm^-*Ghded2C,HN
  o                  order the solutions by
   s                   the sum of 
    m         C,HN       map each element d of zip(H, solution) to
     ^-*Ghded2           (G*d[0] - d[1])^2
 h                   use the first element (minimum)
M                    define a function g(G,H): return _
Jakube
источник
2

Mathematica 108

s_~f~w_:=Sort[{Tr[(s*w-#)^2],#}&/@ 
Flatten[Permutations/@IntegerPartitions[s,{Length@w},0~Range~s],1]][[1,2]]

f[3, {0, 1, 0}]
f[4, {0.3, 0.4, 0.3}]
f[5, {0.3, 0.4, 0.3}]
f[21, {0.3, 0.2, 0.5}]
f[5, {0.1, 0.2, 0.3, 0.4}]

{0, 3, 0}
{1, 2, 1}
{1, 2, 2}
{6, 4, 11}
{0, 1, 2, 2}


объяснение

Ungolfed

f[s_,w_]:=
Module[{partitions},
partitions=Flatten[Permutations/@IntegerPartitions[s,{Length[w]},Range[0,s]],1];
Sort[{Tr[(s *w-#)^2],#}&/@partitions][[1,2]]]

IntegerPartitions[s,{Length@w},0~Range~s]возвращает все целые разбиения s, используя элементы , взятые из набора {0, 1, 2, ...s}с ограничением , что выходной сигнал должен содержать такое же количество элементов , как в наборе весов, w.

Permutations дает все упорядоченные расположения каждого целочисленного раздела.

{Tr[(s *w-#)^2],#}возвращает список упорядоченных пар {error, permutation} для каждой перестановки.

Sort[...] сортирует список {{error1, permutation1},{error2, permutation2}...according to the size of the error.

[[1,2]]]или Part[<list>,{1,2}]возвращает второй элемент первого элемента в отсортированном списке {{error, permutation}...}. Другими словами, он возвращает перестановку с наименьшей ошибкой.

DavidC
источник
2

R 85 80 76

Использует метод Hare Quota.

Удалена пара после просмотра спецификации, которую W составит 1

function(a,b){s=floor(d<-b*a);s[o]=s[o<-rev(order(d%%1))[0:(a-sum(s))]]+1;s}

Тестовый забег

> (function(a,b){s=floor(d<-b/(sum(b)/a));s[o]=s[o<-rev(order(d%%1))[0:(a-sum(s))]]+1;s})(3,c(0,1,0))
[1] 0 3 0
> (function(a,b){s=floor(d<-b/(sum(b)/a));s[o]=s[o<-rev(order(d%%1))[0:(a-sum(s))]]+1;s})(1,c(0.4,0.3,0.3))
[1] 1 0 0
> (function(a,b){s=floor(d<-b/(sum(b)/a));s[o]=s[o<-rev(order(d%%1))[0:(a-sum(s))]]+1;s})(4,c(0.3, 0.4, 0.3))
[1] 1 2 1
> (function(a,b){s=floor(d<-b/(sum(b)/a));s[o]=s[o<-rev(order(d%%1))[0:(a-sum(s))]]+1;s})(5,c(0.3, 0.4, 0.3))
[1] 1 2 2
> (function(a,b){s=floor(d<-b/(sum(b)/a));s[o]=s[o<-rev(order(d%%1))[0:(a-sum(s))]]+1;s})(21,c(0.3, 0.2, 0.5))
[1]  6  4 11
> (function(a,b){s=floor(d<-b/(sum(b)/a));s[o]=s[o<-rev(order(d%%1))[0:(a-sum(s))]]+1;s})(5,c(0.1,0.2,0.3,0.4))
[1] 1 1 1 2
>
MickyT
источник
2

Python, 139 128 117 байт

def f(S,W):
 L=(S+1,0,[]),
 for n in W:L=[(x-i,y+(S*n-i)**2,z+[i])for x,y,z in L for i in range(x)]
 return min(L)[2]

Предыдущий раствор itertools, 139 байт

from itertools import*
f=lambda S,W:min((sum(x)!=S,sum((S*a-b)**2for a,b in zip(W,x)),list(x))for x in product(*tee(range(S+1),len(W))))[2]
Sp3000
источник
Мне было интересно, возможно ли решение itertools. Хорошая работа +1. Правильно ли я считаю, что это имеет O (n ^ 4) временную сложность?
Логика Найт
Решение Itertools было на O(S^len(W))самом деле: P. Новое решение намного быстрее, но все еще медленное
Sp3000
2

Октава 87 76

Golfed:

function r=w(s,w)r=0*w;for(i=1:s)[m,x]=max(s*w-r);r(x)+=1;endfor endfunction

Ungolfed:

function r=w(s,w)
  r=0*w;   # will be the output
  for(i=1:s)
    [m,x]=max(s*w-r);
    r(x)+=1;
  endfor
endfunction

(Взорвано «endfor» и «endfunction»! Я никогда не выиграю, но мне нравится играть в гольф с «настоящим» языком.)

dcsohl
источник
Хороший алгоритм. Вы можете заменить zeros(size(w))на 0*w.
алефальфа
Ницца! Почему я не подумал об этом?
dcsohl
1

T-SQL, 167 265

Потому что мне нравится пробовать и решать эти задачи в запросе.

Превратил это в встроенную функцию, чтобы лучше соответствовать спецификации и создал тип для данных таблицы. Это стоило немного, но это никогда не будет претендентом. Каждое утверждение должно выполняться отдельно.

CREATE TYPE T AS TABLE(A INT IDENTITY, W NUMERIC(9,8))
CREATE FUNCTION W(@ int,@T T READONLY)RETURNS TABLE RETURN SELECT CASE WHEN i<=@-SUM(g)OVER(ORDER BY(SELECT\))THEN g+1 ELSE g END R,A FROM(SELECT A,ROW_NUMBER()OVER(ORDER BY (W*@)%1 DESC)i,FLOOR(W*@)g FROM @T)a

В использовании

DECLARE @ INT = 21
DECLARE @T T
INSERT INTO @T(W)VALUES(0.3),(0.2),(0.5)
SELECT R FROM dbo.W(@,@T) ORDER BY A

R
---------------------------------------
6
4
11
MickyT
источник