Domande taggate «reference-request»

La richiesta di riferimento viene utilizzata quando l'autore deve conoscere il lavoro correlato alla domanda.

1
Complessità di raggiungibilità nei sistemi dinamici lineari su campi finiti
Sia una matrice sopra il campo finito e , siano vettori dello spazio . Sono interessato alla complessità computazionale di decidere se esiste tale che , cioè il problema di raggiungibilità per sistemi dinamici lineari su campi finiti.AAAF2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\}xxxyyyFn2F2n\mathbb{F}_2^nt∈Nt∈Nt \in \mathbb{N}Atx=yAtx=yA^t x = y Il problema è chiaramente in …
2
Algoritmo di moltiplicazione vettoriale a matrice che utilizza un numero minimo di aggiunte
Considera il seguente problema: Data una matrice , vogliamo ottimizzare il numero di aggiunte nell'algoritmo di moltiplicazione per il calcolo v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Trovo questo problema interessante a causa dei suoi legami con la complessità della moltiplicazione di matrici (questo problema è una versione …
1
Il riferimento per il fatto che (0 = 1) implica false richiede un universo in MLTT
È un fatto abbastanza noto che derivare una contraddizione da una disuguaglianza (per esempio, da ) nella teoria del tipo di Martin-Loef richiede un universo.(0=1)→⊥(0=1)→⊥(0=1) \to \bot La dimostrazione è anche abbastanza semplice: in assenza di universi, possiamo cancellare le dipendenze da qualsiasi tipo dipendente per ottenere un tipo semplice …
3
Limitazione teorica dei grafici alle prove nella teoria della complessità delle prove
La complessità della prova è un'area basilare della teoria della complessità computazionale. Uno scopo ultimo di quest'area è dimostrare , ovvero ogni prover non può fornire una prova di insoddisfazione di una determinata formula di input. NP≠coNPNP≠coNPNP\neq coNP Un grafico è uno dei modelli formali di prove. La mia domanda …
1
Problema che si trova in P solo se P! = NP
Ci sono problemi che sono risolvibili nel tempo polinomiale solo se P! = NP, e altrimenti risolvibili nel tempo (diciamo) ?O ( 2n)O(2n)O(2^n) Un semplice esempio potrebbe essere: Se P! = NP, calcola un test di primalità per un numero casuale di n-bit, altrimenti valuta una posizione casuale nel caso …
2
Qual è il minimo su tutte le distribuzioni di vettori unitari della varianza del prodotto punto dei vettori?
nnnx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 Ho provato alcune distribuzioni e quasi tutte hanno varianza . Ad esempio, sia la distribuzione in cui ciascuna coordinata di ogni viene scelta in modo indipendente e uniforme da e la distribuzione in cui ogni è un vettore uniforme indipendente sulla sfera unitaria …
2
Perché la linearizzabilità è una proprietà di sicurezza e perché gli insiemi di proprietà di sicurezza sono chiusi?
Nel capitolo 13 "Oggetti atomici" del libro "Algoritmi distribuiti" di Nancy Lynch, la linearizzabilità (nota anche come atomicità) si è dimostrata una proprietà di sicurezza. Vale a dire, la proprietà di traccia corrispondente è non vuota, prefisso-chiuso e limite-chiuso , come definito nella Sezione 8.5.3. Informalmente, una proprietà di sicurezza …
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.