Nella teoria della complessità computazionale, i circuiti aritmetici sono considerati il modello standard per il calcolo dei polinomi. Il principio di base di questo modello è che un circuito aritmetico opera attraverso i nodi, che possono essere variabili o numeri, e consente calcoli di addizione e moltiplicazione. All’interno di tale quadro, possiamo acquisire una comprensione più profonda della complessità del calcolo dei polinomi. Allora qual è il modo migliore per fare questo calcolo?
La domanda fondamentale dei circuiti aritmetici è "Qual è il modo più efficiente per calcolare un polinomio specifico?"
I circuiti aritmetici esistono come grafici aciclici diretti (DAG). Ogni nodo a cui non punta un altro nodo è chiamato "porta di input" e sono etichettati come variabili o elementi del dominio. Le altre porte si dividono in porte aggiuntive e moltiplicative in base al tipo di funzionamento. La formula aritmetica si riferisce ad un circuito in cui il grado di uscita di ciascuna porta è 1 e la struttura grafica diventa un albero diretto.
Le misure della complessità dei circuiti aritmetici coinvolgono due parametri di base: dimensione e profondità. La dimensione di un circuito è il numero di porte al suo interno, mentre la profondità è il percorso diretto più lungo nel circuito. Per vedere un esempio concreto, diciamo che c'è un circuito con una dimensione di sei e una profondità di due. Tale struttura calcola il polinomio segnato dalla porta di input attraverso un processo specifico, e calcola il risultato rispettivamente attraverso operazioni di porta di addizione e di porta di moltiplicazione.
Il metodo di calcolo del circuito aritmetico consiste nel calcolare il polinomio contrassegnato attraverso la porta di input, quindi utilizzare rispettivamente le porte di addizione e moltiplicazione per eseguire operazioni più complesse.
Nello studio della complessità del calcolo dei polinomi, trovare il circuito giusto è fondamentale. I risultati di questo tipo di lavoro possono essere suddivisi in limiti superiori e inferiori. Un limite superiore implica trovare un circuito in grado di calcolare un particolare polinomio, che mostri un limite superiore sulla complessità computazionale di quel polinomio, mentre un limite inferiore richiede di dimostrare che nessun altro circuito può calcolare più velocemente del circuito proposto, il che è spesso più impegnativo compiti sessuali.
Ad esempio, l'algoritmo di Strassen esegue la moltiplicazione di matrici con una dimensione di circa n²,807, che rappresenta un'ottimizzazione sostanziale rispetto alla tradizionale complessità n³. Anche altri, come Berkowitz, hanno proposto modi per calcolare in modo efficiente determinanti e polinomi uguali permanenti con circuiti di dimensioni polinomiali. Questi risultati della ricerca forniscono senza dubbio una prospettiva più completa sui metodi di progettazione e calcolo dei circuiti aritmetici.
Nel processo di calcolo dei polinomi, le dimostrazioni dei limiti inferiori attualmente conosciute sono ancora limitate e l'obiettivo principale della ricerca è l'esplorazione dei limiti inferiori dei polinomi di piccolo grado.
Uno dei problemi aperti nei circuiti aritmetici è il problema P contro NP, e il cosiddetto problema VP contro VNP è la sua "analogia algebrica". Tra questi, VP rappresenta la classe dei polinomi con circuiti polinomiali, mentre VNP è la classe contenente i polinomi correlati utilizzata per dimostrare la possibilità di calcolo efficiente di determinati polinomi.
Il concetto base di questa esistenza risiede nella completezza della teoria della complessità. Se un polinomio è un polinomio completo di una certa classe, significa che se il polinomio esiste in un piccolo circuito, anche altri polinomi di questa classe hanno lo stesso. stessa natura. Al momento non è stata trovata alcuna conclusione che dimostri che VP e VNP non sono uguali, e questa è una delle chiavi per la ricerca futura.
Lo studio dei circuiti aritmetici non si limita alla comunità matematica, ma coinvolge anche un'ampia gamma di campi informatici, mettendo alla prova la nostra comprensione e comprensione della complessità computazionale.
In questo campo in progresso, i circuiti aritmetici forniscono importanti strumenti matematici per aiutarci a comprendere la complessità computazionale dei polinomi. Tuttavia, nella ricerca futura, potremo davvero scoprire i profondi segreti dietro queste operazioni matematiche?