Scienza del computer

2

Struttura dei dati della mappa efficiente che supporta la ricerca approssimativa

Sto cercando una struttura di dati che supporti ricerche approssimative efficienti di chiavi (ad esempio, la distanza di Levenshtein per le stringhe), restituendo la corrispondenza più vicina possibile per la chiave di input. La struttura di dati più adatta che ho trovato finora sono gli alberi di Burkhard-Keller , ma …

25 data-structures strings efficiency

1

Le espressioni regolari "dense" generano

Ecco una congettura per le espressioni regolari: Per l'espressione regolare , lascia che la lunghezza | R | essere il numero di simboli in essa contenuti, ignorando le parentesi e gli operatori. Ad esempio | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2RRR| …

25 formal-languages regular-languages regular-expressions

2

Esistono prove del fatto che l'uso di linguaggi dinamici ha un impatto sulla produttività?

Mi chiedo se ci sono esperimenti che mostrano l'esistenza o la non esistenza di una correlazione tra l'uso di un linguaggio dinamico (come Python, Ruby o persino i linguaggi che girano sulla piattaforma Java come Groovy, Clojure) su un linguaggio statico (come C / C ++) e la differenza nella …

25 programming-languages empirical-research software-engineering

4

Come dimostrare che una grammatica non è ambigua?

Il mio problema è come posso dimostrare che una grammatica è inequivocabile? Ho la seguente grammatica: S→ s t a t e m e n t ∣ se e x p r e s s i o n allora S∣ se e x p r e s s i o …

25 context-free formal-grammars proof-techniques ambiguity

1

Perché l'algoritmo di rotazione dell'albero di splay tiene conto sia del nodo genitore che del nodo nonno?

Non capisco bene perché la rotazione nella struttura dei dati dell'albero di visualizzazione stia prendendo in considerazione non solo il genitore del nodo di classificazione, ma anche il nonno (operazione a zig-zag e zig-zig). Perché non dovrebbe funzionare quanto segue: Quando inseriamo, ad esempio, un nuovo nodo nella struttura, controlliamo …

25 algorithms data-structures binary-trees search-trees

7

Algoritmo per distribuire gli articoli "in modo uniforme"

Sto cercando un algoritmo per distribuire i valori da un elenco in modo che l'elenco risultante sia il più "bilanciato" o "uniformemente distribuito" possibile (tra virgolette perché non sono sicuro che questi siano i modi migliori per descriverlo ... in seguito fornirò un modo per misurare se un risultato è …

25 algorithms optimization sorting approximation

11

La casualità di von Neumann tra virgolette non è più applicabile?

Qualcuno ha detto quanto segue: Chiunque tenti di generare numeri casuali con mezzi deterministici, ovviamente, vive in uno stato di peccato. Questo significa sempre che non puoi generare veri numeri casuali con un solo computer. E ha detto che quando i computer avevano le dimensioni equivalenti di un singolo microprocessore …

25 randomness data-compression entropy random-number-generator

5

Perché non è questo problema indecidibile in NP?

Chiaramente non ci sono problemi indecidibili in NP. Tuttavia, secondo Wikipedia : NP è l'insieme di tutti i problemi di decisione per i quali i casi in cui la risposta è "sì" hanno [.. prove che sono] verificabili in tempo polinomiale da una macchina di Turing deterministica. [...] Si dice …

25 complexity-theory computability undecidability decision-problem

1

Qual è la temperatura in LSTM (e le reti neurali in generale)?

Uno degli iperparametri per le reti LSTM è la temperatura. Che cos'è?

25 machine-learning neural-networks

3

Il problema P vs. NP diventerebbe insignificante a causa dello sviluppo di computer quantistici universali?

Se qualcuno dovesse costruire un computer quantistico universale, ciò avrebbe implicazioni sul problema di P vs. NP?

25 complexity-theory complexity-classes quantum-computing

2

Ci sono problemi facili da calcolare ma difficili da verificare?

Supponendo che i problemi P NP, NP-completi siano "difficili da risolvere, ma hanno risposte che sono facili da controllare". Ha senso considerare il contrario, cioè i problemi per i quali è facile calcolare una risposta corretta, ma difficile da verificare una soluzione presunta arbitraria?≠≠\neq Penso che un simile problema implicherebbe: …

25 complexity-theory

3

Quali algoritmi non possono essere parallelizzati?

Esiste un algoritmo che è molto difficile da parallelizzare o la ricerca è ancora attiva? Volevo sapere di qualsiasi algoritmo o campo di ricerca nel calcolo parallelo. Qualunque cosa, ho cercato, ha un'implementazione "parallela". Voglio solo fare qualche studio su qualsiasi campo di calcolo parallelo inesplorato.

24 algorithms parallel-computing

6

Due spanning tree di un semplice grafico hanno sempre dei bordi comuni?

Ho provato alcuni casi e ho scoperto che due spanning tree di un semplice grafico hanno dei bordi comuni. Voglio dire, finora non ho trovato nessun contro esempio. Ma non ho potuto provare o smentire neanche questo. Come provare o confutare questa congettura?

24 graphs graph-theory spanning-trees

3

Tutti i generatori di numeri pseudo-casuali sono in definitiva periodici?

Tutti i generatori di numeri pseudo-casuali sono in definitiva periodici? O sono periodici alla fine? Per periodico intendo che, come numeri razionali, alla fine generano una sottosequenza periodica ... E pseudo-casuale significa generazione algoritmica / matematica di numeri casuali ...

24 randomness pseudo-random-generators

3

È davvero possibile dimostrare limiti inferiori?

Dato qualsiasi problema computazionale, il compito di trovare limiti inferiori per tale calcolo è davvero possibile? Suppongo che si riduca al modo in cui viene definito un singolo passo computazionale e quale modello utilizziamo per la prova, ma dato ciò, dimostriamo davvero un limite inferiore quindi in generale? Ciò che …

24 complexity-theory time-complexity proof-techniques lower-bounds