Scienza del computer

Quali sono i dispositivi e le loro interconnessioni utilizzate insieme ai processori quantistici? Sono compatibili con dispositivi hardware come cache, RAM, dischi dei computer attuali?

14 computer-architecture  quantum-computing 

L'algoritmo di selezione randomizzato è il seguente: Input: un array di n (distinti, per semplicità) numeri e un numero k ∈ [ n ]AAAnnnk∈[n]k∈[n]k\in [n] Output: l '" elemento rank " di A (cioè quello in posizione k se A fosse ordinato)kkkAAAkkkAAA Metodo: Se c'è un elemento in , restituisciloAAA …

14 algorithms  algorithm-analysis  probability-theory  randomized-algorithms 

Sappiamo che è in N L di Teorema del teorema di Immerman – Szelepcsényi e poiché s t - c o n n e c t i v i t y è N L - h a r d quindi s t - n ost-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard} è molto-un log-spazio riducibile a …

14 complexity-theory  reductions  space-complexity 

Voglio creare una capsula del tempo digitale che rimarrà illeggibile per un certo periodo di tempo e quindi diventerà leggibile. Non voglio fare affidamento su alcun servizio esterno per, ad esempio, mantenere la chiave segreta e quindi rivelarla al momento richiesto. È possibile? In caso contrario, è possibile avere qualche …

14 cryptography  encryption  digital-preservation 

Supponiamo di avere un set di programmatori.S= { a1,a2,a3, ... , unN}S={un'1,un'2,un'3,...,un'N}S = \{ a_1,a_2,a_3,\ldots , a_N \}NNN Ogni programmatore ha il punteggio e il numero di medaglie d'oro E i , che avevano vinto finora.RioRioR_iEioEioE_i Una società di software vuole assumere esattamente tre programmatori per sviluppare un'applicazione. Per assumere …

14 algorithms  algorithm-design 

Voglio stabilire che questo fa parte dei miei compiti per un corso che sto frequentando. Sto cercando assistenza nel procedere, NON UNA RISPOSTA. Questa è la domanda in questione: Una stella a 5 punte in un grafico non orientato è una cricca 5. Mostra che 5-POINTED-STAR , dove 5-POINTED-STAR = …

14 complexity-theory  time-complexity 

Sono interessato a calcolare il nnn 'esima potenza di un matrice . Supponiamo di avere un algoritmo per la moltiplicazione di matrici che gira in tempo . Quindi, si può facilmente calcolare in tempo. È possibile risolvere questo problema in una minore complessità temporale?n×nn×nn\times nAUNAO(M(n))O(M(n))\mathcal{O}(M(n))AnUNnA^nO(M(n)log(n))O(M(n)log⁡(n))\mathcal{O}(M(n)\log(n)) Le voci della matrice possono, …

14 algorithms  complexity-theory  time-complexity  computer-algebra 

Attualmente sto leggendo l'apprendimento automatico e mi chiedo come applicarlo per giocare a Connect Four . Il mio attuale tentativo è un semplice classificatore multiclasse che utilizza un modello di funzione sigmoid e il metodo one-vs-all. A mio avviso, le funzioni di input devono essere lo stato (disco del lettore …

14 machine-learning  board-games 

Supponiamo di avere un linguaggio semplice costituito dai termini: truetrue\mathtt{true} falsefalse\mathtt{false} se sono termini, allora lo è anchei ft1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Ora supponi le seguenti regole di valutazione logica: iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_2} \text{[E-IfTrue]} \quad \dfrac{} {\mathtt{if}\: \mathtt{false} \:\mathtt{then}\: t_2 …

14 logic  semantics  proof-techniques  term-rewriting 

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 

Stavo cercando problemi aperti interessanti e facili da definire in termini di calcolabilità (comprensibili agli studenti universitari che frequentano il loro primo corso di calcolabilità) per fornire esempi di problemi aperti (e ovviamente voglio che gli studenti siano in grado di capire il problema senza aver bisogno di troppe novità …

14 computability 

Stavo spiegando il famoso algoritmo di selezione del tempo lineare deterministico ( mediano delle mediane) ad un amico. La ricorsione in questo algoritmo (pur essendo molto semplice) è piuttosto sofisticata. Esistono due chiamate ricorsive, ognuna con parametri diversi. Stavo cercando di trovare altri esempi di algoritmi ricorsivi così interessanti, ma …

14 algorithms  recursion 

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 

Sto cercando di dimostrare che un albero binario con nodi ha al massimo foglie. Come farei per fare questo con l'induzione?⌈ nnnn⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Per le persone che stavano seguendo la domanda originale sui cumuli, è stato spostato qui .

14 data-structures  binary-trees  combinatorics  graph-theory  proof-techniques 

Lascia che GGG sia una grammatica senza contesto. Una stringa di terminali e non terminali di GGG è detto essere una forma sentential di GGG se lo si può ottenere applicando produzioni di GGG zero o più volte al simbolo iniziale di SSS . Let SF(G)SF⁡(G)\operatorname{SF}(G) l'insieme di forme proposizionali …

14 formal-languages  context-free  formal-grammars  closure-properties