Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
Una domanda di apprendimento di parità
Definiamo una classe di funzioni su un insieme di bit. Correggi due distribuzioni p , q che sono "ragionevolmente" diverse l'una dall'altra (se vuoi, la loro distanza variazionale è almeno ϵ , o qualcosa di simile).nnnp,qp,qp, qϵϵ\epsilon Ora ogni funzione in questa classe è definita da una raccolta di k …
1
Prove in
In un discorso di Razborov, viene pubblicata una curiosa piccola affermazione. Se FACTORING è difficile, il piccolo teorema di Fermat non è dimostrabile in .S12S21S_{2}^{1} Che cos'è e perché le prove correnti non sono in S_ {2} ^ {1} ? S12S21S_{2}^{1}S12S21S_{2}^{1}
1
Equilibratura formula booleana in
Sto cercando riferimenti sulla complessità del problema di bilanciamento della formula booleana . In particolare, Era noto che le formule booleane possono essere bilanciate in AC0AC0\mathsf{AC^0} ? Esiste una semplice prova del bilanciamento della formula booleana in AC0AC0\mathsf{AC^0} ? Per "semplice" intendo una dimostrazione più semplice di quella che menziono …
1
Perché i limiti inferiori per i circuiti booleani non implicano i limiti inferiori dei circuiti aritmetici
La mia domanda è: perché limiti inferiori per circuiti booleani con profondità 3 con porte "e" e "xor" per determinante non implicano gli stessi limiti inferiori per circuiti aritmetici su ?ZZ\mathbb{Z} Cosa c'è di sbagliato nel seguente argomento: Sia un determinante per il calcolo del circuito aritmetico, quindi prendendo tutte …
3
Qual è la simulazione più veloce conosciuta di BPP usando gli algoritmi di Las Vegas?
B P PBPP\mathsf{BPP} eZ P PZPP\mathsf{ZPP} sono due delle classi di complessità probabilistica di base. B P PBPP\mathsf{BPP} è la classe di linguaggi decisa da algoritmi probabilistici di Turing a tempo polinomiale in cui la probabilità che l'algoritmo restituisca una risposta errata è limitata, ovvero la probabilità di errore è …
1
Quali sono alcuni risultati sugli algoritmi che stimano i polinomi su un determinato insieme di punti?
Sembra che ci siano molti algoritmi randomizzati per i test di identità polinomiale, che controllano se un dato polinomio è zero. Ci sono risultati di algoritmi che fanno una sorta di stima dei polinomi su un insieme specifico di punti? Questo potrebbe essere, ad esempio, approssimativo per quale frazione di …
2
Numerazione del sottoinsieme
Correzione k≥5k≥5k\ge5 . Per ogni abbastanza grande nnn, vorremmo etichettare tutti i sottoinsiemi di {1..n}{1..n}\{1..n\} di dimensioni esattamente n/kn/kn/k da numeri interi positivi da {1...T}{1...T}\{1...T\} . Vorremmo che questa etichettatura soddisfasse la seguente proprietà: esiste un insieme SSS di numeri interi, st Se sottoinsiemi di dimensione n / k non …
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.