L'informatica teorica ha fornito alcuni esempi del "prezzo dell'astrazione". I due più importanti sono per l'eliminazione e l'ordinamento gaussiani. Vale a dire: È noto che l'eliminazione gaussiana è ottimale, ad esempio, per calcolare il determinante se si limitano le operazioni a righe e colonne nel loro insieme [1]. Ovviamente l'algoritmo …
Quando si progetta un algoritmo per un nuovo problema, se non riesco a trovare un algoritmo temporale polinomiale dopo un po ', potrei provare a dimostrare che è NP-difficile. Se ci riesco, ho spiegato perché non sono riuscito a trovare l'algoritmo del tempo polinomiale. Non è che io sappia per …
Negli anni '80, Razborov mostrò notoriamente che ci sono esplicite funzioni booleane monotone (come la funzione CLIQUE) che richiedono esponenzialmente molte porte AND e OR per il calcolo. Tuttavia, la base {AND, OR} sul dominio booleano {0,1} è solo un esempio di un insieme di gate interessanti che non sono …
Lascia che PRIMES (aka test di primalità ) sia il problema: Dato un numero naturale , n è un numero primo?nnnnnn Lascia che FACTORING sia il problema: Dati i numeri naturali , m con 1 ≤ m ≤ n , n ha un fattore d con 1 < d < …
L'avidità, per mancanza di una parola migliore, è buona. Uno dei primi paradigmi algoritmici insegnati nel corso degli algoritmi introduttivi è l' approccio avido . L'approccio avido si traduce in algoritmi semplici e intuitivi per molti problemi in P. Più interessante, per alcuni problemi NP-difficili l'algoritmo avido / locale ovvio …
Alcuni anni fa, c'era un lavoro di Joel Friedman relativo ai limiti del circuito inferiore alla coomologia di Grothendieck (vedi documenti: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/0604024 ). Questa linea di pensiero ha portato nuove intuizioni nella complessità booleana o rimane piuttosto una curiosità matematica?
Sia fff una funzione booleana e pensiamo a f come una funzione da {−1,1}n{−1,1}n\{-1,1\}^n a {−1,1}{−1,1}\{ -1,1 \} . In questo linguaggio l'espansione di Fourier di f è semplicemente l'espansione di f in termini di monomi quadrati liberi. (Questi 2n2n2^n monomi formano una base allo spazio delle funzioni reali su …
Il recente risultato del limite inferiore della complessità del circuito rivoluzionario di Ryan Williams fornisce una tecnica di prova che utilizza il risultato del limite superiore per dimostrare i limiti inferiori della complessità. Suresh Venkat nella sua risposta a questa domanda, ci sono risultati controintuitivi nell'informatica teorica? , ha fornito …
Devo calcolare la mediana corrente: Input: nnn , , vettore .( x 1 , x 2 , … , x n )Kkk( x1, x2, ... , xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) Output: vettore , dove è la mediana di .y i ( x i , x i + 1 , …
Domanda: Qual è il limite inferiore della formula più noto per una funzione esplicita in AC 0 ? Esiste una funzione esplicita con un limite inferiore ?Ω(n2)Ω(n2)\Omega(n^2) Sfondo: Come la maggior parte dei limiti inferiori, i limiti inferiori della dimensione della formula sono difficili da trovare. Sono interessato ai limiti …
È chiaro che qualsiasi problema decidibile nello spazio logistico deterministico ( LLL ) viene eseguito al massimo nel tempo polinomiale ( ). C'è una ricchezza di classi di complessità tra e . Gli esempi includono , , , , , . E 'opinione diffusa che .L P N L L …
So che banalmente la funzione OR su nnn variabili x1,…,xnx1,…,xnx_1,\ldots, x_n può essere rappresentata esattamente dal polinomio p(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n) come tale: p(x1,…,xn)=1−∏ni=1(1−xi)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) = 1-\prod_{i = 1}^n\left(1-x_i\right) , che è di grado nnn . Ma come potrei mostrare, ciò che sembra ovvio, che se è un polinomio che rappresenta esattamente la funzione …
Un polinomio f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) è una proiezione monotona di un polinomio g(y1,…,ym)g(y1,…,ym)g(y_1,\ldots,y_m) se mmm = poli (n)(n)(n) , e c'è un incarico tale che f ( x 1 , … , x n ) =π:{y1,…,ym}→{x1,…,xn,0,1}π:{y1,…,ym}→{x1,…,xn,0,1}\pi:\{y_1,\ldots,y_m\}\to\{x_1,\ldots,x_n, 0,1\} . Cioè, è possibile sostituire ogni variabile y j di g con una variabile x …
A seguito di una domanda precedente , quali sono i migliori limiti inferiori dello spazio corrente per SAT? Con un limite inferiore dello spazio qui intendo il numero di celle del worktape utilizzate da una macchina di Turing che utilizza un alfabeto binario del worktape. Un termine additivo costante è …
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.