Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

3
Teorie che caratterizzano le classi di complessità computazionale
Quando leggi il documento " Una teoria applicativa per FPH " puoi incontrare il seguente passaggio: Considerando le teorie che caratterizzano le classi di complessità computazionale, ci sono tre diversi approcci: in uno, le funzioni che possono essere definite all'interno della teoria sono "automaticamente" all'interno di una certa classe di …
4
Sono note funzioni esistenti con la seguente proprietà di somma diretta?
Questa domanda può essere posta nel quadro della complessità circuitale dei circuiti booleani, o nel quadro della teoria della complessità algebrica, o probabilmente in molti altri contesti. È facile dimostrare, contando gli argomenti, che esistono funzioni booleane su N input che richiedono esponenzialmente molte porte (anche se ovviamente non abbiamo …
1
Decomposizioni grafiche per combinare funzioni "locali" delle etichette dei vertici
Supponiamo di voler trovare o ∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Dove è preso max o somma su tutte le etichettature di VVV , prodotto è preso in tutti i bordi EEE per un grafo G={V,E}G={V,E}G=\{V,E\} e fff è una funzione arbitraria. Questa quantità è facile da …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.