Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

3
Una prova più intuitiva del teorema di zona?
Il teorema di zona dice che se pugnaliamo una disposizione di n linee con un'altra linea, la complessità totale della sua zona , l'insieme di tutte le facce 0, 1 e 2 adiacenti ad essa, è O (n). La costante effettiva è qualcosa come 6n almeno come indicato in vari …
1
Generalizzare la FFT
La divisione e la conquista della natura della FFT possono essere generalizzate ad altre trasformazioni (z Transform, chirp, ecc.) Automaticamente? Esiste un algoritmo che contiene una descrizione della trasformazione (non so quali informazioni sarebbero necessarie) e può produrre una funzione simile a FFT veloce?
5
Quali sono buoni riferimenti sulla comprensione dell'apprendimento online?
In particolare, sto chiedendo risorse per conoscere i sistemi di apprendimento automatico che possono aggiornare le rispettive reti di credenze (o equivalenti) durante il funzionamento. Ne ho anche incontrati alcuni, anche se non sono riuscito a segnalarli. Come puoi immaginare, è un argomento piuttosto impegnativo da cercare su Internet.
1
Candidati naturali per NP-E ed E-NP
È noto fin dai primi anni '70 che NPNP{\bf NP} ed E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) non sono uguali (perché EE{\bf E} non è chiuso con riduzioni di molti tempi polinomiali, a differenza di NPNP{\bf NP} ) . Per quanto ne so, tuttavia, è ancora chiaro se una classe sia un sottoinsieme dell'altra, …
1
Qual è la "domanda" a cui la teoria del linguaggio di programmazione sta cercando di rispondere?
Sono stato interessato a vari argomenti come la logica combinatoria, il calcolo lambda, la programmazione funzionale per un po 'e li ho studiati. Tuttavia, a differenza della "Teoria del calcolo" che si sforza di rispondere alla domanda di "calcolabilità", cioè cose che non possono / non possono essere calcolate con …
1
Qual è la relazione congetturata tra le lingue P (PTime) e Tipo 1 (sensibile al contesto)?
P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP è l'insieme di tutte le lingue decidibili in tempo polinomiale su una macchina di Turing deterministica, e CSLCSLCSL è la classe di linguaggi sensibili al contesto, noti per essere equivalenti a , i linguaggi decisi da automi a lineari.NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) Per molte domande aperte, vi è la …
1
La complessità di Kolmogorov delle tabelle di verità del problema dell'arresto è conosciuta asintoticamente?
Sia HALTnHALTnHALT_n la stringa di lunghezza 2n2n2^n corrispondente alla tabella di verità del problema di arresto per input di lunghezza nnn . Se la sequenza delle complessità di Kolmogorov K(HALTn)K(HALTn)K(HALT_n) fosse O(1)O(1)O(1) , allora una delle stringhe di consigli verrebbe utilizzata all'infinito spesso e una TM con quella stringa codificata …
1
Kernel polinomiale per
Il problema con k-FLIP SAT parametrizzato è definito come: Input: una formula 3-CNF con n variabili e un'assegnazione di verità σ : [ n ] → { 0 , 1 } Parametro: k Domanda: possiamo trasformare l'assegnazione σ in un'assegnazione satura σ ′ per φ lanciando il valore di verità …
1
Correlazione dell'univalenza per una teoria dei cateogries con il concetto di scheletro
Suppongo che io lavori nella teoria dei tipi di omotopia e che i miei unici oggetti di studio siano le categorie convenzionali. Le equivalenze qui sono date dai funzioni e che forniscono equivalenze delle categorie . Esistono isomorfismi naturali e modo che questo funzione e il funzione "inverso" vengono trasformati …
1
Minimizzazione DFA multilingue
Sono interessato a una leggera generalizzazione di DFA. Come al solito abbiamo lo stato , l'alfabeto finito , un'azione definita su da e stato iniziale ; ma invece della solita serie di terminali, prendiamo una famiglia di sottoinsiemi di . Un DFA multilingue è quindi la tuplaQQQΣΣ\SigmaΣ∗Σ∗\Sigma^*QQQδ:Q×Σ→Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Qq0q0q_0(Ti)i∈1..n(Ti)i∈1..n(T_i)_{i\in …
2
Funzioni non costruibili e risultati anomali
Nel libro Arora-Barak, nella definizione di funzioni costruibili nel tempo, si dice che l'uso di funzioni che non sono costruibili nel tempo può portare a "risultati anomali". Qualcuno ha un esempio di tale "risultato anomalo"? Ho sentito in particolare che potrebbero esistere funzioni tali che il teorema della gerarchia temporale …
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.