Scienza del computer

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

Funzioni ML da liste polimorfiche a liste polimorfiche

Sto imparando la programmazione in ML (OCaml) e in precedenza ho chiesto informazioni sulle funzioni di tipo ML'a -> 'b . Ora sto sperimentando un po 'con funzioni di tipo 'a list -> 'b list. Ci sono alcuni semplici esempi ovvi: let rec loop l = loop l let return_empty …

8 programming-languages typing functional-programming

Spiegare questa definizione formale di calcolo

Sto provando ad attaccare ancora una volta TAOCP, data la pesantezza letterale dei volumi che ho difficoltà a impegnarmi seriamente. In TAOCP 1 Knuth scrive, pagina 8, concetti di base: Permettere AAAessere un insieme finito di lettere. Sia l'insieme di tutte le stringhe in (l'insieme di tutte le sequenze ordinate …

7 formal-languages turing-machines computation-models

Rilevare semplici casi di problemi NP-difficili è facile?

La mia domanda è la seguente. Supponiamo che sia un problema NP-difficile. Data un'istanza arbitraria di e supponendo che un avversario sappia che questa istanza è facile da risolvere, è possibile trovare un algoritmo deterministico in tempo polinomiale per risolvere questa particolare istanza ?ΠΠ\PiIIIΠΠ\PiIII Ad esempio: supponiamo che sia GRAPH …

6 complexity-theory np-complete np-hard np p-vs-np

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.