Scienza del computer

4

Valutazione della complessità del tempo medio di un determinato algoritmo bolleort.

Considerando questo pseudo-codice di un bubblesort: FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF NEXT Quali sarebbero le idee …

11 algorithms time-complexity sorting average-case

1

Inferenza dei tipi di perfezionamento

Al lavoro mi è stato assegnato il compito di dedurre alcune informazioni sul tipo di un linguaggio dinamico. Riscrivo sequenze di affermazioni in letespressioni nidificate , in questo modo: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

1

Esiste un algoritmo subcubico per il seguente problema?

Data una matrice simmetrica reale , esiste un algoritmo che calcola la somma nel complesso 1 \ leq i <j <k \ leq n con complessità temporale migliore di O (n ^ 3) ?n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i<j<k≤n1≤i<j<k≤n1\leq i<j<k\leq nO(n3)O(n3)O(n^3)

11 algorithms time-complexity

4

Qual è esattamente la differenza semantica tra categoria e set?

In questa domanda, ho chiesto quale sia la differenza tra set e type . Queste risposte sono state molto chiare (ad esempio @AndrejBauer), quindi nella mia sete di conoscenza, mi sottopongo alla tentazione di chiedere lo stesso riguardo alle categorie: Ogni volta che leggo della teoria delle categorie (che certamente …

11 sets category-theory

3

Perché la maggior parte delle implementazioni di mutex è ingiusta?

La mia comprensione è che le implementazioni più popolari di un mutex (ad es. Std :: mutex in C ++) non garantiscono l' equità - cioè, non garantiscono che in casi di contesa, il blocco verrà acquisito dai thread nell'ordine in cui chiamato lock (). In effetti, è persino possibile …

11 concurrency synchronization threads

1

Che cos'è l'induzione-induzione?

Che cos'è l' induzione-induzione ? Le risorse che ho trovato sono: il libro HoTT , alla fine del capitolo 5.7. L'articolo di nLab un documento chiamato Definizioni induttive-induttive questo post del blog cita anche tipi induttivi-induttivi I primi due riferimenti sono troppo brevi per me e gli ultimi due sono …

11 type-theory induction inductive-datatypes

1

Raccolta di problemi APX-difficili

Tutti conoscono "Garey & Johnson", che è il mio riferimento preferito ogni volta che ho bisogno di un problema per trasformarmi per una prova di durezza NP. Tuttavia, recentemente mi ritrovo a dover avere una prova di durezza APX e mi chiedo se esiste una raccolta simile (e più aggiornata …

11 complexity-theory reference-request time-complexity complexity-classes

2

Quantificazione universale / esistenziale?

Sto lottando per capire lo scopo della quantificazione universale ed esistenziale dei tipi. Sto giocando con la scrittura di un linguaggio giocattolo basato sul calcolo delle costruzioni . Ho letto di Morte e Henk per aiutarmi a capire meglio. Non capisco perché il CoC abbia sia l'astrazione lambda che forall. …

11 lambda-calculus type-theory calculus-of-constructions

3

Cast in booleano, per la programmazione lineare intera

Voglio esprimere il seguente vincolo, in un programma lineare intero: y={01if x=0if x≠0.y={0Se X=01Se X≠0.y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} Ho già le variabili intere x,yX,yx,y e mi viene promesso che −100≤x≤100-100≤X≤100-100 \le x \le 100 . Come posso esprimere il suddetto vincolo, …

11 linear-programming integer-programming

2

Esiste una generalizzazione della codifica di Huffman in codifica aritmetica?

Nel tentativo di comprendere le relazioni tra Huffman Coding, Arithmetic Coding e Range Coding, ho iniziato a pensare alle carenze della codifica Huffman legate al problema del bit packing frazionario . Cioè, supponiamo che tu abbia 240 possibili valori per un simbolo e che sia necessario codificarlo in bit, rimarrai …

11 information-theory data-compression coding-theory entropy huffman-coding

2

Il meno comune non divisore

SSSdddSSS∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x Indica n=|S|n=|S|n = |S|e C=max(S)C=max(S)C = \max(S) . Considera la funzione F(x)=F(x)=F(x) = il numero primo minimo che non divide xxx . È facile vedere che F(x)≤logxF(x)≤log⁡xF(x) \leq \log x . E per una serie SSS , lasciate F(S)=F(S)=F(S) = il …

11 algorithms number-theory

2

HORN-SAT è in LIN, in caso affermativo perché non è un'indicazione che P = LIN?

Lo zoo di complessità definisce come la classe di problemi decisionali risolvibili da una macchina di Turing deterministica in tempo lineare.LINLINLIN LIN⊆PLIN⊆PLIN \subseteq P Poiché HORN-SAT è risolvibile in (come indicato negli algoritmi a tempo lineare per testare la soddisfacibilità delle formule di corno proposizionali (1984) )O(n)O(n)O(n) Vengono presentati nuovi …

11 complexity-theory time-complexity reductions

2

Buon libro matematico sugli algoritmi [chiuso]

Chiuso . Questa domanda è basata sull'opinione . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che possa essere risolta con fatti e citazioni modificando questo post . Chiuso 4 anni fa . Sono un fanatico dell'eleganza e del rigore matematici e ora sto …

11 algorithms algorithm-analysis reference-request books

1

Tutti gli algoritmi noti per la risoluzione dei problemi NP-completi sono costruttivi?

Esistono algoritmi noti che generano correttamente "sì" a un problema NP completo senza generare implicitamente un certificato? Capisco che è semplice trasformare un oracolo di soddisfacibilità in un cercatore di assegnazione soddisfacente: basta scorrere le variabili, chiedendo ogni volta all'oracolo di soddisfacibilità di risolvere la congiunzione di quella variabile con …

11 algorithms complexity-theory np-complete

1

Una complessità temporale Big-Oh può contenere più di una variabile?

Diciamo ad esempio che sto eseguendo l'elaborazione di stringhe che richiede un'analisi di due stringhe. Non ho informazioni su quali possano essere le loro lunghezze, quindi provengono da due famiglie distinte. Sarebbe accettabile chiamare la complessità di un algoritmo o O ( n + m ) (a seconda se utilizziamo …

11 time-complexity asymptotics landau-notation notation