Scienza del computer

9

Che cos'è un linguaggio di programmazione sicuro?

I linguaggi di programmazione sicura (PL) stanno guadagnando popolarità. Mi chiedo quale sia la definizione formale di PL sicuro. Ad esempio, C non è sicuro, ma Java è sicuro. Ho il sospetto che la proprietà "sicura" dovrebbe essere applicata a un'implementazione PL piuttosto che al PL stesso. In tal caso, …

54 programming-languages

8

Il codice Morse senza spazi è decifrabile in modo univoco?

Tutte le stringhe di codice Morse sono decifrabili in modo univoco? Senza gli spazi, ......-...-..---.-----.-..-..-.. potrebbe essere, Hello Worldma forse la prima lettera è un 5: in effetti sembra molto improbabile che una sequenza arbitraria di punti e trattini debba avere una traduzione unica. Si potrebbe eventualmente usare la disuguaglianza …

54 information-theory coding-theory

7

Una macchina di Turing è "per definizione" la macchina più potente?

Sono d'accordo che una macchina di Turing può fare "tutti i possibili problemi matematici". Questo perché è solo una rappresentazione automatica di un algoritmo: prima fai questo, poi fai quello, infine lo metti in output. Voglio dire tutto ciò che è risolvibile può essere rappresentato da un algoritmo (perché questa …

54 algorithms turing-machines automata computation-models

7

Perché un processore ha 32 registri?

Mi sono sempre chiesto perché i processori si sono fermati a 32 registri. È di gran lunga il pezzo più veloce della macchina, perché non creare processori più grandi con più registri? Non significherebbe meno andare nella RAM?

52 computer-architecture

5

In che modo questo algoritmo di ordinamento Θ (n³) e non Θ (n²), nel caso peggiore?

Ho appena iniziato a seguire un corso su Strutture di dati e algoritmi e il mio assistente di insegnamento ci ha fornito il seguente pseudo-codice per ordinare una matrice di numeri interi: void F3() { for (int i = 1; i < n; i++) { if (A[i-1] > A[i]) { …

52 algorithm-analysis asymptotics runtime-analysis sorting

4

Cos'è la ricorsione della coda?

Conosco il concetto generale di ricorsione. Mi sono imbattuto nel concetto di ricorsione della coda mentre studiavo l'algoritmo quicksort. In questo video dell'algoritmo di ordinamento rapido del MIT alle 18:30 secondi il professore afferma che si tratta di un algoritmo ricorsivo di coda. Non mi è chiaro cosa significhi davvero …

52 algorithms reference-request recursion

2

Come definire le macchine quantistiche di Turing?

Nel calcolo quantistico, qual è il modello equivalente di una macchina di Turing? È abbastanza chiaro per me come si possano costruire circuiti quantici a partire da cancelli quantici, ma come possiamo definire una macchina quantistica di Turing (QTM) che può effettivamente beneficiare di effetti quantici, ovvero eseguire su sistemi …

52 quantum-computing turing-machines computation-models

3

Problema allo zaino: NP completo nonostante la soluzione di programmazione dinamica?

I problemi dello zaino sono facilmente risolti dalla programmazione dinamica. La programmazione dinamica viene eseguita in tempo polinomiale; è per questo che lo facciamo, giusto? Ho letto che in realtà è un problema NP completo, il che significherebbe che risolvere il problema nel problema polinomiale è probabilmente impossibile. Dov'è il …

52 complexity-theory np-complete dynamic-programming

2

Esistono algoritmi a tempo esponenziale per problemi NP-completi?

Ci sono problemi NP-completi che hanno dimostrato algoritmi a tempo esponenziale? Sto chiedendo gli input del caso generale, non sto parlando di casi speciali trattabili qui. Per sub-esponenziale, intendo un ordine di crescita superiore ai polinomi, ma inferiore a quello esponenziale, ad esempio .nlognnlog⁡nn^{\log n}

51 complexity-theory np-complete np

6

Perché alcuni giochi np-complete?

Ho letto la voce di Wikipedia su " Elenco di problemi NP-completi " e ho scoperto che giochi come Super Mario, Pokemon, Tetris o Candy Crush Saga non sono completi. Come posso immaginare la completezza del np di un gioco? Le risposte non devono essere troppo precise. Voglio solo avere …

50 complexity-theory np-complete computer-games

6

Mantenere una stringa segreta nel codice sorgente (aperto)

Ho finito di sviluppare un'app per Android e intendo pubblicarla con GPL: voglio che sia open source. Tuttavia, la natura dell'applicazione (un gioco) è che richiede enigmi e ha le risposte codificate nella risorsa stringa. Non riesco a pubblicare le risposte! Mi è stato detto di cercare di archiviare le …

50 arrays security

4

Perché il tempo polinomiale è chiamato "efficiente"?

Perché nell'informatica qualsiasi complessità al massimo polinomiale è considerata efficiente? Per qualsiasi applicazione pratica (a) , gli algoritmi con complessità sono molto più veloci degli algoritmi che funzionano nel tempo, diciamo, n 80 , ma il primo è considerato inefficiente mentre il secondo è efficiente. Dov'è la logica ?!nlognnlog⁡nn^{\log n}n80n80n^{80} …

50 algorithms complexity-theory terminology efficiency

2

Cosa succede ai contenuti della cache su un cambio di contesto?

In un processore multicore, cosa succede al contenuto della cache di un core (diciamo L1) quando si verifica un cambio di contesto su quella cache? Il comportamento dipende dall'architettura o è un comportamento generale seguito da tutti i produttori di chip?

50 computer-architecture operating-systems cpu-cache

3

Perché la ricerca binaria è più veloce della ricerca ternaria?

Cercando un array di elementi utilizzando ricerca binaria prende, nel peggiore dei casi di log 2 N iterazioni perché, ad ogni passo ci rifila la metà del nostro spazio di ricerca. Se invece avessimo usato la "ricerca ternaria", avremmo tagliato i due terzi del nostro spazio di ricerca ad ogni …

49 algorithms algorithm-analysis runtime-analysis search-algorithms binary-search

12

Come verificare il numero con Bob senza che Eve lo sappia?

Devi verificare che il tuo amico Bob abbia il tuo numero di telefono corretto, ma non puoi chiederlo direttamente. Devi scrivere la domanda su una carta e consegnarla a Eva che prenderà la carta a Bob e ti restituirà la risposta. Cosa devi scrivere sulla carta, oltre alla domanda, per …

49 algorithms cryptography