Scienza del computer

9

Ci sono problemi che diventano più facili con l'aumentare delle dimensioni?

Questa potrebbe essere una domanda ridicola, ma è possibile avere un problema che in realtà diventa più facile con l'aumentare delle dimensioni degli input? Dubito che eventuali problemi pratici siano così, ma forse possiamo inventare un problema degenerato che ha questa proprietà. Ad esempio, forse inizia a "risolversi" man mano …

62 algorithms asymptotics

6

Calcolo distribuito vs parallelo

Sento spesso persone che parlano di calcolo parallelo e calcolo distribuito , ma ho l'impressione che non ci sia un chiaro confine tra i 2 e che le persone tendano a confonderlo abbastanza facilmente, mentre credo che sia molto diverso: L' elaborazione parallela è più strettamente accoppiata al multi-threading o …

61 terminology distributed-systems parallel-computing

6

Perché non combiniamo generatori di numeri casuali?

Esistono molte applicazioni in cui viene utilizzato un generatore di numeri pseudo casuali. Quindi le persone ne implementano uno che ritengono ottimo solo per scoprire in seguito che è difettoso. Qualcosa di simile è successo di recente con il generatore di numeri casuali Javascript. RandU anche molto prima. Ci sono …

60 pseudo-random-generators random-number-generator

10

Potenza di calcolo umana: gli umani possono decidere il problema di arresto su Turing Machines?

Sappiamo che il problema di arresto (sulle macchine di Turing) è indecidibile per le macchine di Turing. C'è qualche ricerca su come la mente umana può affrontare questo problema, eventualmente aiutata dalle macchine di Turing o dai computer di uso generale? Nota : ovviamente, nel senso più stretto, puoi sempre …

60 computability turing-machines halting-problem human-computing

5

Lo zero è consentito come peso di un bordo, in un grafico ponderato?

Sto cercando di scrivere uno script che genera grafici casuali e ho bisogno di sapere se un bordo in un grafico ponderato può avere il valore 0. in realtà ha senso che 0 possa essere usato come peso di un bordo, ma ho lavorato con i grafici negli ultimi giorni …

60 algorithms graph-theory graphs weighted-graphs

8

Intuizione algoritmica per complessità logaritmica

Credo di avere una ragionevole comprensione di complessità come , Θ ( n ) e Θ ( n 2 ) .O (1)O(1)\mathcal{O}(1)Θ ( n )Θ(n)\Theta(n)Θ ( n2)Θ(n2)\Theta(n^2) In termini di un elenco, è una ricerca costante, quindi sta solo diventando il capo dell'elenco. Θ ( n ) è dove avrei …

60 algorithms complexity-theory time-complexity intuition

3

Esprimere operazioni logiche booleane nella programmazione lineare intera zero (ILP)

Ho un programma lineare intero (ILP) con alcune variabili che intendono rappresentare valori booleani. Gli sono vincolati ad essere numeri interi e contenere 0 o 1 ( ).x i 0 ≤ x i ≤ 1xixix_ixixix_i0≤xi≤10≤xi≤10 \le x_i \le 1 Voglio esprimere operazioni booleane su queste variabili con valore 0/1, usando …

58 linear-programming integer-programming

3

Tipi dipendenti vs tipi di perfezionamento

Qualcuno potrebbe spiegare la differenza tra tipi dipendenti e tipi di perfezionamento? A quanto ho capito, un tipo di perfezionamento contiene tutti i valori di un tipo che soddisfano un predicato. Esiste una caratteristica di tipi dipendenti che li distingue? Se aiuta, mi sono imbattuto in tipi raffinati tramite il …

58 terminology programming-languages type-theory functional-programming dependent-types

4

Perché è meglio usare un numero primo come mod in una funzione di hashing?

Se ho un elenco di valori chiave da 1 a 100 e voglio organizzarli in un array di 11 bucket, mi è stato insegnato a formare una funzione mod H= k mod 11 H=kmod 11 H = k \bmod \ 11 Ora tutti i valori verranno posizionati uno dopo l'altro …

58 data-structures hash hash-tables primes

12

Un byte contiene 8 bit o 9?

Ho letto in questo tutorial di programmazione dell'assemblaggio che 8 bit sono utilizzati per i dati mentre 1 bit è per la parità, che viene quindi utilizzato per rilevare errori di parità (causati da guasti hardware o disturbi elettrici). È vero?

56 computer-architecture numeral-representations

9

Quali sarebbero le implicazioni del mondo reale di una prova costruttiva ?

Ho una comprensione di alto livello del problema e capisco che se fosse assolutamente "dimostrato" di essere vero con una soluzione fornita, aprirebbe le porte alla soluzione di numerosi problemi nell'ambito dell'informatica.P= NPP=NPP=NP La mia domanda è, se qualcuno pubblicasse una prova indiscutibile e costruttiva di , quali sono alcuni …

56 complexity-theory p-vs-np

6

Se tutti credono in P ≠ NP, perché sono tutti scettici sui tentativi di prova per P ≠ NP?

Molti sembrano credere che , ma molti credono anche che sia molto improbabile che ciò venga mai dimostrato. Non c'è qualche incoerenza in questo? Se ritenete improbabile una tale prova, dovreste anche credere che mancano argomenti per . Oppure ci sono buone argomentazioni per cui è improbabile, in modo simile …

55 complexity-theory p-vs-np

6

Esistono criteri minimi per un linguaggio di programmazione completo di Turing?

Esiste un insieme di costrutti del linguaggio di programmazione in un linguaggio di programmazione per essere considerato Turing completo? Da quello che posso dire da Wikipedia , la lingua deve supportare la ricorsione o, a quanto pare, deve essere in grado di funzionare senza fermarsi. È tutto quello che c'è …

55 computability programming-languages turing-machines turing-completeness

8

Qual è l'algoritmo di ordinamento più veloce per un array di numeri interi?

Mi sono imbattuto in molti algoritmi di smistamento durante i miei studi alle superiori. Tuttavia, non so mai quale sia il più veloce (per una matrice casuale di numeri interi). Quindi le mie domande sono: Qual è l'algoritmo di ordinamento più veloce attualmente conosciuto? Teoricamente, è possibile che ce ne …

55 algorithms time-complexity optimization sorting

4

Complessità temporale di un compilatore

Sono interessato alla complessità temporale di un compilatore. Chiaramente questa è una domanda molto complicata poiché ci sono molti compilatori, opzioni di compilatore e variabili da considerare. In particolare, sono interessato a LLVM ma sarei interessato a qualsiasi pensiero delle persone o luoghi per iniziare la ricerca. Un bel google …

54 compilers