Un recente post sul blog di puzzle sulla ricerca di tre equidistanti mi porta a una domanda stackoverflow con una risposta superiore che afferma di farlo in tempo O (n lg n). La parte interessante è che la soluzione prevede la quadratura di un polinomio, facendo riferimento a un documento …
Di recente sono diventato estremamente interessato a comprendere e dimostrare aspetti dei linguaggi di programmazione (funzionali). Tuttavia, mentre mi tuffo più a fondo, cose come calcolo λ , la teoria delle categorie e la semantica denotazionale sono un po 'difficili da capire senza una spiegazione adeguata.λλ\lambda Ho letto SICP (un …
Le macchine contatore con due o più contatori sono generalmente mostrate equivalenti alle macchine di Turing in corsi sulla teoria del calcolo. Tuttavia, non ho visto un'analisi formale di quali lingue possano essere riconosciute da una macchina a un contatore. Queste lingue sono equivalenti alle lingue senza contesto (forse per …
Apparentemente, se P=NPP=NP{\sf P}={\sf NP} , tutte le lingue in PP{\sf P} tranne ∅∅\emptyset e Σ∗Σ∗\Sigma^* sarebbero NPNP{\sf NP} complete. Perché queste due lingue in particolare? Non possiamo ridurre a loro qualsiasi altra lingua in PP{\sf P} emettendole quando accettiamo o non accettiamo?
Gli attuali algoritmi di scacchi scendono di circa 1 o forse 2 livelli lungo un albero di possibili percorsi a seconda delle mosse del giocatore e delle mosse dell'avversario. Diciamo che abbiamo la potenza di calcolo per sviluppare un algoritmo che prevede tutti i possibili movimenti dell'avversario in una partita …
Questo problema, per me, sembra molto interessante. Stava per trovare un semplice ciclo (cioè un ciclo in cui non si ripetono nodi) in un grafico diretto. La mia soluzione sta andando in questo modo, cioè questo grafico è un problema di caso: So che c'è un ciclo in un grafico, …
In una lezione un professore ha affermato che i computer moderni non hanno la stessa potenza computazionale di una macchina di Turing perché non hanno una memoria infinita, e poiché nessun computer può avere memoria infinita, la macchina di Turing è quindi irraggiungibile e rappresenta semplicemente il limite superiore di …
Ho letto Introduzione agli algoritmi di Cormen et al. e sto leggendo la dichiarazione del teorema del Maestro a partire da pagina 73 . Nel caso 3 esiste anche una condizione di regolarità che deve essere soddisfatta per usare il teorema: ... 3. Se f(n)=Ω(nlogba+ε)f(n)=Ω(nlogba+ε)\qquad \displaystyle f(n) = \Omega(n^{\log_b a …
Sia A riducibile a B, vale a dire, A≤BA≤BA \leq B . Quindi, la macchina di Turing accettando AAA ha accesso ad un oracolo di BBB . Lasciare che la macchina di Turing accettando AAA essere MAMAM_{A} e l'oracolo di BBB sia OBOBO_{B} . I tipi di riduzioni: Riduzione Turing: …
Dato un insieme di serie, mi piacerebbe trovare una serie M tale che ogni insieme S a S contiene almeno un elemento di M . Vorrei anche che M contenesse il minor numero possibile di elementi pur rispettando questo criterio, sebbene possa esistere più di una M più piccola con …
Sto cercando di derivare il classico documento nel titolo solo con mezzi elementari (nessuna funzione generatrice, nessuna analisi complessa, nessuna analisi di Fourier) sebbene con molta meno precisione. In breve, "solo" voglio dimostrare che l'altezza media hnhnh_n di un albero con nnn nodi (ovvero il numero massimo di nodi dalla …
Sono un assistente di autoapprendimento e ho deciso di iniziare alcune prove di base e di fare carriera. Poiché le prove si basano su altre prove e formano quindi una gerarchia, esiste un deposito della gerarchia delle prove? So di poter scegliere un particolare correttore di bozze e analizzare la …
Sto usando un computer digitale per scrivere questo messaggio. Tale macchina ha una proprietà che, se ci pensate, è in realtà abbastanza notevole: è una macchina che, se programmata in modo appropriato, può eseguire qualsiasi calcolo possibile . Naturalmente, le macchine calcolatrici di un tipo o dell'altro risalgono all'antichità. Le …
Sto lavorando a un compilatore per un linguaggio concatenativo e vorrei aggiungere il supporto per l'inferenza del tipo. Capisco Hindley-Milner, ma sto imparando la teoria dei tipi mentre vado, quindi non sono sicuro di come adattarlo. Il seguente sistema è sano e decisamente inferibile? Un termine è un letterale, una …
L'algoritmo di minimizzazione DFA di Brzozowski crea un DFA minimo per DFA solsolG : invertendo tutti gli spigoli in solsolG , rendendo lo stato iniziale uno stato accetta, e gli stati accetta iniziale, per ottenere un NFA N'N'N' per la lingua inversa, usando la costruzione di powerset per ottenere G′G′G' …
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.