Scienza del computer

1

Analisi e riferimenti per topologie di rete simili a fiocchi di neve di Koch (e altre esotiche)

Nella rete di computer e nella progettazione di computer cluster ad alte prestazioni, la topologia di rete si riferisce alla progettazione del modo in cui i nodi sono collegati da collegamenti per formare una rete di comunicazione. Le topologie di rete comuni includono mesh, toro, anello, stella, albero, ecc. Queste …

10 computer-networks network-topology

1

Algoritmo per tradurre un automa deterministico di Büchi in LTL (quando possibile)

La logica temporale lineare e gli automi deterministici di Büchi sono incomparabili: DBA non può esprimere e LTL non può esprimere "almeno ogni lettera dispari è 'a'" . Ma a volte è interessante sapere se la lingua di un DBA può essere espressa in LTL.FG aFsolun'FGa Ho bisogno di un …

10 logic automata linear-temporal-logic buchi-automata

3

Algoritmo per verificare se un albero binario è un albero di ricerca e contare i rami completi

Ho bisogno di creare un algoritmo ricorsivo per vedere se un albero binario è un albero di ricerca binario e contare quanti rami completi ci sono (un nodo genitore con entrambi i nodi figlio sinistro e destro) con una presunta variabile di conteggio globale. Questo è un compito per la …

10 algorithms recursion trees

3

Tutti i problemi NP si riducono a problemi NP-completi: quindi come possono i problemi NP non essere completi?

Il mio libro afferma questo Se un problema decisionale B è in P e A si riduce a B, il problema decisionale A è in P. Un problema decisionale B è NP completo se B è in NP e per ogni problema in A in NP, A si riduce a …

10 complexity-theory np-complete decision-problem

3

Intuizione dietro autovalori di una matrice di adiacenza

Attualmente sto lavorando per comprendere l'uso del limite di Cheeger e della disuguaglianza di Cheeger e il loro uso per il partizionamento spettrale, la conduttanza, l'espansione, ecc., Ma faccio ancora fatica ad avere un'intuizione riguardo al secondo autovalore della matrice di adiacenza. Di solito, nella teoria dei grafi, la maggior …

10 graph-theory adjacency-matrix

1

Perché P e P / poly non sono banalmente la stessa cosa?

La definizione di P è un linguaggio che può essere deciso da un algoritmo temporale polinomiale. La definizione di P / poly può essere intesa come un linguaggio che può essere deciso da un circuito di dimensioni polinomiali (vedi http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Ora, perché non è possibile simulare un circuito di …

10 complexity-theory time-complexity circuits

4

Una lingua in NSPACE (O (n)) e molto probabilmente non in DSPACE (O (n))

In realtà ho scoperto che l'insieme delle lingue sensibili al contesto, ( lingue accettate) non sono così ampiamente discusse come (lingue normali) o \ mathbf {CFL} (lingue senza contesto). E anche il problema aperto \ mathbf {DSPACE (O (n))} = ^ {?} \ Mathbf {NSPACE (O (n))} non è così …

10 complexity-theory np-complete space-complexity context-sensitive

2

Proprietà decidibili di reali calcolabili

Il "teorema di Rice per i reali calcolabili" - cioè, nessuna proprietà non banale del numero rappresentato da un dato reale calcolabile è decidibile - vero? Ciò corrisponde in qualche modo diretto alla connessione dei reali?

10 computability real-numbers computable-analysis

5

Esiste un metodo noto per costruire una grammatica dato un insieme finito di stringhe finite?

Dalla mia lettura sembra che la maggior parte delle grammatiche si occupi di generare un numero infinito di stringhe. E se hai lavorato al contrario? Se date n stringhe di lunghezza m, dovrebbe essere possibile creare una grammatica che genererà quelle stringhe e solo quelle stringhe. Esiste un metodo noto …

10 formal-languages regular-languages formal-grammars finite-sets

2

Complessità di unione-ricerca con path-compressione, senza rango

Wikipedia afferma che l'unione per grado senza compressione del percorso fornisce una complessità temporale ammortizzata di e che sia l'unione per grado che la compressione del percorso danno una complessità temporale ammortizzata di (dove è il inverso della funzione di Ackerman). Tuttavia, non menziona il tempo di esecuzione della compressione …

10 complexity-theory time-complexity union-find

3

Un'espressione regolare può essere infinita?

So che le lingue che possono essere definite usando espressioni regolari e quelle riconoscibili da DFA / NFA (automi finiti) sono equivalenti. Inoltre non esiste alcun DFA per la lingua . Ma ancora si può essere scritto usando le espressioni regolari (per quella materia qualsiasi linguaggio non regolare può essere) …

10 formal-languages regular-languages regular-expressions

2

Qualcuno può spiegare questo diagramma sull'allocazione delle lastre?

Sto cercando di capire come funziona l'allocazione delle lastre e perché è diversa o migliore del paging ordinario. Ho trovato questo diagramma che credo sarebbe utile se avesse più spiegazioni. Alcune domande: Cosa rappresentano gli articoli da 3KB e 7KB? Devono essere collegati in qualche modo? Perché sono confezionati in …

10 operating-systems paging memory-allocation

1

Perché i confronti sono così costosi su una GPU?

Durante il tentativo di migliorare le prestazioni della mia classe di rilevamento delle collisioni, ho scoperto che circa l'80% del tempo trascorso alla GPU, ha speso in condizioni if / else solo cercando di capire i limiti per i secchi attraverso i quali dovrebbe passare. Più precisamente: ogni thread ottiene …

10 computer-architecture parallel-computing

2

Definizioni costruttive standard di numeri interi, razionali e reali?

I numeri naturali sono definiti induttivamente come (usando la sintassi di Coq come esempio) Inductive nat: Set := | O: nat | S: nat -> nat. Esiste un modo standard per definire in modo costruttivo numeri interi (e forse altri insiemi come razionali e reali)?

10 arithmetic dependent-types coq

1

Prova della complessità temporale per l'implementazione dell'albero dei segmenti del problema della somma a distanza

Capisco che gli alberi di segmento può essere utilizzato per trovare la somma di sub matrice di . E questo può essere fatto in tempo secondo il tutorial qui .O ( registro n )UNAAO (logn )O(log⁡n)\mathcal{O}(\log n) Tuttavia, non sono in grado di dimostrare che il tempo di interrogazione è …

10 data-structures runtime-analysis search-trees intervals