Questo è un seguito alla mia domanda precedente: La complessità temporale deterministica più nota è inferiore per un problema naturale in NP Trovo sconcertante che non siamo stati in grado di dimostrare un tempo deterministico quadratico inferiore per qualsiasi problema NP interessante a cui la gente si preoccupa e provare …
Mi chiedevo se esistesse un limite inferiore (in termini di complessità del campione) noto per il seguente problema: Dato l'accesso dell'oracolo di esempio a due distribuzioni sconosciute , su , test (whp) seD1D1D_1D2D2D_2{1,…,n}{1,…,n}\{1,\dots,n\} D1=D2D1=D2D_1=D_2 oppured2(D1,D2)=∥D1−D2∥2=∑ni=1(D1(i)−D2(i))2−−−−−−−−−−−−−−−−−−√≥ϵd2(D1,D2)=‖D1−D2‖2=∑i=1n(D1(i)−D2(i))2≥ϵ\operatorname{d_2}(D_1,D_2)=\lVert D_1-D_2\rVert_2 = \sqrt{\sum_{i=1}^n\left(D_1(i)-D_2(i)\right)^2} \geq \epsilon Batu et al. [BFR + 00] ha mostrato che i …
Dana Angluin ( 1987 ; pdf ) definisce un modello di apprendimento con domande di appartenenza e domande di teoria (controesempi a una funzione proposta). Mostra che un linguaggio regolare che è rappresentato da un DFA minimo di stati è apprendibile in tempi polinomiali (dove le funzioni proposte sono DFA) …
Questa è una continuazione della mia precedente domanda sulla comunicazione limiti inferiori per funzioni booleane parziali . Qualcuno può suggerire qualche riferimento su limiti inferiori per la comunicazione non deterministica multiparty? Ho esaminato i documenti sul campo, ma tutti sembrano mostrare separazioni del seguente tipo: un limite inferiore per il …
La motivazione di questa domanda è il fatto che la maggior parte delle stringhe n-bit sono incomprimibili. Intuitivamente, possiamo proporre per analogia che la maggior parte delle prove per le tautologie sono incomprimibili alla dimensione polinomiale. Fondamentalmente, la mia intuizione è che alcune prove sono intrinsecamente casuali e non possono …
Esiste un 2DFA con stati (dove non è banale, diciamo almeno 4) che richiede almeno stati per simulare usando qualsiasi DFA?n 2 nnnnnnn2n2n2^n Un DFA a due vie (2DFA) è un automa a stati finiti deterministico che può spostarsi avanti e indietro sul suo nastro di input di sola lettura, …
La seguente questione è legata alla ottimalità del Bellman-Ford - t più breve algoritmo di programmazione percorso dinamico (vedi questo post per una connessione). Inoltre, una risposta positiva implicherebbe che la dimensione minima di un programma di ramificazione non deterministica monotona per il problema STCONN è Θ ( n 3 …
In poche parole, i teoremi della gerarchia temporale dicono che una macchina di Turing può risolvere più problemi se ha più tempo per il calcolo. In dettaglio per TM deterministico e funzioni costruibili nel tempo con è e per TM non deterministiche e funzioni costruibili nel tempo f, g con …
Vorrei sapere lo stato corrente della transizione di fase per k-sat casuale, date n variabili e clausole m, qual è il c = m / n più noto per i limiti superiore e inferiore.
In SODA 1995 , Jeff Erickson mostrato limiti inferiori per soddisfacibilità lineare (controllo se un qualche -subset di numeri reali soddisfa un'equazione lineare r variabili). Il metodo di prova utilizza infinitesimi e il principio di trasferimento di Tarski .rrrnnnrrr Qualcuno potrebbe spiegare l'intuizione dietro il percorso intrapreso per dimostrare questo …
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 …
Due stack possono essere implementati in modo efficiente utilizzando un array di dimensioni fisse: lo stack n. 1 inizia dall'estremità sinistra e cresce verso destra, mentre lo stack n. 2 inizia dall'estremità destra e cresce verso sinistra. Lo stesso è possibile per tre pile? Più in particolare, è possibile implementare …
Credo che le risposte a questa domanda classi dare tale che per tutti i polinomi , c'è un problema nella classe che non ha circuiti di dimensioni . Tuttavia, sto chiedendo informazioni sulla dimensione del circuito .p ( n ) ωpppp ( n )p(n)p(n)ω( n )ω(n)\omega \hspace{.02 in}(n) (⟨00,11, 22,31,44,51,66,71,88,91, …
Ho riscontrato la seguente domanda, che è un esercizio facile (spoiler di seguito). Ci vengono fornite istanze del problema di arresto (ovvero le TM ) e dobbiamo decidere esattamente quale di loro si ferma su . Cioè, dobbiamo produrre . Ci viene dato un oracolo per il problema dell'arresto, ma …
Non ho capito bene. Voglio dimostrare che il problema di ordinare una matrice per , cioè le righe e le colonne sono in ordine crescente è . Procedo supponendo che possa essere fatto più velocemente di e provo a violare il limite inferiore \ log (m!) Per i confronti necessari …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.