Capisco che un numero di chiesa assomigli a (... n volte ...) . Questo significa altro che "la funzione applicate volte alla funzione ". λ s . λ z . s scncnc_nλ s . λ z. Sλs.λz.s\lambda s. \lambda z. ss n zSzszs\;zSssnnnzzz Una possibile definizione della funzione è la …
Considera un modello CSP in cui la modifica del valore di una particolare variabile è costosa. C'è qualche lavoro in cui la funzione obiettivo considera anche il numero di cambiamenti nel valore della variabile durante il processo di ricerca? Un esempio: la variabile costosa da cambiare può essere nel controllo …
In un tracciatore di raggi di Pentecoste, ogni intersezione raggio-oggetto genera un raggio trasmesso (se l'oggetto era traslucido), un raggio riflesso e un raggio ombra. Il raggio d'ombra contribuisce al componente di illuminazione diretta. Ma cosa succede se il raggio d'ombra interseca un oggetto trasparente? Il componente di illuminazione diretta …
Dato un intero e un insieme di terzine di interi distinti trova un algoritmo che trova una permutazione dell'insieme tale che o determina correttamente che non esiste tale permutazione. Meno formalmente, vogliamo riordinare i numeri da 1 a ; ciascun triplo in indica che deve apparire prima nel nuovo ordine, …
Ho il seguente problema algoritmico: Determina la complessità di Turing nello spazio nel riconoscere stringhe di DNA che sono palindromi di Watson-Crick. I palindromi di Watson-Crick sono stringhe il cui complemento invertito è la stringa originale. Il complemento è definito a lettere, ispirato al DNA: A è il complemento di …
Sono curioso. Ho lavorato su questo tipo di dati in OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Che può essere manipolato usando funzioni ricorsive tipizzate in modo esplicito (una funzione che …
Nella teoria dei codici, "quanto è buono un codice" indica quanti errori di canale possono essere corretti o, meglio, il livello di rumore massimo che il codice può gestire. Per ottenere codici migliori, i codici sono progettati utilizzando un alfabeto grande (anziché binario). E poi, il codice è buono se …
OK, quindi ecco una domanda di un test passato nella mia classe di Teoria del calcolo: Uno stato inutile in una TM è quello che non viene mai inserito in nessuna stringa di input. Let Dimostra che U S E L E S S T M è indecidibile.U S E …
Sto cercando di capire cosa c'è che non va nella seguente prova della seguente ricorrenza T(n)=2T(⌊n2⌋)+nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq 2\left(c\left\lfloor\frac{n}{2}\right\rfloor\right)+n \leq cn+n = n(c+1) =O(n) La documentazione dice che è sbagliato a causa dell'ipotesi induttiva che Cosa mi sto perdendo?T(n)≤cnT(n)≤cn T(n) \leq cn
Nel accoppiamento stabile problema , si precisa che non ci può esistere casi in cui la lista degli uomini può essere contenuto con le loro decisioni, ma l'elenco dei non può quando l'algoritmo viene eseguito con proposte maschili.mmmfff Da quello che ho letto, si verifica una corrispondenza instabile quando e …
Let l'insieme di terminale e l'insieme di simboli non terminali di alcuni grammatica libera dal contesto .N GΣΣ\SigmaNNNsolGG Supponiamo che io abbia una stringa tale che dove e sono le forme proposizionali di . x a y ∈ S ( G ) x , y ∈ ( Σ ∪ N …
La pianificazione a due livelli è utile quando un sistema esegue più processi di quelli che si adattano alla RAM: uno scheduler di livello inferiore commuta tra i processi residenti e uno scheduler di livello superiore scambia gruppi di processi dentro e fuori. Non trovo altra menzione della pianificazione a …
Originariamente su math.SE ma senza risposta lì. Considera il seguente algoritmo. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if …
Scrivi per l'espansione decimale di (senza inizio ). Lasciate e interi, con . Considera la lingua delle espansioni decimali dei multipli di più una costante:ˉ nn¯\bar n nnn0aaabbba>0a>0a > 0aaa M = { ¯ ax + b ∣x∈N}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} è regolare? context-free?MMM (Contrasto con la …
Allo stato attuale, questa domanda non è adatta al nostro formato di domande e risposte. Ci aspettiamo che le risposte siano supportate da fatti, riferimenti o competenze, ma questa domanda probabilmente solleciterà dibattiti, argomenti, sondaggi o discussioni estese. Se ritieni che questa domanda possa essere migliorata e possibilmente riaperta, visita …
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.