Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

3
Conseguenze dell'esistenza di un algoritmo fortemente polinomiale per la programmazione lineare?
Uno dei santi graal della progettazione dell'algoritmo è trovare un algoritmo fortemente polinomiale per la programmazione lineare, ovvero un algoritmo il cui tempo di esecuzione è limitato da un polinomio nel numero di variabili e vincoli ed è indipendente dalla dimensione della rappresentazione dei parametri (supponendo costo unitario aritmetico). La …
6
Chernoff al contrario
Esiste un limite di Chernoff inverso che limita che la probabilità di coda è almeno così grande. cioè se X 1 , X 2 , … , X nX1,X2,…,XnX_1,X_2,\ldots,X_n sono variabili casuali binomiali indipendenti e μ = E [ ∑ n i = 1 X i ]μ=E[∑ni=1Xi]\mu=\mathbb{E}[\sum_{i=1}^n X_i] . Quindi …
3
È contenuto in ?
Ho pensato di condividere questa domanda in quanto potrebbe essere interessante per altri utenti qui. Supponiamo che una funzione che si trova in una classe uniforme (come ) sia anche in una piccola classe non uniforme (come , cioè non uniforme ), ciò implica che la funzione è contenuta in …
7
I risultati più influenti di Lipton
Richard J. Lipton è stato selezionato come vincitore del Premio Knuth 2014 "per Introduzione di nuove idee e tecniche". Quali sono secondo te le principali nuove idee e tecniche sviluppate da Lipton? Nota. Questa domanda diventerà wiki della comunità, per favore metti una di queste idee, tecniche o risultati per …
30 big-list 
1
L'isomorfismo grafico può essere deciso con il non determinismo limitato dalla radice quadrata?
Nondeterminismo Delimitata associa una funzione g(n)g(n)g(n) con una classe CCC di lingue accettate da macchine di Turing deterministiche risorse delimitata, per formare una nuova classe ggg - CCC . Questa classe è composta da quei linguaggi che sono accettati da una macchina di Turing non deterministica MMM obbedendo agli stessi …
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.