Domande taggate «decision-problem»

Una domanda in un sistema formale con una risposta sì o no.

2
Ciclo più lungo contenuto in due cicli
Il seguente problema è NP-completo? (Suppongo di si). Input: un grafico non orientato in cui il set di spigoli può essere scomposto in due semplici cicli spigolanti (questi non fanno parte dell'input).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Domanda: Esiste un ciclo semplice in con lunghezza maggiore di ?GGGkkk Ovviamente il problema è in …
2
Un
Voglio specificare cosa significa dare un'algebra come input per un algoritmo e non ho trovato molta letteratura a riguardo. Quindi, prima vorrei chiederti se puoi raccomandare un libro o un documento che affronti il ​​tema dell'analisi della complessità delle algebre sui campi e definire chiaramente il problema decisionale . Dopo …
3
Assegnazione numero
Dati numeri A_1 \ leq A_2 \ leq ... \ leq A_k tali che \ sum \ limits_ {i = 1} ^ k A_i = k (2k + 1) esiste un'assegnazione dei numeri i_1, i_2, ..., i_ {2k} che è una permutazione di 1, 2, ..., 2k tale chekkkk Σ …
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 …
1
Il problema dell'universo per gli automi a un contatore con dimensioni alfabetiche limitate è indecidibile?
Considera il seguente problema dell'universo . Il problema dell'universo. Dato un set finito per una classe di lingue e un automa che accetta la lingua , decidere se .ΣΣ\SigmaLLLL =Σ*L=Σ*L=\Sigma^* In [1], si afferma e si dimostra che il problema dell'universo è indecidibile per una particolare classe di automi a …
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.