Domande taggate «complexity-theory»

Domande relative alla complessità (computazionale) della risoluzione dei problemi

1
Somma sottoinsieme consente multiset?
Nel problema Somma sottoinsieme alcuni dei numeri indicati essere uguali? Ad esempio, potremmo avere e l'obiettivo è ? Posso presumere che ho una soluzione specifica con i numeri e e e non lo è?a1,a2,a3,…,ana1,a2,a3,…,ana_1,a_2,a_3,\dots,a_n[1,1,1,2,3,4][1,1,1,2,3,4][1,1,1,2,3,4]5552223331,1,11,1,11,1,1222
1
Scrivere un numero come due quadrati e scrivere i fattori di un numero è altrettanto difficile?
Lascia che e siano i seguenti:L1L1L_1L2L2L_2 L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L_2=\{(N,M): M<N, \exists 1<d\leq M \text{ such that d|N} \} RichiediL1≤PL2L1≤PL2L_1 \leq_P L_2 Prova di schizzo Se voglio sapere se .r∈L1r∈L1r\in L_1 Il …
2
Perché il secondo teorema di incompletezza di Godel non esclude una dimostrazione formalizzabile di P! = NP?
Sono sicuro che ci deve essere qualcosa di sbagliato nel seguente ragionamento perché altrimenti molta ricerca P vs. NP sarebbe ridotta ma non posso determinare il mio errore: Per qualsiasi numero intero fisso definirek&gt;0k&gt;0k>0Bk:={⟨φ⟩|φis a wff of ZF and has a proof of length≤k|φ|k}Bk:={⟨φ⟩|φis a wff of ZF and has …
1
Isomorfismo grafico e gruppo di automorfismi
Un approccio comune per decidere se due determinati grafici sono isomorfi è quello di calcolare la cosiddetta etichetta canonica (in alternativa, grafico canonico) di ciascun grafico e di verificare se quelli corrispondono o meno. Strumenti come Nauty calcolano il grafico canonico tramite alberi di ricerca che vengono potati usando alcune …
2
Cos'è la teoria della complessità strutturale?
Sono nuovo alla teoria della complessità e voglio sapere cos'è la teoria della complessità strutturale? quali sono i problemi che i teorici cercano di risolvere in questo campo e qual è il suo futuro? Da Wikipedia: La teoria della complessità strutturale o semplicemente la complessità strutturale è lo studio delle …
1
Esiste un problema NP-completo, tale che la versione decisionale del suo problema di conteggio non è completa PP?
Una volta risolto un verificatore deterministico di tempo polinomiale V (input, certificato), il problema NP corrispondente è la domanda: per questo input esiste un certificato (dimensione polinomiale) tale che V (input, certificato) restituisce True? Il problema di conteggio associato (classe #P) è: quanti certificati esistono tali che V (input, certificato) …
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.