Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] da unpolinomio in n e profondità limitata da una costante. La classe più ristretta NC1 è costituita dai linguaggi riconosciuti da circuiti nei quali la profondità, invece che costante, può essere logaritmica, ma il grado entrante di ciascuna ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] decrescente al crescere del grado c del polinomio. Per l'algoritmo esponenziale abbiamo invece cm=kcn, e cioè m=logck+n, corrispondente a un incremento trascurabile. Concludiamo che gli algoritmi di complessità esponenziale non traggono ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] .
Problemi la cui soluzione richiede tempo crescente in modo non limitato da unpolinomio (per es., nlogn o 2n) vengono considerati intrattabili, poiché per essi il costo di risoluzione diviene proibitivo non appena i dati in ingresso raggiungono una ...
Leggi Tutto
polinomio
polinòmio s. m. [comp. di poli- e -nomio di binomio]. – In matematica, somma di monomî (in senso proprio, solo con riferimento a monomî interi), detti termini del polinomio: binomio, trinomio, quadrinomio, ecc., è un polinomio rispettivam....
grado1
grado1 s. m. [lat. gradus -us «passo, scalino», dallo stesso tema di gradi «camminare, avanzare»]. – 1. a. ant. Gradino, scalino: Scala drizzò di cento gradi e cento (T. Tasso). Più raram., passo: deh ferma un poco il g. (Boccaccio)....