Capisco di cosa si tratta, ma non vedo come sia utile per algoritmi o altro. Forse mi manca qualcosa. Ho bisogno di qualcuno che mi dia un esempio di come può essere utilizzato in modo da poterlo capire meglio.
Nella teoria dei tipi podcast ep. 3 , Dan Licata afferma che il fatto che per ogni input, insertionsort e mergesort fornisca lo stesso risultato non implica che il risultato sarebbe uguale se usato come funzioni di ordine superiore come argomenti per una terza funzione, cioè map insertionsortnon deve essere …
Sarei sorpreso se questo non è un problema ben studiato, ma non sono sicuro di cos'altro cercare a questo punto: ti viene dato un set di binari nnn-vettori S⊂ { 0 , 1}nS⊂{0,1}nS \subset \{0,1\}^n. Il problema è trovare un altro set di binarinnn-vettori B ⊂ { 0 , 1}nB⊂{0,1}nB …
Alla mia domanda vengono sostanzialmente date tre lingue A, B e L, in cui L è A e B concatenate insieme e B si dimostra non regolare, è possibile trovare una A che rende L regolare?
Non sono stato in grado di trovare un grafico che descriva o rispondi al testo rispondendo alla seguente domanda: Esiste una relazione diretta tra la complessità di un algoritmo (come il caso migliore / peggiore di ordinamento rapido) e la classe di automi che possono implementare l'algoritmo. Ad esempio, esiste …
Test identità polinomio è l'esempio standard di un problema noto per essere in co-RP ma non noto per essere in P . Sui circuiti aritmetici , sembra davvero difficile, poiché il grado del polinomio può essere reso esponenzialmente ampio ripetendo la quadratura. Questa domanda affronta il problema di come aggirare …
Ho realizzato il seguente (non golf) programma Haskell per la sfida del codice golf del calcolo del primonnnvalori di A229037 . Questa è la mia soluzione proposta per calcolare il nnnvalore th: a n | n<1 = 0 | n<3 = 1 | otherwise = head (goods n) goods n …
Questa domanda è abbastanza specifica nel modo in cui vengono prese le misure per risolvere il problema. Dato dimostra che .T(n)=2T(2n/3)+O(n)T(n)=2T(2n/3)+O(n)T(n)=2T(2n/3)+O(n)T(n)=O(n2)T(n)=O(n2)T(n)=O(n^2) Quindi i passaggi erano i seguenti. Vogliamo dimostrare che .T(n)≤cn2T(n)≤cn2T(n) \le cn^2 T(n)=2T(2n/3)+O(n)≤2c(2n/3)2+an≤(8/9)(cn2)+anT(n)=2T(2n/3)+O(n)≤2c(2n/3)2+an≤(8/9)(cn2)+an\begin{align*} T(n)&=2T(2n/3)+O(n) \\ &\leq 2c(2n/3)^2+an\\ &\leq (8/9)(cn^2)+an \end{align*} e poi il mio prof ha continuato a fare: …
Il problema di parità prefisso può essere definito come segue. Ti viene data una stringa di lunghezza e inizialmente ogni carattere èSSSnnn000. Quindi si desidera creare una struttura di dati in grado di supportare gli aggiornamenti come segue. Per una data iii modificare S[i]S[i]S[i] per entrambi 000 o 111 per …
Stavo leggendo CLRS e mi chiedeva di mostrare che se è un numero primo della forma e era un residuo quadratico, allora è una radice quadrata (si può anche facilmente dimostrare che è una radice quadrata).ppp4k+34k+34k+3aaaak+1ak+1a^{k+1}a−ka−ka^{-k} Mi chiedevo se usando il fatto precedente e anche che sapevamo di avere un …
Se f: N → Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} è calcolabile e ha un inverso, in quali condizioni f- 1f−1f^{-1}anche calcolabile? Non riuscivo a trovarlo in un libro di testo e googling riceve alcuni vaghi suggerimenti sul biiettivo, ma non sono riuscito a trovare un teorema chiaramente dichiarato in tal senso. Di mano, il …
Abbiamo due lingue: L1,L2L1,L2L_1,L_2. Lo sappiamoL1L2L1L2L_1L_2 è un linguaggio normale, quindi la mia domanda è se L2L1L2L1L_2L_1 è normale? Cerco di trovare un modo per dimostrarlo ... Ovviamente non posso supporre che L1,L2L1,L2L_1,L_2sono regolari ... Quindi cerco un modo per dimostrarlo. Vorrei avere qualche suggerimento! Grazie!
Quindi abbiamo appena appreso sull'auto-riducibilità in classe. Il mio professore e il nostro libro di testo non si impegnerebbero a dire che tutti i problemi di NP sono auto-riducibili, ma non sembrano esserci esempi di problemi che non lo siano. Mi chiedevo se ci sono esempi o se è solo …
Per quanto ne sappia, l'arresto del problema chiede se esiste un programma che decide se un programma viene testato, dati alcuni dati di input (non importa quale programma sia, o quali dati di input che forniamo) verrà chiuso o meno. La risposta a questo problema è "no". In altre parole, …
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.