Dato un insieme di punti spazio euclideo tridimensionale, il problema è quello di determinare se convesso contiene palla unitaria centrata all'origine.dnnnddd Questo problema è in NP? È in co-NP come si può dare un punto nella palla fuori dallo scafo convesso come testimone e verificare questo fatto usando la programmazione …
Un albero di spanning di un grafico è chiamato albero di completezza se l'insieme delle sue foglie induce un sottografo completo nel grafico host. Dato un grafico e un intero k , qual è la complessità di decidere se G contiene un albero di completezza con al massimo k foglie?GGGkkkGGGkkk …
Ho il seguente problema: Input: due serie di intervalli e T (tutti gli endpoint sono numeri interi). Query: esiste una biiezione monotona f : S → T ?SSSTTTf: S→ Tf:S→Tf:S \to T La biiezione monotona wrt set ordine inclusione e T . ∀ X ⊆ Y ∈ S , f …
Considera una lingua non vuota di stringhe binarie di lunghezza . Posso descrivere con un circuito booleano con ingressi e un'uscita tale che è vero se : questo è ben noto.LLLnnnLLLCCCnnnC(w)C(w)C(w)w∈Lw∈Lw \in L Tuttavia, voglio rappresentare con un booleana circuito con uscite ed un certo numero di ingressi, dire , …
L'isomorfismo grafico (il problema decisionale) è in ? Qui U P è la classe di problemi decisionali accettata da un'ambigua macchina di Turing (vedi lo zoo della complessità ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}
Stavo cercando di capire queste lezioni ma mi sono sempre confuso ... le domande sono: Qual è la relazione tra e # P , in particolare è una domanda aperta?FNPFNPFNP#P#P\#P Qual è la relazione di e N P ? questa domanda è aperta?⊕P⊕P\oplus PNPNPNP E la relazione tra e P …
Quanto è difficile il problema Imposta copertina se il numero di elementi è limitato da una funzione (ad esempio, ) dove è la dimensione dell'istanza del problema. formalmente,lognlogn\log nnnn Lascia che e dove e . Quanto è difficile decidere il seguente problemaU={e1,⋯,em}U={e1,⋯,em}\mathcal{U}=\{e_1, \cdots, e_m\}F= { S1, ⋯ , Sn}F={S1,⋯,Sn}\mathcal{F} = …
Ho sentito di un risultato nella colorazione approssimativa del grafico, ma non riesco a trovare la fonte. Il risultato è: Per ogni costante esiste una sufficientemente grande in modo tale che la colorazione di un grafico color con i colori sia NP-dura.hhhKKkKKkh khKhk Qualcuno potrebbe indicarmi il documento pertinente?
La maggior parte degli assistenti di prova ha una formalizzazione del concetto di "insieme finito". Queste formalizzazioni, tuttavia, differiscono selvaggiamente (anche se si spera che siano tutte sostanzialmente equivalenti!). Ciò che non capisco a questo punto è lo spazio di progettazione coinvolto e quali sono i pro e i contro …
Esistono algoritmi noti per il seguente problema che battono l'algoritmo ingenuo? Input: A sistema di m disuguaglianze lineari.A x ≤ bAx≤bAx \le bmmm Output: una soluzione fattibile se ne esiste una.X*∈ { 0 , 1 }nx∗∈{0,1}nx^*\in \{0,1 \}^n Supponiamo che e b abbiano voci intere. Sono interessato ai limiti del …
Quale algoritmo possiamo usare per trovare tutte le radici intere di un polinomio con coefficienti interi?f(x)f(x)f(x) Osservo che Sage riesce a trovare le radici in pochi secondi anche quando tutti i coefficienti di sono molto grandi. Come è in grado di farlo?f(x)f(x)f(x)
La classe di complessità è definita come segue (da Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Una lingua è in S P 2 se esiste un predicato polinomiale P tale cheLLLSP2S2PS_2^PPPP Se , allora esiste una y tale che per tutte z , P ( x , y , z ) = 1x ∈ Lx∈Lx …
Nella complessità della comunicazione, la congettura log-rank afferma che cc(M)=(logrk(M))O(1)cc(M)=(logrk(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 …
Sto scrivendo la tesi di laurea magistrale in CS e sto lavorando con l'analisi alias. La cosa che mi interessa è l'analisi intraprocedurale, sensibile al flusso e alias may per linguaggi simili a Java. Sto cercando testi che descrivono le basi di questo argomento in modo dettagliato ma non sono …
Esiste una formula naturale di formule CNF - preferibilmente una che è stata precedentemente studiata in letteratura - con le seguenti proprietà:CCC C F ∈ CCCC è un semplice caso di SAT, come ad esempio Horn o 2-CNF, vale a dire che l'appartenenza a può essere testata in tempo polinomiale …
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.