Funke și Formula

TC, tot ce spui este corect:

În matematică discrete, aceste perechi pot fi scrise în jos în mod explicit, și chiar în unele domenii ale matematicii discrete este doar o diferență foarte importantă între formula și funcția: din moment ce orice funcție poate fi implementată prin diferite formule, atunci există tipul de sarcină: pentru a găsi o formulă pentru funcția minimă de complexitate. pentru a arăta că toate formulele pentru complex, pentru a estima complexitatea maximă a cea mai mică dintre formula pentru o funcție etc. Prin urmare, această distincție este importantă, și este celebrată încă de la început.

Aici topic62784.html am scris codul, și am nevoie de o funcție. că pentru fiecare argument întreg pozitiv se întoarce la cel mai apropiat grad sub dublu modulul triplu al argumentului - bine, așa că a fost necesar pentru algoritmul. Și într-un singur cod exemplu, am scris-o ca

m = 1;
în timp ce m <2*abs(int)/3
m = m * 3;
capăt

și într-un alt - aceeași funcție ca și cealaltă formulă

Puteți fi siguri că ambele formule dau aceeași funcție. Acum ne întoarcem la citatul - codul prima formulă mai mult de înregistrare vizuală, dar al doilea cel mai probabil mai costisitoare pentru resursele de mașini - acest lucru depinde de punerea în aplicare și disponibilitatea de divizare hardware logaritm. De aceea, atunci când scrieți codul pentru anumite platforme importante pentru a găsi un compromis între viteza de implementare / cantitatea dorită de volum / Flash RAM sub algoritmul - toate în funcție de capacitățile de hardware (divizia de hardware-acolo sau nu, RISC sau CISC arhitectură etc.). Generalizând conceptul de o funcție de o corespondență rezultatul numeric argument numeric pentru un concept mai general - un set de reacții de sistem în funcție de starea și istoricul modificărilor parametrilor de control, am ajuns la o generalizare a noțiunii de formula algoritm. Și, după cum sa menționat mai sus, putem pune problema de optimizare a formulei / algoritm pentru criteriile și constrângerile date.

y = a_3
y = a_2 + y * x
y = a_1 + y * x
y = a_0 + y * x

- 3 adăugări și 3 înmulțiri.

se înțelege prin formula aritmetică?

Nu, desigur. Mă refeream la un lucru simplu: o formulă care este scris afirmația existenței acestor numere întregi și asta. În ceea ce privește vyshezapisannogo, este, strict vorbind, o formulă, ci pur și simplu o expresie. Cu toate că poate și este echivalentă cu funcția Dirichlet, eu nu știu.

Da, este mai aproape de conceptul de „formulă“. Rămâne să picteze exterior (ca o afirmare a existenței ceva pentru toate acestea într-un fel, și așa mai departe), precum și vopsea cosinusul (probabil, la fel ca și limita unei serii). În general, ca urmare, probabil, vom obține o formulă în limba unor teorii, dar, evident, mult mai complex decât versiunea propusă de mine.

Dar ceva interesant că, cu toate exprimabilă prin formulele (o limbă) Funcția Dirichlet rămâne noncomputable.