Scienza del computer

4

Le funzioni sono sempre asintoticamente comparabili?

Quando confrontiamo la complessità di due algoritmi, di solito accade che f( n ) = O ( g( n ) )f(n)=O(g(n))f(n) = O(g(n)) o g( n ) = O ( f( n ) )g(n)=O(f(n))g(n) = O(f(n)) (possibilmente entrambi), dove fff e ggg sono i tempi di esecuzione (ad esempio) dei …

15 asymptotics mathematical-analysis

5

Ci sono proprietà indecidibili di automi non turing completi?

Ci sono proprietà indecidibili di automi limitati lineari (evitando il trucco del linguaggio set vuoto)? Che dire di un automa deterministico finito? (metti da parte l'intrattabilità). Vorrei fare un esempio (se possibile) di un problema indecidibile che viene definito senza usare esplicitamente le macchine di Turing . La completezza di …

15 computability automata undecidability

1

Tutti i soldati dovrebbero sparare allo stesso tempo

Quando ero uno studente, ho visto un problema in un manuale di progettazione digitale di sistemi / logica, che parlava di N soldati in fila e che volevano girare allo stesso tempo. Una versione più difficile del problema era che i soldati stavano in una rete generale anziché in una …

15 algorithms distributed-systems clocks

3

Risoluzione di equazioni di ricorrenza contenenti due chiamate di ricorsione

Sto cercando di trovare un limite per la seguente equazione di ricorrenza:ΘΘ\Theta T(n)=2T(n/2)+T(n/3)+2n2+5n+42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Immagino che il Teorema del Maestro sia inappropriato a causa della diversa quantità di sottoproblemi e divisioni. Inoltre, gli alberi di ricorsione non funzionano poiché non …

15 asymptotics recurrence-relation master-theorem

1

Trova il percorso più lungo dalla radice alla foglia in un albero

Ho un albero (nel senso della teoria dei grafi), come nel seguente esempio: Questo è un albero diretto con un nodo iniziale (la radice) e molti nodi finali (le foglie). A ciascun bordo è assegnata una lunghezza. La mia domanda è: come trovare il percorso più lungo che inizia alla …

15 algorithms graphs

4

Una lingua del programma può essere sufficientemente malleabile per consentire ai programmi di estendere la semantica della lingua

Con riferimento a funzionalità in linguaggi come ruby (e javascript), che consentono a un programmatore di estendere / sovrascrivere le classi in qualsiasi momento dopo averlo definito (comprese le classi come String), è teoricamente fattibile progettare un linguaggio che consenta ai programmi di estenderli in seguito la sua semantica. es: …

15 programming-languages semantics

3

Come affrontare i problemi relativi ai grafici dinamici

Ho fatto questa domanda a StackOverflow generico e sono stato diretto qui. Sarebbe bello se qualcuno potesse spiegare come affrontare problemi grafici parziali o completamente dinamici in generale. Per esempio: Trova il percorso più breve tra due vertici in un grafico ponderato non indirizzato per n istanze, quando un bordo …

15 algorithms data-structures graphs

2

Intersezione circolare con algoritmo Sweep Line

Sfortunatamente non sono ancora così forte nel comprendere l' algoritmo Sweep Line . Tutti i documenti e i libri di testo sull'argomento sono già stati letti, tuttavia la comprensione è ancora lontana. Solo per chiarire, provo a risolvere quanti più esercizi possibile. Ma compiti davvero interessanti e importanti sono ancora …

15 algorithms computational-geometry

3

Porte logiche da materiali di uso quotidiano

Le porte logiche sono un dispositivo astratto che può essere implementato con relè elettromagnetici, tubi a vuoto o transistor. Queste implementazioni hanno avuto successo nell'informatica in parte a causa delle varie proprietà di catenabilità, durata e dimensioni oltre alla loro stabilità binaria di base. Funzionano bene anche perché l'elettricità è …

15 computer-architecture didactics

1

Potere computazionale di automi deterministici rispetto a automi min heap non deterministici

Questa è una domanda di follow-up di questo . In una precedente domanda sulle macchine a stati esotici , Alex ten Brink e Raphael hanno affrontato le capacità computazionali di un tipo particolare di macchina a stati: automi min-heap. Sono stati in grado di dimostrare che l'insieme delle lingue accettate …

15 formal-languages automata nondeterminism

2

Tempo dedicato ai requisiti e ai suoi effetti sul successo del progetto e sui tempi di sviluppo

Esistono prove che suggeriscono che il tempo impiegato per scrivere o pensare ai requisiti avrà qualche effetto sul tempo di sviluppo? Uno studio condotto da Standish (1995) suggerisce che i requisiti incompleti (13,1%) hanno contribuito in parte al fallimento dei progetti. Sono stati condotti studi che dimostrano che il tempo …

15 software-engineering

2

Quale metodo è preferito per la memorizzazione di oggetti geometrici di grandi dimensioni in un quadrifoglio?

Quando si posizionano oggetti geometrici in un quadrifoglio (o ottetto), è possibile posizionare oggetti più grandi di un singolo nodo in alcuni modi: Posizionamento del riferimento dell'oggetto in ogni foglia per cui è contenuto Posizionamento del riferimento dell'oggetto nel nodo più profondo per il quale è completamente contenuto Sia # …

15 graphics data-structures computational-geometry

2

Numero di parole di una determinata lunghezza in una lingua normale

Esiste una caratterizzazione algebrica del numero di parole di una determinata lunghezza in una lingua normale? Wikipedia afferma un risultato in qualche modo impreciso: Per ogni linguaggio regolare esistono costanti e polinomi tali che per ogni il numero di le parole di lunghezza in soddisfano l'equazione .λ 1 ,LLLp 1 …

15 formal-languages regular-languages word-combinatorics

3

Esistono insiemi numerabili che non sono calcolabili in modo calcolabile?

Un insieme è numerabile se ha una biiezione con i numeri naturali ed è calcolabile (ce) calcolabile se esiste un algoritmo che elenca i suoi membri. Qualsiasi insieme non numerabile calcolabile calcolabile deve essere numerabile in quanto possiamo costruire una biiezione dall'enumerazione. Ci sono esempi di insiemi numerabili che non …

15 computability semi-decidability

2

Qual è un esempio di una formula insoddisfacente 3-CNF?

Sto cercando di avvolgere la mia testa attorno a una prova di completezza NP che sembra ruotare attorno a SAT / 3CNF-SAT. Forse è l'ora tarda ma temo di non riuscire a pensare a una formula 3CNF che non può essere soddisfatta (probabilmente mi manca qualcosa di ovvio). Puoi darmi …

15 logic satisfiability 3-sat