Czekoladowe Liczby


17

Biorąc pod uwagę mprzez nczekolady, m,npozytywny, wyjście na wiele sposobów przełamania pasek do mn1 za 1 szt, w których występuje każda przerwa na linii siatki.

Porządek jest ważny. Kawałki są również rozróżnialne, więc dwa kawałki na obu końcach tabliczki czekolady 1 na 3 nie są równoważne.

Na przykład dla bloku 2 na 2 mamy:

 _ _            _   _            _   _            _   _
|_‖_|    ->    |‗| |_|    ->    |_| |‗|    ->    |_| |_|
|_‖_|          |_| |_|           _  |_|           _   _
                                |_|              |_| |_|


 _ _            _   _            _   _            _   _
|_‖_|    ->    |_| |‗|    ->    |‗| |_|    ->    |_| |_|
|_‖_|          |_| |_|          |_|  _            _   _
                                    |_|          |_| |_|


 _ _            _ _              _   _            _   _
|‗|‗|    ->    |_‖_|      ->    |_| |_|    ->    |_| |_|
|_|_|           _ _               _ _             _   _
               |_|_|             |_‖_|           |_| |_|


 _ _            _ _               _ _             _   _
|‗|‗|    ->    |_|_|      ->     |_‖_|    ->     |_| |_|
|_|_|           _ _              _   _            _   _
               |_‖_|            |_| |_|          |_| |_|

Dlatego istnieją 4 sposoby na rozbicie tabliczki czekolady 2 na 2.

Zasady

  • Wejściami będą dwie liczby całkowite poprzez funkcję input, STDIN, wiersz poleceń lub podobny. Podaj jedną liczbę, liczbę sposobów na rozbicie tabliczki czekolady.

  • Ponieważ liczby rosną dość szybko, nie martw się, jeśli wynik przekroczy limity liczb całkowitych twojego języka - przesłanie będzie ważne, dopóki algorytm teoretycznie działa dla wszystkich możliwych danych wejściowych.

Przypadki testowe

Dane wyjściowe nie zależą od kolejności m,n, więc przypadki testowe są wymienione tak, że m <= n.

1 1 -> 1
1 2 -> 1
1 3 -> 2
1 4 -> 6
1 5 -> 24
1 10 -> 362880

2 2 -> 4
2 3 -> 56
2 4 -> 1712
2 5 -> 92800
2 10 -> 11106033743298560

3 3 -> 9408
3 4 -> 4948992
3 5 -> 6085088256
3 10 -> 76209753666310470268511846400

4 4 -> 63352393728

A261964 to liczby czekoladowe ułożone w trójkąt, tak aby każdy rząd odpowiadał sumie m+n.

Odpowiedzi:


7

Mathematica, 85 bajtów

f=If[##==1,1,Tr[Sum[Binomial[1##-2,i#-1]f[i,#]f[#2-i,#],{i,#2-1}]&@@@{{##},{#2,#}}]]&

Przypadek testowy

f[4,4]
(* 63352393728 *)

3

Python 3, 168 , 156 , 147 bajtów

Wprowadzono ulepszenia dzięki czatowi

f=lambda n:n<1or n*f(n-1);a=lambda m,n,c=lambda m,n:sum(f(m*n-2)/f(i*n-1)/f((m-i)*n-1)*a(i,n)*a(m-i,n)for i in range(1,m)):+(m+n<4)or c(m,n)+c(n,m)

Nie golfowany:

f=lambda n:n<1or n*f(n-1) # Factorial
def a(m, n):
    if m+n < 4:
        return 1
    first = 0
    for i in range(1,m):
        first += f(m*n-2) * 1/f(i*n-1) * 1/f((m-i)*n-1) * a(i,n) * a(m-i,n)
    second = 0
    for i in range(1,n):
        second += f(m*n-2) * 1/f(i*m-1) * 1/f((n-i)*m-1) * a(i,m) * a(n-i,m)
    return first + second

Algorytm został oparty na tym artykule .

Prawdopodobnie mógłbym to jeszcze bardziej ograniczyć, po prostu nie jestem pewien, gdzie


3

R, 208 198 bajtów

f=function(m,n){g=function(i,j){a=0;if(j>1)for(x in 2:j-1)a=a+choose(j*i-2,x*i-1)*M[x,i]*M[j-x,i];a};s=max(m,n);M=matrix(1,s,s);for(i in 1:s)for(j in 1:s)if(i*j>2)M[i,j]=M[j,i]=g(i,j)+g(j,i);M[m,n]}

Wcięte, z nowymi liniami:

f = function(m,n){
    g=function(i,j){
        a = 0
        if(j>1) for(x in 2:j-1) a = a + choose(j*i-2,x*i-1) * M[x,i] * M[j-x,i]
        a
    }
    s = max(m,n)
    M = matrix(1,s,s)
    for(i in 1:s) for(j in 1:s) if(i*j>2) M[i,j] = M[j,i] = g(i,j) + g(j,i)
    M[m,n]
}

Stosowanie:

> f(3,1)
[1] 2
> f(3,2)
[1] 56
> f(3,3)
[1] 9408
> f(4,3)
[1] 4948992
> f(5,3)
[1] 6085088256

Teoretycznie można napisać krótszą rekurencyjną wersję ok. 160 bajtów, ale szybko osiąga domyślny limit rekurencji i domyślny rozmiar stosu ochrony, a modyfikacja tych wartości domyślnych (odpowiednio za pomocą options(expressions=...)i argumentu --max-ppsize=) spowoduje, że kod będzie dłuższy niż ten.
plannapus

Możesz zapisać dwa bajty, pomijając f=.
Alex A.

2

Python 2, 135 bajtów

C=lambda A:sum(C(A[:i]+A[i+1:]+[(c,H),(W-c,H)])for i,Q in enumerate(A)for W,H in(Q,Q[::-1])for c in range(1,W))or 1
print C([input()])

Oto co wymyśliłem. Jest naprawdę wolny, ale tutaj jest szybsza wersja (wymaga repoze.lru ):

from repoze.lru import lru_cache
C=lru_cache(maxsize=9999)(lambda A:sum(C(tuple(sorted(A[:i]+A[i+1:]+((c,H),(W-c,H)))))for i,Q in enumerate(A)for W,H in(Q,Q[::-1])for c in range(1,W))or 1)
print C((input(),))

Przykłady

$ time python2 chocolate.py <<< 2,5
92800

real    0m2.954s
user    0m0.000s
sys     0m0.015s

$ time python2 chocolate-fast.py <<< 3,5
6085088256

real    0m0.106s
user    0m0.000s
sys     0m0.015s

Wyjaśnienie

Kod definiuje funkcję, Cktóra pobiera tablicę elementów. Algorytm jest taki:

  1. for i,Q in enumerate(A): pętla w szeregu elementów.
  2. for W,H in(Q,Q[::-1]): obliczyć dwa razy, obracając o 90 stopni.
  3. for c in range(1,W): pętla przez możliwe pozycje do podziału na.
  4. A[:i]+A[i+1:]+[(c,H),(W-c,H)]: uzyskaj listę bez podzielonego elementu i dwóch nowych elementów.
  5. C(…): ponownie wywołaj funkcję na tej liście.
  6. sum(…): zsumuj wyniki dla każdego możliwego podziału.
  7. or 1: jeśli podział nie jest możliwy, istnieje dokładnie jeden sposób na podzielenie czekolady.

Na koniec kod jest wywoływany z tablicą zawierającą dane wejściowe.


1

ES6, 141 bajtów

c=(m,n)=>(f=n=>n<2||n*f(n-1),h=(m,n)=>[...Array(m-1)].reduce((t,_,i)=>t+f(m*n-2)/f(++i*n-1)/f((m-i)*n-1)*c(i,n)*c(m-i,n),0),h(m,n)+h(n,m))||1

Na podstawie wzoru znalezionego przez @CameronAavik. Nie golfowany:

function fact(n) {
    return n < 2 ? 1 : n * f(n - 1);
}
function half(m, n) {
    total = 0;
    for (i = 1; i < m; i++)
        total += fact(m * n - 2) / fact(i * n - 1) / fact((m - i) * n - 1) * choc(i, n) * choc(m - i, n)
    return total;
}
function choc(m, n) {
    total = half(m, n) + half(n, m);
    if (!total) total = 1;
    return total;
}
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.