Scienza del computer

Domande e risposte per studenti, ricercatori e professionisti dell'informatica

3
Prove usando il lemma di pompaggio regolare
Ho due domande: Considero la seguente lingua In altre parole, non è palindromo di lunghezza pari. Ho dimostrato che questa lingua NON è regolare dimostrando che il suo complemento non è regolare. La mia domanda è come dimostrarlo usando il lemma del pompaggio senza usare il complemento.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* …
3
Perché è
3n=2O ( n )3n=2O(n)3^n = 2^{O(n)}è apparentemente vero. Ho pensato che fosse falso però perché3n3n3^n cresce più velocemente di qualsiasi funzione esponenziale con una base di 2. Com'è 3n=2O ( n )3n=2O(n)3^n = 2^{O(n)} vero?
1
Domanda relativa al decimo problema di Hilbert
Dato n ∈ Nn∈Nn \in \mathbb{N} e p , q∈ N [X1, ... ,Xn]p,q∈N[x1,…,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] si può definire la seguente formula nel linguaggio dell'aritmetica formale φ ( n , p , q) = ∀X1⋯ ∀Xn: ¬ ( p (X1, ... ,Xn) = q(X1, ... ,Xn) )φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))\varphi(n,p,q) = \forall x_1 …
3
Lingue senza contesto chiuse sotto Inversione
In classe questa settimana abbiamo imparato a conoscere i CFL e le loro proprietà di chiusura. Ho visto prove di unione, intersezione e complimenti, ma per l'inversione il mio conferenziere ha appena dichiarato chiuso. Volevo vedere la prova, quindi ho cercato negli ultimi giorni, ma tutto quello che ho trovato …
2
Il grafico 3-colorabilità è auto-riducibile
Sono interessato all'auto-riducibilità del problema del grafico 3-Coloralibity. Definizione del problema grafico a 3 coloralità. Dato un grafico non orientato esiste un modo per colorare i nodi rosso, verde e blu in modo che nessun nodo adiacente abbia lo stesso colore?GGG Definizione di auto-riducibilità. Una lingua è auto-riducibile se esiste …
2
C'è qualche problema non banale nella teoria degli algoritmi seriali con un limite inferiore polinomiale non banale di ?
Nella teoria degli algoritmi distribuiti, ci sono problemi con limiti inferiori, come , che sono "grandi" (intendo, più grandi di ) e non banali. Mi chiedo se ci sono problemi con limiti simili nella teoria dell'algoritmo seriale, intendo ordine molto maggiore di .Ω(n2)Ω(n2)\Omega(n^2)Ω(nlogn)Ω(nlog⁡n)\Omega(n\log n)Ω(nlogn)Ω(nlog⁡n)\Omega(n\log n) Con banale intendo "ottenuto solo …
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.