Scienza del computer

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

3
Per ogni funzione calcolabile
Per ogni funzione calcolabile esiste un problema che può essere risolto al meglio in tempo di oppure esiste una funzione calcolabile tale che ogni problema che può essere risolto in può anche essere risolto in tempo?Θ ( f ( n ) ) f O ( f ( n ) ) …
1
Problema decisionale tale che qualsiasi algoritmo ammette un algoritmo esponenzialmente più veloce
In Algorithmics for Hard Problems (2a edizione) di Hromkovič c'è questo teorema (2.3.3.3, pagina 117): Esiste un problema di decisione (decidibile) tale che per ogni algoritmo che risolve esiste un altro algoritmo che risolve anche e soddisfa inoltrePPPP A ′ PUNAAPPPA′A′A'PPP ∀∞n∈N.TimeA′(n)=log2TimeA(n)∀∞n∈N.TimeA′(n)=log2⁡TimeA(n)\qquad \forall^\infty n \in \mathbb{N}. \mathrm{Time}_{A'}(n) = \log_2 \mathrm{Time}_A(n) …
3
Ray Tracing rispetto al rendering basato su oggetti?
I corsi di grafica di introduzione di solito hanno un progetto che ti chiede di costruire un ray tracer per rendere una scena. Molti studenti di grafica che entrano nella scuola di specializzazione affermano di voler lavorare sul ray tracing. Eppure sembra che il ray tracing sia un campo morto …
19 graphics 
2
Quanti spigoli può avere un grafico unipatico?
Un grafico unipatico è un grafico diretto in modo tale che vi sia al massimo un percorso semplice da un vertice a qualsiasi altro vertice. I grafici unipatici possono avere cicli. Ad esempio, un elenco doppiamente collegato (non circolare!) È un grafico unipatico; se l'elenco ha elementi, il grafico ha …
2
Algoritmi di verifica del tipo
Sto iniziando una ricerca bibliografica personale sugli algoritmi di controllo del tipo e voglio alcuni consigli. Quali sono gli algoritmi, le strategie e le tecniche generali di controllo del tipo più comunemente usati? Sono particolarmente interessato a complessi algoritmi di controllo del tipo che sono stati implementati in linguaggi tipizzati …
2
L'operazione "differenza" aggiunge espressività a un linguaggio di query che include già "join"?
L'operatore differenza set (ad esempio, EXCEPTin alcune varianti SQL) è uno dei tanti operatori fondamentali dell'algebra relazionale. Tuttavia, ci sono alcuni database che non supportano direttamente l'operatore di differenza impostata, ma che supportano LEFT JOIN(una sorta di join esterno), e in pratica questo può essere usato al posto di un'operazione …
6
In che modo la programmazione dinamica è diversa dalla forza bruta
Stavo leggendo sulla programmazione dinamica quando mi sono imbattuto nella seguente citazione Un algoritmo di programmazione dinamica esaminerà tutti i modi possibili per risolvere il problema e sceglierà la soluzione migliore. Pertanto, possiamo approssimativamente pensare alla programmazione dinamica come a un metodo intelligente e a forza bruta che ci consente …
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.