Scienza del computer reference-request

5

Ci sono molti tentativi di provare o , e naturalmente molte persone pensano alla domanda, avendo idee per provare entrambe le direzioni.P = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} So che ci sono approcci che hanno dimostrato di non funzionare, e probabilmente ce ne sono altri …

96 complexity-theory reference-request history p-vs-np reference-question

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

6

Affrontare l'intrattabilità: problemi NP-completi

Supponiamo che io sia un programmatore e ho un problema NP completo che devo risolvere. Quali metodi sono disponibili per affrontare i problemi degli NPC? C'è un sondaggio o qualcosa di simile su questo argomento?

43 algorithms reference-request np-complete efficiency reference-question

6

A che cosa servono gruppi, monoidi e anelli nei calcoli del database?

Perché un'azienda come Twitter dovrebbe essere interessata a concetti algebrici come gruppi, monoidi e anelli? Guarda il loro repository su github: twitter / algebird . Tutto quello che ho potuto trovare è: Implementazioni di Monoidi per algoritmi di approssimazione interessanti, come filtro Bloom , HyperLogLog e CountMinSketch . Questi ti …

38 reference-request discrete-mathematics database-theory applied-theory group-theory

2

Calcolo lambda quantistico

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

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

su "Sulla crudeltà di insegnare davvero la scienza informatica"

Dijkstra, nel suo saggio Sulla crudeltà di insegnare davvero la scienza informatica , fa la seguente proposta per un corso introduttivo di programmazione: Da un lato, insegniamo ciò che assomiglia al calcolo del predicato, ma lo facciamo in modo molto diverso dai filosofi. Per addestrare il programmatore inesperto alla manipolazione …

33 reference-request programming-languages education didactics

1

Quali algoritmi di apprendimento automatico possono essere utilizzati per le previsioni sulle serie temporali?

Attualmente sto giocando con le previsioni delle serie storiche (in particolare per il Forex). Ho visto alcuni articoli scientifici sulle reti di stati ecologici che sono applicati alle previsioni Forex. Esistono altri buoni algoritmi di apprendimento automatico per questo scopo? Sarebbe anche interessante estrarre modelli "redditizi" dalle serie storiche.

28 reference-request machine-learning artificial-intelligence

1

Asintotici del numero di parole in una lingua regolare di una determinata lunghezza

Per una lingua normale , sia il numero di parole in della lunghezza . Utilizzando la forma canonica Jordan (applicata alla matrice di transizione non annotata di alcuni DFA per ), si può dimostrare che per abbastanza grande , dove sono polinomi complessi e sono "autovalori" complessi. (Per piccolo , …

28 formal-languages reference-request regular-languages asymptotics combinatorics

2

Cosa significa "vera concorrenza"?

Sento spesso frasi come "vera semantica di concorrenza" e "equivalenze di vera concorrenza" senza riferimenti. Cosa significano quei termini e perché sono importanti? Quali sono alcuni esempi di vere equivalenze di concorrenza e quali sono le loro necessità? Ad esempio, in quali casi sono più applicabili di più equivalenze standard …

28 terminology reference-request concurrency

1

Esiste un calcolo SKI tipizzato?

Molti di noi conoscono la corrispondenza tra logica combinatoria e calcolo lambda . Ma non ho mai visto (forse non ho guardato abbastanza in profondità) l'equivalente di "combinatori tipizzati", corrispondente al calcolo lambda tipizzato semplicemente. Esiste una cosa del genere? Dove si possono trovare informazioni al riguardo?

26 reference-request logic lambda-calculus type-theory combinatory-logic

5

Esiste un filtro anti-Bloom?

Un filtro Bloom consente di tenere traccia in modo efficiente se durante l'elaborazione sono già stati rilevati vari valori. Quando sono presenti molti elementi di dati, un filtro Bloom può comportare un notevole risparmio di memoria su una tabella hash. La caratteristica principale di un filtro Bloom, che condivide con …

25 reference-request data-structures hash bloom-filters dictionaries

2

Esiste un algoritmo a volte efficiente per risolvere #SAT?

Sia una formula booleana composta dai soliti operatori AND, OR e NOT e da alcune variabili. Vorrei contare il numero di soddisfare le assegnazioni per . Cioè, voglio trovare il numero di diverse assegnazioni di valori di verità alle variabili di per le quali assume un valore vero. Ad esempio, …

24 complexity-theory reference-request satisfiability

7

Inizia a conoscere la teoria dei sistemi distribuiti?

Qual è il modo migliore che chiunque può fare per avere una buona introduzione alla teoria del sistema distribuito, eventuali libri o riferimenti, e gli argomenti dovrebbero essere prima coperti e requisiti per iniziare l'apprendimento in questo argomento.

24 reference-request education distributed-systems

1

Distinguere la procedura decisionale rispetto al risolutore SMT rispetto al prover Teorema rispetto al risolutore Vincoli

Quelle terminologie mi confondono. Come capisco Risolutore SAT: decidere l'accuratezza della logica proposizionale (usando DPLL o Ricerca locale). La procedura di decisione è una procedura per decidere la soddisfacibilità di una certa teoria decidibile del primo ordine. Il risolutore SMT è un risolutore SAT + procedura decisionale. Il proverore del …

24 algorithms terminology reference-request decision-problem

Domande taggate «reference-request»