Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Matrice bilanciata esplicita
È possibile creare una matrice esplicita con tale tale che ogni contenga meno di ?0 / 1 N 1.5N×NN×NN \times N 0/10/10/1N1.5N1.5N^{1.5}N0.499×N0.499N0.499×N0.499N^{0.499} \times N^{0.499}N0.501N0.501N^{0.501} O probabilmente è possibile costruire un set di colpi esplicito per tale proprietà. È facile vedere che la matrice casuale ha questa proprietà con probabilità esponenzialmente …
4
Esistono ricerche in corso sull'attuazione degli estrattori di casualità?
Sono state condotte ricerche sull'implementazione di costruzioni con estrattore di casualità? Sembra che le prove di estrazione facciano uso di Big-Oh, lasciando la possibilità di grandi costanti nascoste, rendendo potenzialmente realistiche le implementazioni programmatiche. Qualche contesto: sono interessato all'utilizzo di estrattori di casualità come fonte veloce di (casualmente?) Numeri casuali …
2
Esistono rappresentazioni descrittive della complessità delle classi di complessità quantistica?
Il titolo dice più o meno tutto, ma immagino di poter aggiungere un po 'di background e alcuni esempi specifici che mi interessano. I teorici della complessità descrittiva, come Immerman e Fagin, hanno caratterizzato molte delle classi di complessità più note usando la logica. Ad esempio, NP può essere caratterizzato …
3
Indagine sugli algoritmi / complessità dell'algebra lineare
Sto cercando un buon sondaggio su algoritmi e complessità delle operazioni di algebra lineare (come rango, inverso, autovalori, ... per booleana, , e interi / razionali matrici) con l'accento sulla parallela ( N C gerarchia) e algoritmi polytime . Non sono riuscito a trovarne uno recente.FpFp\mathbb{F}_pNCNCNC Conosci un recente sondaggio …
1
Sono noti limiti generali efficienti in stile Bonferroni?
Un classico problema nella teoria della probabilità è esprimere la probabilità di un evento in termini di eventi più specifici. Nel caso più semplice, si può dire . Scrittura di Let per l'evento .A B A ∩ BP[A∪B]=P[A]+P[B]−P[A∩B]P[A∪B]=P[A]+P[B]−P[A∩B]P[A \cup B] = P[A] + P[B] - P[A \cap B]ABABABA∩BA∩BA \cap B …
2
Perché l'esponenziazione modulare Montgomery non è considerata per l'uso nel factoring quantistico?
È noto che l'esponenziazione modulare (la parte principale di un'operazione RSA) è computazionalmente costosa e, per quanto ho capito, la tecnica dell'esponenziazione modulare Montgomery è il metodo preferito. L'esponenziazione modulare è anche in primo piano nell'algoritmo di factoring quantistico, ed è anche costoso lì. Quindi: perché l'esponenziazione modulare Montgomery non …
5
Algoritmo parallelo deterministico per una corrispondenza perfetta nei grafici generali?
Nella classe di complessità PP\mathsf{P} , ci sono alcuni problemi che si ipotizza NON siano nella classe , cioè problemi con algoritmi paralleli deterministici. Il problema del flusso massimo è un esempio. E ci sono problemi a CREDERE di essere in , ma non è stata ancora trovata una prova.NCNC\mathsf{NC}NCNC\mathsf{NC} …
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.