Domande taggate «computability»

Teoria della computabilità nota anche come teoria della ricorsione.

1
Un esempio in cui il termine lambda normale più piccolo non è il più veloce
Lasciare la di λ Capitolato essere definita come segue:sizesizesizeλλ\lambda ,size(x)=1size(x)=1size(x) = 1 ,size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 .size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 Lasciare la complessità di un -term t essere definito come il numero di riduzioni beta parallele da t x alla sua forma normale (usando un …
1
Numeri naturali non comparabili
Il "nome del gioco numero più grande" chiede a due giocatori di scrivere un numero in segreto, e il vincitore è la persona che ha scritto il numero più grande. Il gioco generalmente consente ai giocatori di annotare le funzioni valutate in un determinato momento, quindi anche 222222222^{2^{2^{2}}} sarebbe una …
4
Esiste un'analisi matematica algoritmica?
Esistono teoria dei grafi algoritmica / teoria dei numeri / combinatoria / teoria dell'informazione / teoria dei giochi. Esiste un'analisi matematica algoritmica? Secondo il wiki, l'analisi matematica include le teorie della differenziazione, integrazione, misura, limiti, serie infinite e funzioni analitiche. È OK concentrarsi sull'analisi reale (wiki) che si occupa dei …
2
Come giudicare la definizione di complessità computazionale dei reali è naturale o adatta?
Come sappiamo, la definizione della complessità computazionale dell'algoritmo è quasi senza controversie, ma la definizione della complessità computazionale dei reali o dei modelli di calcolo sui reali non è in tal caso. Conosciamo il modello e il modello di Blum e Smales nel libro Analisi calcolabile. E apparentemente, il modello …
2
Come posso calcolare i nodi?
Esiste un modo documentato per calcolare i nodi? (circonferenze incorporate in uno spazio euclideo tridimensionale). Voglio dire, un tipo di dati per rappresentarli e un algoritmo per determinare se due istanze del tipo di dati rappresentano lo stesso nodo. Se la risposta è positiva, che dire della complessità di quel …
2
Decidibilità dell'uguaglianza dei CFL
Il problema seguente è decidibile: Data una grammatica senza contesto , ?solsolGL ( G ) = ∅L(sol)=∅L(G) = \varnothing Il seguente problema è indecidibile: Data una grammatica senza contesto , ?solsolGL ( G ) = A*L(sol)=UN*L(G) = A^{\ast} Esiste una caratterizzazione delle lingue senza contesto con uguaglianza decidibile ?MMML ( …
4
Esiste una nozione di calcolabilità su set diversi dai numeri naturali?
Esiste una nozione di calcolabilità su set diversi dai numeri naturali? Per amor di discussione, diciamo sui set SSS che biject con NN\mathbb{N} . È allettante dire "sì, sono quelle funzioni della forma g∘f∘g−1g∘f∘g−1g \circ f \circ g^{-1} dove ggg è qualsiasi biiezione N→SN→S\mathbb{N} \to S e fff è qualsiasi …
1
Equilibrio in un gioco di arresto
Considera il seguente gioco a 2 giocatori: La natura sceglie casualmente un programma Ogni giocatore gioca un numero in [0, infinito] incluso in risposta alla mossa della natura Prendi il minimo dei numeri dei giocatori ed esegui il programma per (fino a) quel numero di passaggi (a meno che entrambi …
1
Le equazioni differenziali possono essere classificate nelle loro classi di complessità?
I problemi sono stati, nel complesso, classificati, grazie alla complessità computazionale. Ma, nelle equazioni differenziali, è possibile classificare le equazioni differenziali in base alla loro struttura computazionale? Ad esempio, se un'equazione non omogenea del primo ordine è relativamente difficile da risolvere rispetto ad un'equazione omogenea del 100 ° ordine, possono …
1
Teloni Turing reversibili?
Questa domanda è se ci sono tarp reversibili noti di Turing, dove "reversibile" significa nel senso di Axelsen e Glück , e "tarpit" è un concetto molto più informale (e potrebbe non essere un'ottima scelta di parole), ma farò del mio meglio per spiegare cosa intendo con questo. Cosa intendo …
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.