Pomóż mi z rachunkiem różniczkowym!

52

Uwielbiam programować i znam każdy język, ale jestem do kitu. Niestety, moja szkoła wymaga, aby uczniowie komputerowi mieli rok rachunku różniczkowego. W przyszłym tygodniu jest test i nie znam żadnych wzorów na pochodne!

Pomóż mi znaleźć formuły. Potrzebuję ściągawki - programu (tak krótkiego, jak to możliwe, aby mój nauczyciel tego nie zauważył), który przyjmuje wyrażenie (jak 4*x^3-2) jako dane wejściowe i wyprowadza pochodną. (Nie dbam o to, czy dane wejściowe i wyjściowe używają argumentów wiersza poleceń, STDIN, STDOUT lub cokolwiek innego, ponieważ i tak wykonuję wszystkie obliczenia w mojej głowie.)

Test obejmuje następujące typy funkcji:

  • Stałe, takie jak -3lub8.5
  • Funkcje zasilania, takie jak x^0.5lubx^-7
  • Funkcje wykładnicze, takie jak 0.5^xlub 7^x(podstawa jest zawsze dodatnia)
  • Stała pomnożona przez funkcję, taką jak 3*x^5lub-0.1*0.3^x
  • Suma i różnica wielu funkcji, takich jak -5*x^2+10-3^x

Mój nauczyciel zawsze formatuje swoje pytania w dokładnie taki sam sposób, jak pokazano powyżej. Nie używa również ułamków, liczb takich jak pi lub e , ani naprawdę dużych liczb (większych niż 1000). Nigdy nie używa nawiasów i zawsze pokazuje mnożenie za pomocą gwiazdki ( *). Jedyną używaną zmienną jest zawsze x .

Z drugiej strony mój nauczyciel jest dość pobłażliwy w kwestii odpowiedzi. Nie muszą być wcale uproszczone ani sformatowane dokładnie tak, jak pokazano powyżej, o ile jasne jest, co mówi odpowiedź.

Chociaż mogę używać dowolnego języka, pamiętaj, że nie jestem w stanie samodzielnie zrozumieć pochodnych. Więc jeśli program używa wbudowanych funkcji do radzenia sobie z równaniami lub obliczania pochodnych, nie będę w stanie ich użyć.

Podczas testu nie będę mieć dostępu do Internetu ani żadnych plików innych niż program na ściągawce.

Uwaga: ten scenariusz jest całkowicie fikcyjny. W prawdziwym życiu oszukiwanie i pomaganie innym w oszukiwaniu jest złe i nigdy nie powinno się tego robić.

Ypnypn
źródło
3
Czy możemy oczekiwać, że xzawsze będzie to zmienna, która będzie różnicować?
Kyle Kanos
2
Czy odpowiedź musi zostać uproszczona? Czy musimy dodać podobne warunki?
Rainbolt
1
Wydaje mi się, że nadszedł czas, aby mój projekt rachunku różniczkowego na scrblnrd3.github.io/Javascript-CAS zabłysnął, jeśli naprawdę mogę go
zagrać w
1
Czy powinniśmy założyć, że nie ma żadnych parenów?
Nie to, że Charles
2
Odpowiedziałem na większość tych pytań w mojej edycji . Nie ma notacji naukowej ani reguły produktu.
Ypnypn

Odpowiedzi:

8

Wolfram 136 134 109 [Podziękowania dla Calle za komentarz poniżej]

Ograniczone wsparcie dla reguł produktu i łańcucha.

n=n_?NumberQ;d[v_Plus]:=d/@v;d[v_]:=v/.{x_^n:>x^(n-1)d[x]n,n^x_:>Log[n]d[x]n^x,x_*y__:>d[x]y+d[y]x,n:>0,x:>1}

Przykład:

d[3^(x^2)*(x^3+2*x)^2]
>> 2*3^x^2*(2+3*x^2)*(2*x+x^3) + 2*3^x^2*x*(2*x+x^3)^2*Log[3]

Zauważ, że nie używa to żadnych „wbudowanych funkcji do radzenia sobie z równaniami lub obliczania pochodnych”: dotyczy tylko dopasowania wzorca *.

[* No cóż ... technicznie interpreter również analizuje i buduje swego rodzaju AST na podstawie danych wejściowych]


Nie golfowany:

d[expr_Plus] := d /@ expr;
d[expr_] := expr /. {
   Power[x_, n_?NumberQ] :> n Power[x, n - 1] d[x],
   Power[n_?NumberQ, x_] :> Log[n] Power[n, x] d[x],
   Times[x_, y__] :> d[x] y + d[y] x,
   n_?NumberQ :> 0,
   x :> 1
}
Saran
źródło
To jest kolejna wersja . Nie musisz pisać Power, Timesitp. IDK ile to poprawi twoją wersję golfa, ale masz przynajmniej jedną Times, abyś mógł def. zapisz niektóre postacie. Zauważ też, że w twojej wersji bez golfa jest napisane d[expr_]:= v/....
1
@Calle „IDK, ile poprawi twoją wersję gry w golfa” - 25 bajtów! Twoje zdrowie!
Saran
26

Perl - 121 122

(+2 za -p)

s/(?<![-\d.*^])-?[\d.]+(?![*^\d.])/0/g;s/(?<!\^)x(?!\^)/1/g;s/x\^(-?[\d.]+)/"$1*x^".($1-1)/ge;s/([\d.]+)\^x/ln($1)*$&/g

Test:

$ perl -p diff.pl << EOF
> -3
> 8.5
> x^0.5
> x^-7
> 0.5^x
> 7^x
> 3*x^5
> -0.1*0.3^x
> -5*x^2+10-3^x
> EOF
0
0
0.5*x^-0.5
-7*x^-8
ln(0.5)*0.5^x
ln(7)*7^x
3*5*x^4
-0.1*ln(0.3)*0.3^x
-5*2*x^1+0-ln(3)*3^x
mniip
źródło
To kolejny powód, dla którego muszę się uczyć wyrażenia regularnego ...
Kyle Kanos
3
@KyleKanos Don't. Regex jest zły, regex jest wspaniały.
mniip
Meh, pobij mnie do tego. Nie jest zły! (PS: regex jest piękny)
Martin Ender
8
Nie mam pojęcia o co tu chodzi. +1
qwr
4
Objaśnienie: Stała -> 0, x -> 1, x ^ n -> n * x ^ (n-1), a ^ x -> ln (a) * a ^ x
n̴̖̋h̷͉̃a̷̭̿h̸̡̅ẗ̵̨́d̷̰̀ĥ̷̳
7

Haskell 38 znaków

Funkcja dprzyjmuje funkcję i zwraca funkcję. Jest wprowadzany w postaci szeregu mocy i jest wyprowadzany w ten sam sposób (co jest rodzajem czegokolwiek).

d=zipWith(*)[1..].tail

Na przykład, jeśli wprowadzimy x->x^2, otrzymamy x->2*x.

λ <Prelude>: d [0,0,1]
[0,2]

I dla funkcji wykładniczej.

λ <Prelude>: take 10 exp --exp redefined above to be in power series notation
[1.0,1.0,0.5,0.16666666666666666,4.1666666666666664e-2,8.333333333333333e-3,1.388888888888889e-3,1.984126984126984e-4,2.48015873015873e-5,2.7557319223985893e-6]
λ <Prelude>: let d=zipWith(*)[1..].tail in take 10 $ d exp
[1.0,1.0,0.5,0.16666666666666666,4.1666666666666664e-2,8.333333333333333e-3,1.388888888888889e-3,1.984126984126984e-4,2.48015873015873e-5,2.7557319223985893e-6]
PyRulez
źródło
5
Ale OP nie zna matematyki! Czy możemy oczekiwać, że wyrazi swój wykładniczy wkład jako serię mocy?
Saran
Cóż, oczywiście zna notację. Po prostu nie wie, jak wykonać operację pochodną.
PyRulez
5
Czy to da sobie radę 2^x?
Kyle Kanos,
5
Co to za czary?
Christofer Ohlsson,
7
Nie widzę, gdzie „przyjmuje wyrażenie (jak 4*x^3-2) jako dane wejściowe”, jak wymaga OP.
Gabe
5

Prolog 176

d(N,0):-number(N).
d(x,1).
d(-L,-E):-d(L,E).
d(L+R,E+F):-d(L,E),d(R,F).
d(L-R,E-F):-d(L,E),d(R,F).
d(L*R,E*R+L*F):-d(L,E),d(R,F).
d(L^R,E*R*L^(R-1)+ln(L)*F*L^R):-d(L,E),d(R,F).

Obsługiwane operatory: binarne +, binarne -, binarne *, binarne ^, jednoargumentowe -. Pamiętaj, że jednoargumentowy +nie jest obsługiwany.

Przykładowy przebieg:

49 ?- d(-3,O).
O = 0.

50 ?- d(8.5,O).
O = 0.

51 ?- d(x^0.5,O).
O = 1*0.5*x^ (0.5-1)+ln(x)*0*x^0.5.

52 ?- d(x^-7,O).
ERROR: Syntax error: Operator expected
ERROR: d(x
ERROR: ** here **
ERROR: ^-7,O) . 
52 ?- d(x^ -7,O).
O = 1* -7*x^ (-7-1)+ln(x)*0*x^ -7.

53 ?- d(x,O).
O = 1.

54 ?- d(0.5^x,O).
O = 0*x*0.5^ (x-1)+ln(0.5)*1*0.5^x.

55 ?- d(7^x,O).
O = 0*x*7^ (x-1)+ln(7)*1*7^x.

56 ?- d(3*x^5,O).
O = 0*x^5+3* (1*5*x^ (5-1)+ln(x)*0*x^5).

57 ?- d(-0.1*0.3^x,O).
O = 0*0.3^x+ -0.1* (0*x*0.3^ (x-1)+ln(0.3)*1*0.3^x).

58 ?- d(-5*x^2+10-3^x,O).
O = 0*x^2+ -5* (1*2*x^ (2-1)+ln(x)*0*x^2)+0- (0*x*3^ (x-1)+ln(3)*1*3^x).

Prolog jest zdezorientowany, gdy biegnie w ^-sekwencji. Przestrzeń musi być włożona pomiędzy ^i -na to, aby poprawnie analizować wypowiedzi.

Mam nadzieję, że nauczycielowi nie przeszkadza bałagan równania.

Szalony czas:

59 ?- d(x^x,O).
O = 1*x*x^ (x-1)+ln(x)*1*x^x.

60 ?- d((x^2-x+1)*4^ -x,O).
O = (1*2*x^ (2-1)+ln(x)*0*x^2-1+0)*4^ -x+ (x^2-x+1)* (0* -x*4^ (-x-1)+ln(4)* - 1*4^ -x).
n̴̖̋h̷͉̃a̷̭̿h̸̡̅ẗ̵̨d̷̰̀ĥ̷̳
źródło
4

C 260

Hej, myślę, że znam twojego nauczyciela! Czy to nie ten, który ma nadprzyrodzoną zdolność do wykrywania uczniów wykonujących funkcje dopasowywania wzorców bibliotecznych w swojej głowie?

Tak więc używanie nie sscanfwchodzi w rachubę ... Ale nie martw się:

#define P s--||printf(
q=94,s,c,t,a;main(){char i[999],*p=i,*e=p;gets(i);for(;c=*p++,t=q^94|c^45?c%26==16?c%16/3:c/46:1,s=(a="30PCqspP#!C@ #cS` #!cpp#q"[s*5+t])/16-3,a&1&&(p[-1]=0),t||(P"*0"),P"/x"),P"/x*%s",e),P"*ln(%s)",e),s=0),a&2&&(e=p),c;putchar(q=c));}

Uruchamianie przykładów (wejście włączone stdin; wyjście idzie do stdout):

4 * x ^ 3-2

4*x^3/x*3-2*0

Ten format jest znacznie lepszy niż tylko 12*x^2, ponieważ w ten sposób nauczyciel może być pewien, że sam obliczyłeś odpowiedź i nie oszukiwał, kopiując ją od kogoś innego!

x + 2 ^ x

x/x+2^x*ln(2)

Dane wyjściowe mają niewielki problem z domeną x=0, ale są poprawne prawie wszędzie !

Dla porównania, tutaj jest wersja bez golfa, czytelna (dla zwykłych śmiertelników). Wykorzystuje maszynę stanów z 5 stanami i 5 kategoriami znaków wejściowych.

void deriv(char* input)
{
    char* p = input; // current position
    char* exp = p; // base or exponent
    char q = '^'; // previous character

    // State machine has 5 states; here are examples of input:
    // state 0: 123
    // state 1: 123*
    // state 2: 123*x
    // state 3: 123*x^456
    // state 4: 123^x
    int state = 0;

    // Control bits for state machine:
    // bit 0: special action: stop recording base or exponent
    // bit 1: special action: start recording base or exponent
    // bits 4-7: if first column, specify how to calculate the derivative:
    //              3 - multiply the constant term by 0
    //              4 - divide x by x
    //              5 - divide x^n by x and multiply by n
    //              6 - multiply n^x by ln(n)
    // bits 4-7: if not first column, specify the next state
    //              (plus 3, to make the character printable)
    const char* control =
        "\x33\x30\x50\x43\x71"
        "\x73\x70\x50\x23\x21"
        "\x43\x40\x20\x23\x63"
        "\x53\x60\x20\x23\x21"
        "\x63\x70\x70\x23\x71";

    for (;;) {
        int c = *p++;

        // Convert a char to a category:
        // category 0: // - +
        // category 3: // *
        // category 2: // x
        // category 4: // ^
        // category 1: // numbers: 0...9 and decimal point
        int category;
        int action;    

        if (q == '^' && c == '-')
            category = 1; // unary minus is a part of a number
        else
            category = c%26==16?c%16/3:c/46; // just does it

        // Load new state and action to do
        action = control[state * 5 + category];

        if (action & 1)
            p[-1] = 0;
        state = (action >> 4) - 3;
        if (category == 0)
        {
            if (state == 0)
                printf("*0");
            if (state == 1)
                printf("/x");
            if (state == 2)
                printf("/x*%s", exp);
            if (state == 3)
                printf("*ln(%s)", exp);
            state = 0;
        }
        if (action & 2)
            exp = p;

        if (c == 0 || c == '\n') // either of these can mark end of input
            break;

        putchar(c);
        q = c;
    }
}

PS Uważaj na tę getsfunkcję: ma ona lukę w zabezpieczeniach, która może pozwolić nauczycielowi na wykonanie rootkita w twoim umyśle, dostarczając zbyt długich danych wejściowych ...

anatolig
źródło
3

Lua 296 268 263

function d(a)l=""i=a:find"x" if i then if a:sub(i-1,i-1)=="^"then l="log("..a:sub(1,i-2)..")*"..a elseif a:sub(i+1,i+1)=="^"then l=a:sub(i+2).."*"..a:sub(1,i)p=a:sub(i+2)-1 if p~=1 then l= l..a:sub(i+1,i+1)..p end else l=a:sub(1,i-2)end else l="0"end return l end

Niezbyt grałem i nie mogą obecnie obsługiwać wiele warunków (można po prostu uruchomić go kilka razy, prawda?), Ale może obsłużyć n^x, x^na njako wejście.


Nie golfił ...

function d(a)
   l=""
   i=a:find"x"
   if i then
      if a:sub(i-1,i-1)=="^" then
         l="log("..a:sub(1,i-2)..")*"..a
      elseif a:sub(i+1,i+1)=="^" then
         l=a:sub(i+2).."*"..a:sub(1,i)
         p=a:sub(i+2)-1 -- this actually does math here
         if p~=1 then
            l= l..a:sub(i+1,i+1)..p
         end
      else
         l=a:sub(1,i-2)
      end
   else
      l="0"
   end
   return l
end
Kyle Kanos
źródło
str.func(str,...)== str:func(...), dlatego ciągi mają metatatable mimo wszystko ...
mniip
@mniip: Wciąż uczę się Lua. Dzięki za wskazówkę.
Kyle Kanos
1
Ponieważ OP szuka tylko kodu „potrafi obliczyć w głowie”, nie zawracałbym sobie głowy definiowaniem funkcji i deklarowaniem llokalnego. Po prostu oczekuj, że wejście zostanie zapisane ai powiedz, że wyjście zostanie zapisane l.
Martin Ender
Możesz pominąć nawiasy a:find("x"), zauważ również, że 1thendziała tylko w Lua 5.2
mniip
@mniip: Whoa, to całkiem fajne, ()opcjonalne. Zostało 1thento naprawione, ponieważ nie mam wersji 5.2 (nie robię żadnych aktualizacji procesora, dopóki nie zakończy się rozprawa b / c, nie chcę niczego zepsuć).
Kyle Kanos
3

ECMAScript 6, 127 bajtów

Oto moja próba wyrażenia regularnego (użycie jednego wyrażenia regularnego i pewnej logiki w zastępczym wywołaniu zwrotnym):

i.replace(/(^|[*+-])(\d+|(?:([\d.]+)\^)?(x)(?:\^(-?[\d.]+))?)(?![.*^])/g,(m,s,a,b,x,e)=>s+(b?'ln'+b+'*'+a:e?e--+'*x^'+e:x?1:0))

Oczekuje, że łańcuch wejściowy zostanie zapisany ii po prostu zwróci wynik. Wypróbuj to w konsoli zgodnej z ECMAScript 6 (takiej jak Firefox).

Martin Ender
źródło
2

sed, 110

Mówiąc bardzo dosłownie „Nie trzeba ich wcale upraszczać ani formatować dokładnie tak, jak pokazano powyżej, o ile jasne jest, co mówi odpowiedź”:

s/.*/__&_/;s/x\^(-?[0-9.]+)/\1*x^(\1-1)/g;s/([0-9.]+)\^/ln\1*\1^/g;s/([^(][-+_])[0-9.]+([-+_])/\10\2/g;s/_//g

Liczba bajtów obejmuje 1 dla rflagi.

Niegolfowany, z komentarzami:

# Add underscores before and after the string, to help with solo-constant recognition
s/.*/__&_/
# Power rule: replace x^c with c*x^(c-1) where c is a number
s/x\^(-?[0-9.]+)/\1*x^(\1-1)/g
# Exponentials: replace c^ with lnc*c^ where c is a number
# (This assumes that there will be an x after the ^)
s/([0-9.]+)\^/ln\1*\1^/g
# Constants: replace ?c? with ?0? where c is a number and ? is +, -, or _
# Except if it's prededed by a parenthesis then don't, because this matches c*x^(c-1)!
s/([^(][-+_])[0-9.]+([-+_])/\10\2/g
# Get rid of the underscores
s/_//g

Przykładowy przebieg:

$ cat derivatives.txt
-3
8.5
x^0.5
x^-7
0.5^x
7^x
3*x^5
-0.1*0.3^x
-5*x^2+10-3^x

$ sed -re 's/.*/__&_/;s/x\^(-?[0-9.]+)/\1*x^(\1-1)/g;s/([0-9.]+)\^/ln\1*\1^/g;s/([^(][-+_])[0-9.]+([-+_])/\10\2/g;s/_//g' derivatives.txt
-0
0
0.5*x^(0.5-1)
-7*x^(-7-1)
ln0.5*0.5^x
ln7*7^x
3*5*x^(5-1)
-0.1*ln0.3*0.3^x
-5*2*x^(2-1)+0-ln3*3^x

Założę się, że można to jeszcze pograć w golfa; to moja pierwsza próba sed. Zabawa!

DLosc
źródło
1

Ruby, 152

... lub 150, jeśli nie musisz drukować ... lub 147, jeśli również dobrze sobie radzisz z tablicą, do której musisz dołączyć.

Biegnij z ruby -nal

p gsub(/(?<!\^)([-+])/,'#\1').split(?#).map{|s|s[/x\^/]?$`+$'+"x^(#{$'}-1)":s[/-?(.*)\^(.*)x/]?s+"*ln(#{$1}*#{$2[0]?$2:1})":s[/\*?x/]?($`[0]?$`:1):p}*''

bez golfa:

p gsub(/(?<!\^)([-+])/,'#\1').split(?#). # insert a # between each additive piece, and then split.
map{ |s|                                 
    if s[/x\^/]                          # if it's c*x^a
        $` + $' + "x^(#{$'}-1)"          #      return c*ax^(a-1)
    elsif s[/-?(.*)\^(.*)x/]             # if it's c*b^(a*x)
        ln = $1 + ?* + ($2[0] ? $2 : 1)  #      return c*b^(a*x)*ln(b*a)
        s+"*ln(#{ln})"
    elsif s[/\*?x/]                      # if it's c*x
        ($`[0] ? $` : 1)                 #      return c
    else                                 # else (constant)
        nil                              #      return nil
    end
}*''

Moim głównym problemem z tym jest liczba znaków potrzebnych do właściwego podziału. Jedynym innym sposobem, w jaki mogłem myśleć, było to, split(/(?<!\^)([-+])/)które daje +i -jako własne wyniki. Jakieś wskazówki na lepsze rozwiązanie?

Ponadto, czy istnieje krótszy sposób zwrotu, sjeśli nie jest pusty, ale w przeciwnym razie powróci y? Użyłem s[0]?y:s? W JS po prostu bym to zrobił s||y, ale ""to prawda w Ruby.

Nie ten Charles
źródło
Czy uprzedzona twierdzenie pomoc, tak: split(/(?<!\^)(?=[-+])/)?
DLosc