Esiste un problema naturale in P per cui il limite di tempo di esecuzione più noto è della forma , dove α è una costante irrazionale ?O(nα)O(nα)O(n^\alpha)αα\alpha
Chiamiamo una funzione superpolinomiale se vale per ogni c> 0 .f( n )f(n)f(n) c > 0limn → ∞nc/ f( n ) = 0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c > 0c>0c>0 È chiaro che per qualsiasi lingua L ∈ PL∈PL\in {\mathsf P} sostiene che L ∈ D T I M E ( f( n ) …
È un risultato classico che ogni circuito fan-in 2 AND-OR-NOT che calcola PARITY dalle variabili di ingresso ha una dimensione di almeno e questo è nitido. (Definiamo dimensione come il numero di porte AND e OR.) La dimostrazione è per eliminazione dei gate e sembra fallire se consentiamo un fan-in …
So che la complessità della maggior parte delle varietà di calcoli lambda tipizzati senza la primitiva del combinatore Y è limitata, cioè solo le funzioni di complessità limitata possono essere espresse, con il limite che diventa più grande man mano che l'espressività del sistema di tipi cresce. Ricordo che, ad …
Shor ha dichiarato, nel suo commento alla risposta anonima delle alci a questa domanda Riesci a identificare la somma di due permutazioni in tempo polinomiale? , che è completo per identificare la differenza di due permutazioni. Sfortunatamente, non vedo una riduzione diretta dal problema della somma di permutazione ed è …
Molti risultati importanti nella teoria della complessità computazionale, e in particolare nella teoria della complessità "strutturale", hanno l'interessante proprietà che possono essere intesi come fondamentalmente seguiti (come la vedo io ...) dai risultati algoritmici che forniscono un algoritmo efficiente o un protocollo di comunicazione per alcuni problema. Questi includono i …
Il miglior limite superiore noto sulla complessità temporale della moltiplicazione è il limite Martin Fürer , che è più della complessità temporale lineare dell'aggiunta. Abbiamo una prova che l'aggiunta è intrinsecamente più semplice della moltiplicazione?n logn 2O ( log*n )nlogn2O(log*n)n\log n2^{O(\log^* n)}
Usando l'algoritmo carry look ahead possiamo calcolare l'aggiunta usando una famiglia di circuiti profondità di dimensione polinomiale 5 (o 4?) . È possibile ridurre la profondità? Possiamo calcolare l'aggiunta di due numeri binari usando una famiglia di circuiti di dimensioni polinomiali con profondità inferiore a quella ottenuta dall'algoritmo carry look …
Considera il seguente ragionamento: Consenti a indicare la complessità di Kolmogorov della stringa x . Il teorema di incompletezza di Chaitin lo diceK(x)K(x)K(x)xxx per qualsiasi sistema uniforme e sufficientemente forte formale , esiste una costante T (seconda solo sul sistema formale e lingua) tale che per qualsiasi stringa x , …
Ispirato alla domanda è il factoring noto per essere P-hard , mi chiedo quale sia l'attuale stato di conoscenza simile sulla durezza dell'isomorfismo grafico. Sono sicuro che al momento non è noto se GI sia in P, ma: qual è la classe più grande attualmente conosciuta che GI è più …
Come sappiamo, la funzione -clique C L I Q U E ( n , k ) prende un sottografo ( spanning ) G ⊆ K n di un grafico n -vertex completo K n , e genera 1 sef G contiene un k -clique . Le variabili in questo caso …
Il gate AND & OR è un gate a cui sono dati due ingressi e restituisce il loro AND e il loro OR. I circuiti realizzati solo dalla porta AND & OR, senza fanout, sono in grado di eseguire calcoli arbitrari? Più precisamente, lo spazio di registrazione del calcolo del …
Esistono ipotesi plausibili di complessità / criptovaluta che escludono la possibilità che i circuiti di dimensioni polinomiali abbiano dimensioni di dimensione esponenziale (cioè con ) profondità limitata ( ) circuiti?2O(nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ<1ϵ<1\epsilon<1d=O(1)d=O(1)d = O(1) Sappiamo che ogni funzione calcolabile da un circuito può essere calcolata una taglia profondità circuito (usando AND, OR …
Luca Trevisan ha mostrato quante costruzioni di generatori pseudocasuali possono in effetti essere pensate come costruzioni di estrattori: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf C'è un conversare significativo? Vale a dire, le costruzioni "naturali" degli estrattori possono essere pensate come costruzioni di generatori pseudocasuali (PRG)? Le costruzioni degli estrattori sembrano corrispondere alle distribuzioni sui PRG …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.