Scienza del computer

2

Stavo guardando qui e ho notato che il miglior runtime per la moltiplicazione di due numeri -bit è O ( n ⋅ log n ⋅ 2 O ( log ∗ n ) , ma posso facilmente notare un algoritmo che gira in O ( n ⋅ registro n ) .nnnO …

10 runtime-analysis

1

Costruire tutte le lingue senza contesto da un insieme di lingue di base e proprietà di chiusura?

Un modo di guardare le espressioni regolari è come una prova costruttiva del seguente fatto: è possibile costruire le lingue regolari iniziando con un piccolo set di lingue e combinandole tramite un piccolo set fisso di proprietà di chiusura. In particolare, se iniziamo con la lingua vuota, la lingua contenente …

10 formal-languages context-free closure-properties regular-expressions

3

Parser ricorsivo di discesa con backtracking per la grammatica

Qualcuno può illuminarmi perché un parser di discesa ricorsivo con backtracking che prova le produzioni e (in quell'ordine) non riconosce la lingua formata dalla grammatica .S → a a S → a S a | a aS→aSun'S→un'Sun'S \rightarrow aSaS→ a aS→aun'S \rightarrow aaS→aSa | a a S→un'Sun' | un'un'S \rightarrow …

10 context-free formal-grammars compilers parsers

2

Metodo per misurare la "somiglianza" tra le grammatiche FSA?

Sto lavorando con un algoritmo di corrispondenza dei modelli che genera un automa a stati finiti aciclico che accetta una determinata stringa di testo e tutte le sue sottostringhe. L'algoritmo FSA viene eseguito su una rappresentazione simbolica di un flusso musicale (ad es. Dati MIDI). Il flusso musicale è stato …

10 formal-languages reference-request finite-automata

4

Tagliare bastoncini uguali da bastoncini diversi

Hai stick di lunghezze arbitrarie, non necessariamente integrali.nnn Tagliando alcuni bastoncini (un taglio taglia un bastoncino, ma possiamo tagliare tutte le volte che vogliamo), vuoi ottenere bastoncini in modo che:k < nk<nk<n Tutti questi stick hanno la stessa lunghezza;Kkk Tutti i bastoncini sono lunghi almeno quanto tutti gli altri bastoncini.Kkk …

10 algorithms optimization

1

Perché l'utilizzo dell'hyper-threading può causare il peggioramento delle prestazioni

L'ho letto in vari posti come questo , che l'hyper-threading porta al degrado delle prestazioni. Non riesco a capire perché o come l'hyper-threading porta al degrado. Perché è così che anche quando Hyper-threading consente al sistema operativo di utilizzare risorse gratuite si verifica il degrado. Anche se i benchmark indicano …

10 computer-architecture performance threads

1

Complessità di un algoritmo ingenuo per trovare la sottostringa di Fibonacci più lunga

Dati due simboli e B , definiamo il k -esimo stringa Fibonacci come segue:aa\text{a}bb\text{b}kkk F(k)=⎧⎩⎨baF(k−1)⋆F(k−2)if k=0if k=1elseF(k)={bif k=0aif k=1F(k−1)⋆F(k−2)else F(k) = \begin{cases} \text{b} &\mbox{if } k = 0 \\ \text{a} &\mbox{if } k = 1 \\ F(k-1) \star F(k-2) &\mbox{else} \end{cases} con indica la concatenazione di stringhe.⋆⋆\star Quindi avremo: F(0)=bF(0)=bF(0) …

10 algorithms algorithm-analysis runtime-analysis strings substrings

2

Arrestare il problema senza autoreferenzialità

Nel problema di arresto, siamo interessati se esiste una macchina di Turing grado di dire se una data macchina di Turing ferma o meno su un determinato ingresso . Di solito, la prova inizia supponendo che esista una taleQuindi, consideriamo un caso in cui limitiamo a stesso, e quindi ricaviamo …

10 computability undecidability halting-problem

2

Interpretazione combinata del calcolo lambda

Secondo Peter Selinger , The Lambda Calculus is Algebraic (PDF). All'inizio di questo articolo dice: L'interpretazione combinatoria del calcolo lambda è nota per essere imperfetta, perché non soddisfa la regola ξξξ : sotto l'interpretazione, M=NM=NM = N non implica λx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N (Barendregt, 1984). Domande: Che tipo di …

10 terminology lambda-calculus combinatory-logic

2

Questo classico libro di puzzle è NP-completo?

Esiste un classico gioco di rompicapo molto simile a un cruciverba, tranne per il fatto che viene fornito un elenco di parole e viene data una tavola quadrata composta da quadrati unitari, con alcuni quadrati oscurati proprio come un cruciverba, e alcuni quadrati contengono già una lettera già scritta. L'obiettivo …

10 complexity-theory np-complete board-games

1

Calcolo del numero di bit di una grande potenza di numero intero

Dati due numeri interi e n nella rappresentazione binaria, qual è la complessità del calcolo della dimensione in bit di x n ?xxxnnnxnxnx^n Un modo per farlo è calcolare calcolando un'approssimazione del log 2 ( x ) con sufficiente precisione. Sembra che il log di calcolo 2 ( x ) …

10 complexity-theory time-complexity binary-arithmetic

2

Le relazioni di equivalenza coprono il problema (nella teoria dei grafi)

Una relazione di equivalenza su un insieme di vertici finiti può essere rappresentata da un grafico non orientato che è un'unione disgiunta di cricche. Il set di vertici rappresenta gli elementi e un bordo indica che due elementi sono equivalenti. Se ho un grafico e grafici , diciamo che è …

10 algorithms graph-theory clique

4

Ripristino dell'incorporamento di un punto da un grafico con bordi ponderati per la distanza del punto

Supponiamo che io ti dia un grafico non orientato con bordi ponderati e ti dica che ogni nodo corrisponde a un punto nello spazio 3d. Ogni volta che c'è un bordo tra due nodi, il peso del bordo è la distanza tra i punti. Il tuo obiettivo è ricostruire le …

10 complexity-theory graph-theory computational-geometry euclidean-distance

2

Sarebbe

Se la gerarchia crolla al secondo livello (dal teorema di Karp-Lipton). Ma che dire di e ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Ho provato a dimostrare che è contenuto in (l'altra direzione è banale se ) ma senza risultati, e non sono nemmeno sicuro che sia vero.BPPBPP\sf BPPNPNP\sf NPRP=NPRP=NP\sf RP …

10 complexity-theory complexity-classes probabilistic-algorithms

1

Il principio end-to-end può essere formalizzato?

Alla fine degli anni '90, quando ero alla scuola di specializzazione, il giornale JH Saltzer; DP Reed; DD Clark: argomenti end-to-end nella progettazione del sistema . ACM Trans. Comput. Syst. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 era praticamente necessario leggere in ogni classe di sistemi operativi in …

10 computer-architecture operating-systems distributed-systems computer-networks