Scienza del computer

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

2
Risolvere equazioni funzionali per funzioni sconosciute nel calcolo lambda
Esistono tecniche per risolvere equazioni funzionali per funzioni sconosciute nel calcolo lambda? Supponiamo che io abbia la funzione di identità definita in modo esteso come tale: Ix=xIx=xI x = x (cioè, scrivendo un'equazione per il comportamento previsto di quella funzione) e ora voglio risolverlo per facendo qualche trasformazione algebrica per …
2
Quali proprietà dei contro consentono l'eliminazione dei contro modulo di ricorsione della coda?
Conosco l'idea dell'eliminazione di base della ricorsione della coda, in cui le funzioni che restituiscono il risultato diretto di una chiamata a se stesse possono essere riscritte come cicli iterativi. foo(...): # ... return foo(...) Comprendo anche che, come caso speciale, la funzione può ancora essere riscritta se la chiamata …
7
Perché NFA è chiamato non deterministico?
Ho in mente questa [specie di divertente]. Perché l' automa finito non deterministico è chiamato non deterministico mentre definiamo le transizioni per gli input. Bene, anche se ci sono transizioni multiple ed epsilon , sono definite, il che significa che la macchina è deterministica per quelle transizioni. Ciò significa che …
3
Memoizzazione senza array
Nell'Introduzione agli algoritmi di Cormen et al. , La sezione 15.3 Elementi di programmazione dinamica spiega la memoizzazione come segue: Un algoritmo ricorsivo memorizzato mantiene una voce in una tabella per la soluzione di ciascun sottoproblema. Ogni voce della tabella contiene inizialmente un valore speciale per indicare che la voce …
5
Come trovare l'insieme massimo di elementi
Ho un problema algoritmico. Dato un array (o un insieme) di numeri interi non negativi. Trova l'insieme massimo di tale che per tutti ,.TTTnnnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| Per esempio: Se TTT = [1, 3, 4, 1, 3, 6], allora SSS può essere [3, 3, 6] o [3, 4, 6] o [4, …
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.