Комбинаторика транзистора

20

В видеоигре Transistor есть очень интересная система способностей. Вы собираете 16 «функций», которые вы можете использовать в 16 различных слотах. Что интересно, есть 3 типа слотов, и каждая функция ведет себя по-разному, в зависимости от того, в каком слоте вы ее используете:

  • Есть 4 пассивных слота .
  • Есть 4 активных слота .
  • Каждый активный слот имеет 2 слота обновления .

Мы хотим выяснить, сколько разных навыков дает нам.

Однако некоторые комбинации эквивалентны. В частности, в каждой из этих групп слотов конкретное положение функции не имеет значения. С другой стороны, действие функции в Upgrade Slot делает зависеть от конкретной функции , используемой в родительском активном интервале.

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

Passive Slots:    0     1     2     3
Active Slots:     4     5     6     7
Upgrade Slots:   8 9   A B   C D   E F

Passive Slots:    2     0     1     3    # Permutation of passive slots.
Active Slots:     4     5     6     7
Upgrade Slots:   8 9   A B   C D   E F

Passive Slots:    0     1     2     3
Active Slots:     5     6     4     7    # Permutation of active slots together
Upgrade Slots:   A B   C D   8 9   E F   # with their upgrade slots.

Passive Slots:    0     1     2     3
Active Slots:     4     5     6     7
Upgrade Slots:   8 9   B A   C D   F E   # Permutation within upgrade slots.

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

С другой стороны, следующие комбинации отличаются от вышеуказанного набора:

Passive Slots:    4     5     6     7    # Passive slots swapped
Active Slots:     0     1     2     3    # with active slots.
Upgrade Slots:   8 9   A B   C D   E F

Passive Slots:    0     1     2     3
Active Slots:     5     4     6     7    # Permutation of active slots without
Upgrade Slots:   8 9   A B   C D   E F   # changing upgrade slots.

Passive Slots:    0     1     2     3
Active Slots:     4     5     6     7
Upgrade Slots:   8 A   9 B   C D   E F   # Permutation between different upgrade slots.

По моим подсчетам, это дает 2 270 268 000 возможных (функционально различных) комбинаций, при условии, что используются все функции.

Если в вашем распоряжении менее 16 функций, некоторые слоты останутся пустыми. Тем не менее, обратите внимание, что вы не можете разместить функцию в слоте обновления, если родительский активный слот пуст.

Соревнование

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

Напишите программу или функцию, которая с учетом двух положительных целых чисел M ≥ 1и 1 ≤ N ≤ 4Mопределяет количество возможных (функционально отличных) наборов навыков, предполагая, что Nдля заполнения максимально возможного числа Mпассивных, Mактивных и 2Mповышающих слотов используются абсолютно разные функции .

Вы можете написать программу или функцию, принимая ввод через STDIN (или ближайшую альтернативу), аргумент командной строки или аргумент функции и выводя результат через STDOUT (или ближайшую альтернативу), возвращаемое значение функции или параметр функции (out).

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

Это код гольф, самый короткий ответ (в байтах) выигрывает.

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

Каждый тестовый пример находится в форме M N => Result.

1 1 => 2
1 2 => 4
1 3 => 9
1 4 => 12
2 1 => 2
2 2 => 6
2 3 => 21
2 4 => 78
2 5 => 270
2 6 => 810
2 7 => 1890
2 8 => 2520
3 1 => 2
3 2 => 6
3 3 => 23
3 4 => 98
3 5 => 460
3 6 => 2210
3 7 => 10290
3 8 => 44520
3 9 => 168840
3 10 => 529200
3 11 => 1247400
3 12 => 1663200
4 1 => 2
4 2 => 6
4 3 => 23
4 4 => 100
4 5 => 490
4 6 => 2630
4 7 => 14875
4 8 => 86030
4 9 => 490140
4 10 => 2652300
4 11 => 13236300
4 12 => 59043600
4 13 => 227026800
4 14 => 718918200
4 15 => 1702701000
4 16 => 2270268000
5 1 => 2
5 2 => 6
5 3 => 23
5 4 => 100
5 5 => 492
5 6 => 2672
5 7 => 15694
5 8 => 98406
5 9 => 644868
5 10 => 4306932
5 11 => 28544670
5 12 => 182702520
5 13 => 1101620520
5 14 => 6122156040
5 15 => 30739428720
5 16 => 136670133600
5 17 => 524885961600
5 18 => 1667284819200
5 19 => 3959801445600
5 20 => 5279735260800
6 1 => 2
6 2 => 6
6 3 => 23
6 4 => 100
6 5 => 492
6 6 => 2674
6 7 => 15750
6 8 => 99862
6 9 => 674016
6 10 => 4787412
6 11 => 35304654
6 12 => 265314588
6 13 => 1989295308
6 14 => 14559228684
6 15 => 101830348620
6 16 => 667943115840
6 17 => 4042651092480
6 18 => 22264427465280
6 19 => 110258471363040
6 20 => 484855688116800
6 21 => 1854067032417600
6 22 => 5894824418683200
6 23 => 14025616720315200
6 24 => 18700822293753600
7 1 => 2
7 2 => 6
7 3 => 23
7 4 => 100
7 5 => 492
7 6 => 2674
7 7 => 15752
7 8 => 99934
7 9 => 676428
7 10 => 4849212
7 11 => 36601554
7 12 => 288486132
7 13 => 2349550632
7 14 => 19504692636
7 15 => 162272450340
7 16 => 1328431104000
7 17 => 10507447510560
7 18 => 78942848624640
7 19 => 554967220167360
7 20 => 3604592589998400
7 21 => 21411337810262400
7 22 => 115428212139240000
7 23 => 561247297649438400
7 24 => 2439121536313862400
7 25 => 9283622495827680000
7 26 => 29520583763711040000
7 27 => 70328449554723360000
7 28 => 93771266072964480000
8 1 => 2
8 2 => 6
8 3 => 23
8 4 => 100
8 5 => 492
8 6 => 2674
8 7 => 15752
8 8 => 99936
8 9 => 676518
8 10 => 4852992
8 11 => 36722169
8 12 => 291621462
8 13 => 2418755196
8 14 => 20834571186
8 15 => 184894557705
8 16 => 1672561326150
8 17 => 15217247948760
8 18 => 137122338089880
8 19 => 1204392465876600
8 20 => 10153538495100000
8 21 => 81007229522419200
8 22 => 604136189949692400
8 23 => 4168645459350372000
8 24 => 26403795950145213600
8 25 => 152700324078982680000
8 26 => 803784718213396920000
8 27 => 3838761204861983400000
8 28 => 16503742828841748480000
8 29 => 62545434470667308160000
8 30 => 198853691115980300400000
8 31 => 474189571122722254800000
8 32 => 632252761496963006400000

Это все входы, которые ваш код должен обрабатывать в течение одной минуты (каждый), но в принципе он должен работать для больших входов. Вы можете использовать некоторые из следующих M = 10тестовых случаев, чтобы проверить это:

10 1 => 2
10 2 => 6
10 3 => 23
10 4 => 100
10 5 => 492
10 6 => 2674
10 7 => 15752
10 8 => 99936
10 9 => 676520
10 10 => 4853104
10 11 => 36727966
10 12 => 291849866
10 13 => 2426074222
10 14 => 21033972388
10 15 => 189645995396
10 16 => 1773525588406
10 17 => 17155884420532
10 18 => 171073929494468
10 19 => 1750412561088334
10 20 => 18258387148774916
10 21 => 192475976310317700
10 22 => 2028834600633220380
10 23 => 21127206177119902860
10 24 => 214639961631544809360
10 25 => 2101478398293813739200
10 26 => 19602967930531817832000
10 27 => 172444768103233181556000
10 28 => 1417975382888905296456000
10 29 => 10820259026484304813416000
10 30 => 76213534343700480310584000
10 31 => 493916052421168703366040000
10 32 => 2941900199368102067135040000
10 33 => 16113144277547868007416960000
10 34 => 81222252655277786422930560000
10 35 => 376309102059179385262246080000
10 36 => 1589579966324953534441910400000
10 37 => 5981477408861097281112374400000
10 38 => 19005991357166148698688124800000
10 39 => 45381652832417130566255318400000
10 40 => 60508870443222840755007091200000
Мартин Эндер
источник
Обязательно ли заполнять как можно больше слотов?
feersum
7
Полагаю, мне лучше подождать, turn()пока я help()не get()load()ping()void()spark()crash()
получу
@feersum Да, все Nфункции используются.
Мартин Эндер,

Ответы:

18

CJam (56 байт)

q~4@:Nm*:$_&{:+1$\-N),&},f{1$1$:+-\0-:(_e`0f=+++:m!:/}:+

Онлайн демо

NNКmnMN в объяснении, чтобы избежать дальнейшей путаницы.

Икс0ИксMN-ИксN!Икс!(N-Икс)!N-ИксM3

λ0,λ1,...,λКλ0λ1(N-Икс)!λ0!λ1!,,,λК!λязнак равноλJμя3 2 2 1μ3знак равно1μ2знак равно2μ1знак равно1λяλя

Таким образом, для каждого раздела количество распределений функций

N!Икс!(λ0-1)!...(λК-1)!μ1!μ2!μ3!

Приведенный выше код вычисляет разделы, используя тот же подход, что и Деннис (это очевидно и коротко, хотя и не очень масштабируемо), а затем обрабатывает каждый раздел в массив, аналогичный тому, [N X λ_0-1 ... λ_k-1 μ_1 μ_2 μ_3]над которым он может поднять факториальную функцию, а затем сложить деление.

Питер Тейлор
источник
9

CJam, 74 67 байт

q~4@:Mm*:$L|{:+W$\-M),&},f{0-:F1@@{_m!\I-:Nm!/I(m!/*N}fI;Fm!Fe=/}:+

Я проверил все тестовые случаи на моем настольном компьютере, используя интерпретатор Java . Это заняло 2,2 секунды для 1 ≤ M ≤ 8 и 3,5 минуты для M = 10 .

Попробуйте эту скрипку в интерпретаторе CJam или проверьте первые 84 тестовых случая сразу .

идея

В принципе, мы можем заполнить каждый активный слот и соответствующие ему слоты обновления функциями 0 , 1 , 2 или 3 . Всего для 4M слотов мы берем все векторы V из {0, 1, 2, 3} M и отфильтровываем те, для которых сумма (V)> N (больше функций в непассивных слотах, чем доступно всего функций) или сумма ( V) + M <N (недостаточно пассивных слотов для неактивных функций). Мы сортируем и дедуплицируем все сохраненные векторы, поскольку порядок семейств слотов в нем не важен.

С N функциями и функциями V = (x 1 ,…, x M ) в непассивных частях семейств слотов мы вычисляем количество комбинаций следующим образом:

  1. Если x 1 = 0 , существует только одна возможность для этого семейства слотов.

    Если x 1 = 1 , есть N возможностей, так как у нас есть N функций, и функция должна идти в активный слот.

    Если x 1 = 2 , мы должны поместить одну функцию в активный слот, а другую - в слот обновления (не важно, какая). Существует N вариантов для активного слота и N-1 оставшихся вариантов для слота обновления, что дает в общей сложности N (N-1) комбинаций.

    Если x 1 = 3 , есть N вариантов для активного слота, N - 1 оставшихся вариантов для первого слота обновления и N - 2 для второго слота обновления. Поскольку слоты обновления не имеют порядка, каждая комбинация учитывается дважды, поэтому существует N (N - 1) (N - 2) уникальных комбинаций.

    В любом случае, есть N! / ((N - x 1 )! × (x 1 - 1)! Комбинаций для этого семейства.

  2. Мы использовали функции x 1 , поэтому установите N: = N - x 1 и повторите шаг 1 для x 2 , затем x 3 и т. Д.

  3. Если V содержит дубликаты, произведение приведенных выше результатов будет подсчитывать все комбинации несколько раз. Для каждого уникального элемента V , если это происходит r раз в V , существует r! эквивалентные способы расположить эти семейства слотов, поэтому результат сверху должен быть разделен на r! ,

  4. Конечный результат количество уникальных комбинаций для этого V .

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

Код

q~        e# Read an evaluate all input from STDIN. Pushes M and N.
4@:M      e# Push 4, rotate the M, and formally save it in M.
m*        e# Push {0, 1, 2, 3}^M.
:$        e# Sort each vector.
L|        e# Perform set union with the empty list (deduplicates).
{         e# For each sorted vector:
  :+      e#   Compute the sum of its coordinates.
  W$\-    e#   Subtract the sum from N (bottom of the stack).
  M),&    e#   Push [0 ... M] and intersect.
},        e# If the intersection was not empty, keep the vector.
f{        e# For each kept vector, push N and V; then:
  0-:F    e#   Save the non-zero elements of V in F.
  1@@     e#   Push 1 (accumulator), and rotate N and F on top of it.
  {       e#   For each I in F:
    _m!   e#     Push I and push factorial(I).
    \I-:N e#     Subtract I from N and update N.
    m!/   e#     Divide factorial(N) (original N) by factorial(N) (updated N).
    I(m!/ e#     Divide the quotient by factorial(I - 1).
    *     e#    Multiply the accumulator by the resulting quotient.
    N     e#    Push N for the next iteration.
  }fI     e#
  ;       e#   Pop N.
  Fm!     e#   Push all non-unique permutations of F.
  Fe=     e#   Count the number of times F appears.
  /       e#   Divide the accumulator by the result.
}         e#
:+        e# Add all resulting quotients.
Деннис
источник