Scienza del computer

2

Classicamente, ci sono 3 modi popolari di pensare al calcolo: macchina di Turing, circuiti e lambda-calcolo (io uso questo come un fermo tutto per la maggior parte delle viste funzionali). Tutti e 3 sono stati modi fruttuosi di pensare a diversi tipi di problemi, e diversi campi usano formulazioni diverse …

35 lambda-calculus quantum-computing reference-request computation-models

4

Perché la programmazione lineare in P ma la programmazione intera NP-difficile?

La programmazione lineare (LP) è in P e la programmazione in numeri interi (IP) è NP-hard. Ma poiché i computer possono manipolare i numeri solo con precisione finita, in pratica un computer utilizza numeri interi per la programmazione lineare. Per questo motivo, LP e IP non dovrebbero essere nella stessa …

35 complexity-theory polynomial-time

3

Peggiore caso in atto ordinamento stabile?

Ho problemi a trovare buone risorse che danno il peggior caso in atto algoritmo di ordinamento stabile . Qualcuno sa di buone risorse?O ( n lnn )O(nln⁡n)O(n \ln n) Solo un promemoria, sul posto significa che utilizza l'array passato e che l'algoritmo di ordinamento è autorizzato a utilizzare solo spazio …

35 algorithms reference-request sorting in-place

2

Cosa non può fare Idris rinunciando alla completezza di Turing?

So che Idris ha tipi dipendenti ma non è completo. Cosa non può fare rinunciando alla completezza di Turing, ed è correlato ad avere tipi dipendenti? Immagino che questa sia una domanda piuttosto specifica, ma non conosco una grande quantità di tipi dipendenti e sistemi di tipi correlati.

35 computability programming-languages type-theory dependent-types

2

Perché il registro nel big-O della ricerca binaria non è base 2?

Sono nuovo a comprendere gli algoritmi di informatica. Capisco il processo della ricerca binaria, ma sto riscontrando un leggero fraintendimento con la sua efficienza. In una dimensione di elementi, sarebbero necessari, in media, n passaggi per trovare un elemento particolare. Prendendo il logaritmo di base 2 di entrambi i lati …

35 algorithms runtime-analysis binary-search

6

Ci sono automi non finiti?

Nella teoria degli automi leggiamo tutti gli automi come automi finiti, fin dall'inizio. Quello che voglio sapere è, perché gli automi sono finiti? Per essere chiari, cosa c'è in un automa finito - l'alfabeto, la lingua, le stringhe fatte con espressioni regolari o cosa? E ci sono (in teoria) degli …

35 automata finite-automata

6

Gli algoritmi di compressione senza perdita riducono l'entropia?

Secondo Wikipedia : L'entropia di Shannon misura le informazioni contenute in un messaggio in contrapposizione alla parte del messaggio determinata (o prevedibile). Esempi di quest'ultimo includono la ridondanza nella struttura del linguaggio o le proprietà statistiche relative alle frequenze di occorrenza di coppie di lettere o di parole, terzine, ecc. …

35 information-theory data-compression entropy

10

Linguaggi di programmazione visiva

Molti di noi hanno imparato a programmare usando linguaggi di programmazione "testuali" come Basic, C / C ++ e Java. Credo che sia più naturale ed efficiente per gli esseri umani pensare visivamente. La programmazione visiva consente agli sviluppatori di scrivere programmi manipolando elementi grafici. Immagino che l'utilizzo della programmazione …

35 programming-languages

13

Criteri per la scelta della lingua per il primo corso di programmazione

Come educatore CS a livello universitario, la questione di quale linguaggio di programmazione insegnare nel primo corso di programmazione viene spesso discussa. Ci sono migliaia di lingue tra cui scegliere e molta febbre religiosa (o febbrile) che supporta un campo linguistico rispetto a un altro. Tutto questo pregiudizio soggettivo che …

35 programming-languages education

1

Ricevi DFS se cambi la coda in uno stack in un'implementazione BFS?

Ecco lo pseudocodice standard per la prima ricerca della larghezza: { seen(x) is false for all x at this point } push(q, x0) seen(x0) := true while (!empty(q)) x := pop(q) visit(x) for each y reachable from x by one edge if not seen(y) push(q, y) seen(y) := true Qui …

35 algorithms graphs

2

Esiste un'attività risolvibile in un tempo polinomiale ma non verificabile in un tempo polinomiale?

Un mio collega e io abbiamo appena preso appunti su uno dei nostri professori. Le note affermano che ci sono attività che è possibile risolvere in tempo polinomiale (sono nella classe di PF) ma che NON sono verificabili in tempo polinomiale (NON sono nella classe di NPF). Per approfondire queste …

34 complexity-theory np

9

Qual è il significato delle lingue sensibili al contesto (Tipo 1)?

Vedendo che nella Gerarchia di Chomsky le lingue di tipo 3 possono essere riconosciute da una macchina a stati senza memoria esterna (cioè un automa finito), il tipo 2 da una macchina a stati con un singolo stack (cioè un automa a spinta) e il tipo 0 da una macchina …

34 formal-languages applied-theory computability automata formal-grammars

3

Algoritmo che trova il numero di semplici percorsi da

Qualcuno può suggerire un algoritmo di tempo lineare che prende in ingresso un diretto aciclico grafo e due vertici s e t e restituisce il numero di semplici percorsi da s a t in G . Ho un algoritmo in cui eseguirò un DFS (Depth First Search) ma se DFS …

34 algorithms graphs

7

In che modo il computer determina se un numero è più piccolo o più grande di un altro?

Potrebbe sembrare una domanda stupida ma sono davvero curioso di sapere come un computer sa che 1<21<21<2 ? Inoltre, come fa un computer a sapere che l'ordine dei numeri interi è e l'alfabeto è A, B, C, D, ...? È archiviato da qualche parte nell'hardware o il sistema operativo fornisce …

34 computer-architecture reference-question

4

Come misurare "ordinamento"

Mi chiedo se esiste un modo standard per misurare la "ordinamento" di un array? Un array che ha il numero medio di possibili inversioni sarebbe considerato al massimo indifferenziato? Con ciò voglio dire che è sostanzialmente il più lontano possibile dall'essere ordinati o in ordine inverso.

34 algorithms algorithm-analysis sorting arrays