Scienza del computer reference-request

3

Studiare la teoria del linguaggio di programmazione

Di recente sono diventato estremamente interessato a comprendere e dimostrare aspetti dei linguaggi di programmazione (funzionali). Tuttavia, mentre mi tuffo più a fondo, cose come calcolo λ , la teoria delle categorie e la semantica denotazionale sono un po 'difficili da capire senza una spiegazione adeguata.λλ\lambda Ho letto SICP (un …

15 reference-request lambda-calculus functional-programming books

4

Esiste un repository per la gerarchia delle prove?

Sono un assistente di autoapprendimento e ho deciso di iniziare alcune prove di base e di fare carriera. Poiché le prove si basano su altre prove e formano quindi una gerarchia, esiste un deposito della gerarchia delle prove? So di poter scegliere un particolare correttore di bozze e analizzare la …

15 reference-request logic proof-assistants

2

Qual è l'origine di λ per la stringa vuota?

Di solito uso il simbolo per stringa vuota (parola vuota o stringa nulla). Ma so che alcune persone usano λ invece di ε .εε\varepsilonλλ\lambdaεε\varepsilon Penso che sia derivato dalla parola "Vuoto". Tuttavia non so quale sia l'origine di λ .εε\varepsilonλλ\lambda Nella teoria degli automi esiste la transizione epsilon degli automi …

14 formal-languages automata reference-request notation history

1

Complessità nota più rapida per l'algoritmo ILP combinatorio?

Mi chiedo, qual è l'algoritmo più noto, in termini di notazione Big- , per risolvere la Programmazione lineare integer?OOO So che il problema è completo, quindi non mi aspetto nulla di polinomiale. E so che ci sono molte euristiche e simili che vengono utilizzate in applicazioni pratiche come CPLEX, ma …

14 algorithms complexity-theory reference-request np-complete integer-programming

2

Esistono classi di complessità stabilite con numeri reali?

Di recente uno studente mi ha chiesto di verificare una prova di durezza NP. Hanno eseguito una riduzione sulla falsariga di: Riduco questo problema che è noto per essere NP completo al mio problema P (con una riduzione multi-tempo polifunzionale), quindi P è NP-difficile.P′P′P'PPPPPP La mia risposta è stata sostanzialmente: …

14 complexity-theory reference-request complexity-classes real-numbers computable-analysis

6

Trovare il massimo XOR di due numeri in un intervallo: possiamo fare meglio del quadratico?

Supponiamo stiamo dato due numeri lll e e che vogliamo trovare per l \ le i, \, j \ le r .rrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r L'algoritmo ingenuo controlla semplicemente tutte le coppie possibili; ad esempio in ruby avremmo: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| …

14 algorithms algorithms machine-learning statistics testing terminology asymptotics landau-notation reference-request optimization scheduling complexity-theory time-complexity lower-bounds communication-complexity computational-geometry computer-architecture cpu-cache cpu-pipelines operating-systems multi-tasking algorithms algorithm-analysis education correctness-proof didactics algorithms data-structures time-complexity computational-geometry algorithms combinatorics efficiency partitions complexity-theory satisfiability artificial-intelligence operating-systems performance terminology computer-architecture

2

Efficiente campionamento più brevi

Lasciate GGG un grafo, e lasciare sss e ttt essere due vertici di GGG . È possibile campionare in modo efficiente un percorso sss - più breve in tttmodo uniforme e indipendente in modo casuale dall'insieme di tutti i percorsi più brevi tra sss e ttt ? Per semplicità, possiamo …

14 graph-theory reference-request shortest-path sampling

2

Esistono documenti sottoposti a revisione paritaria che studiano i pro ei contro della programmazione funzionale?

Qualcuno può riferirmi ad articoli peer-reviewed che studiano i vantaggi o gli svantaggi della scrittura di codice in uno stile funzionale? Esistono articoli che discutono delle applicazioni del calcolo Lambda in campi come l'apprendimento automatico, il design delle lingue, ecc.?

14 reference-request programming-languages lambda-calculus functional-programming

2

Alcune domande sul calcolo parallelo e la classe NC

Ho una serie di domande correlate su questi due argomenti. In primo luogo, la maggior parte dei testi di complessità solo sorvolare la classe NCNC\mathbb{NC} . Esiste una buona risorsa che copre la ricerca in modo più approfondito? Ad esempio, qualcosa che discute tutte le mie domande qui sotto. Inoltre, …

14 complexity-theory reference-request parallel-computing complexity-classes

1

Conteggio delle coppie di inversione

Una classica applicazione di divisione e conquista è quella di risolvere il seguente problema: Dato un array di elementi distinti e comparabili, conta il numero di coppie di inversione nell'array: coppie ( i , j ) tali che a [ i ] > a [ j ] e i < …

14 algorithms reference-request arrays

1

Quando

Secondo l'articolo di Wikipedia , la L in significa "scansione da sinistra a destra", e la "R" significa "derivazione più a destra". Tuttavia, nel documento originale di Knuth sulle grammatiche di L R ( k ) , definisce L R ( k ) (a pagina 610) come una lingua che …

14 formal-languages reference-request terminology formal-grammars parsers

1

Ricerca sulla valutazione delle prestazioni dell'oblio-cache nella pratica

Gli algoritmi e le strutture di dati ignari della cache sono una novità, introdotti da Frigo et al. in algoritmi cache-ignari, 1999 . La tesi di Prokop dello stesso anno introduce anche le prime idee. L'articolo di Frigo et al. presentare alcuni risultati sperimentali che mostrano il potenziale della teoria …

14 algorithms data-structures computer-architecture reference-request cpu-cache

1

Approssimazione della larghezza di banda minima sugli alberi binari

Il problema minimo della larghezza di banda è trovare un ordinamento di nodi del grafico su una linea intera che minimizzi la distanza maggiore tra due nodi adiacenti. Il problema decisionale è NP-completo anche per alberi binari. Risultati di complessità per minimizzare la larghezza di banda. Garey, Graham, Johnson e …

14 complexity-theory np-complete reference-request approximation

4

Studio autonomo di informatica

Sono un maschio di 16 anni che è stato recentemente dotato di una mia grande enciclopedia sull'informatica da un mio amico. Di solito non sono così interessato ai computer e alla tecnologia, ma l'informatica ha iniziato ad affascinarmi. Intendo tuttavia studiare fisica e / o matematica e non CS, quindi …

14 reference-request education

1

Macchine ad accesso casuale con sola aggiunta, moltiplicazione, uguaglianza

La letteratura è abbastanza chiara che le RAM a costo unitario con moltiplicazione primitiva sono irragionevoli, in quanto non può essere simulato dalle macchine di Turing in tempi polinomiali in grado di risolvere i problemi completi di PSPACE in tempo polinomiale Tuttavia, tutti i riferimenti che posso trovare su questo …

13 complexity-theory reference-request computation-models history

Domande taggate «reference-request»