Domande taggate «big-picture»

Il tag di grandi dimensioni è per una "visione generale ampia o prospettiva di un problema o problema".

3
AM / MA e NP in analogia a P e BPP
Arora e Barak mostrano che può essere espresso come B P ⋅ N P, ovvero l'insieme delle lingue che hanno riduzioni randomizzate a 3SAT. M A è anche una generalizzazione randomizzata naturale di N P in quanto si sostituisce il verificatore deterministico con uno verificabile randomizzato.AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} C'è un senso …
4
Qual è la nozione più importante di scarsità per la progettazione di algoritmi grafici efficienti?
Esistono diverse nozioni concorrenti di un "grafico sparsa". Ad esempio, un grafico incorporabile in superficie potrebbe essere considerato scarso. O un grafico con densità del bordo limitata. O un grafico con circonferenza alta. Un grafico con grande espansione. Un grafico con larghezza dell'albero limitata. (Anche all'interno del sottocampo di grafici …
2
Il miglior protocollo di comunicazione aliena?
Diciamo che scopriamo civiltà aliene che sono in grado di inviare e ricevere messaggi utilizzando un canale di comunicazione digitale interstellare. (Supponiamo che tu abbia usato onde radio modulate, impulsi laser, riposizionamento di stelle in varie orbite.) Supponiamo che abbiamo deciso di metterci in contatto con loro. Una volta avviata …
2
Conseguenza di PIT su
Dato in modo tale che i coefficienti di p , q sono delimitate da B , vuol p ≡ q hold ?p ( x1, ... , xn) , q( x1, ... , xn) ∈ Z [ x1, ... , xn]p(x1,…,xn),q(X1,...,Xn)∈Z[X1,...,Xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p , qp,qp,qBBBp ≡ qp≡qp\equiv q Il lemma di …
2
C'è una spiegazione per la difficoltà di provare limiti inferiori quadratici per interessanti problemi NP?
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 …
4
Intelligenza umana e algoritmi
Ci sono stati studi per determinare se l'intelligenza umana può superare gli algoritmi (ovvero verificare se il teorema del No Free Lunch si applica all'intelligenza umana)? Sulla stessa linea, qualcuno ha sviluppato un metodo tecnico per sfruttare le proprietà uniche e sovracomputazionali dell'intelligenza umana?
1
Perché la congettura del log-rank usa il rank over the reals?
Nella complessità della comunicazione, la congettura log-rank afferma che cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Dove è la complessità della comunicazione di e è il rango di (come una matrice) rispetto ai reali.M ( x , y ) r k ( M ) Mcc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM Tuttavia, quando stai semplicemente usando il metodo rank …
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 …
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.