Scienza del computer

3

Una struttura dati efficiente che supporta Inserisci, Elimina e MostFrequent

Supponiamo di avere un set e che ciascun membro di sia una coppia di dati e chiavi. Vogliamo una struttura di dati che supporti le seguenti operazioni:DDDDDD Inserisci in ,(d,k)(d,k)(d,k)DDD Elimina membro , (non è necessario cercare per trovare , ad es. indica un membro in ),eeeeeeeeeDDD MostFrequent, che restituisce …

14 algorithms data-structures abstract-data-types

2

Alcune domande sul calcolo parallelo e la classe NC

Ho una serie di domande correlate su questi due argomenti. In primo luogo, la maggior parte dei testi di complessità solo sorvolare la classe NCNC\mathbb{NC} . Esiste una buona risorsa che copre la ricerca in modo più approfondito? Ad esempio, qualcosa che discute tutte le mie domande qui sotto. Inoltre, …

14 complexity-theory reference-request parallel-computing complexity-classes

2

Che cos'è un parser IELR (1)?

Cerco di insegnarmi come usare il bisonte. La manpage bison (1) dice del bisonte: Genera un parser LR deterministico o LR generalizzato (GLR) utilizzando le tabelle di parser LALR (1), IELR (1) o LR canonico (1). Che cos'è un parser IELR? Tutti gli articoli pertinenti che ho trovato sul World …

14 formal-languages terminology formal-grammars parsers

1

Conteggio delle coppie di inversione

Una classica applicazione di divisione e conquista è quella di risolvere il seguente problema: Dato un array di elementi distinti e comparabili, conta il numero di coppie di inversione nell'array: coppie ( i , j ) tali che a [ i ] > a [ j ] e i < …

14 algorithms reference-request arrays

4

Ogni algoritmo a tempo lineare è un algoritmo di streaming?

A questa domanda sul conteggio delle inversioni , ho trovato un documento che dimostra un limite inferiore alla complessità dello spazio per tutti gli algoritmi di streaming (esatti) . Ho affermato che questo limite si estende a tutti gli algoritmi del tempo lineare. Questo è un po 'audace come in …

14 algorithms streaming-algorithm simulation lower-bounds

1

Per una macchina Turing

Mi chiedo come mai che il seguente linguaggio è in .RR\mathrm R LM1= { ⟨ M2⟩||M2 è una TM e L ( M1) = L ( M2) , E | ⟨ M1⟩ | > | ⟨ M2⟩ | }LM1={⟨M2⟩|M2 è una TM e L(M1)=L(M2), e |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ …

14 computability undecidability

2

È determinabile se una TM raggiunge una posizione sul nastro?

Ho queste domande da un vecchio esame che sto cercando di risolvere. Per ogni problema, l'ingresso è una codifica di qualche macchina di Turing MMM . Per un numero intero c>1c>1c>1 e i seguenti tre problemi: È vero che per ogni input xxx , M non passa il |x|+c|x|+c|x|+c posizione …

14 computability turing-machines undecidability

1

Quando

Secondo l'articolo di Wikipedia , la L in significa "scansione da sinistra a destra", e la "R" significa "derivazione più a destra". Tuttavia, nel documento originale di Knuth sulle grammatiche di L R ( k ) , definisce L R ( k ) (a pagina 610) come una lingua che …

14 formal-languages reference-request terminology formal-grammars parsers

1

Numero previsto di swap nell'ordinamento a bolle

Dato un array AAA di NNN numeri interi, ogni elemento dell'array può essere aumentato di un numero fisso bbb con una certa probabilità p[i]p[i]p[i] , 0≤i<n0≤i<n0 \leq i < n . Devo trovare il numero previsto di swap che avranno luogo per ordinare l'array usando il bubble sort . Ho …

14 algorithms algorithm-analysis sorting average-case

2

Dimostra che ogni due percorsi più lunghi hanno almeno un vertice in comune

Se un grafico è collegato e non ha un percorso con una lunghezza maggiore di k , provare che ogni due percorsi in G di lunghezza k hanno almeno un vertice in comune. GGGkkkGGGkkk Penso che quel vertice comune dovrebbe essere nel mezzo di entrambi i percorsi. Perché se così …

14 graph-theory graphs combinatorics

2

Scambio tempo-spazio per problema elemento mancante

Ecco un problema ben noto. Dato un array di numeri interi positivi, genera il numero intero positivo più piccolo non presente nell'array.A[1…n]A[1…n]A[1\dots n] Il problema può essere risolto nello spazio e nel tempo : leggere l'array, tenere traccia nello spazio indipendentemente dal fatto che si siano verificati , cercare l'elemento …

14 complexity-theory time-complexity space-complexity

2

Ogni problema NP ha una formulazione ILP poli-dimensionata?

Poiché la Programmazione lineare integer è NP-completa, c'è una riduzione di Karp da qualsiasi problema in NP ad essa. Ho pensato che ciò implicasse che esiste sempre una formulazione ILP di dimensioni polinomiali per qualsiasi problema in NP. Ma ho visto articoli su problemi specifici di NP in cui le …

14 complexity-theory np-complete reductions linear-programming

1

Problema di copertura (trasmettitore e ricevitore)

Provo a risolvere il seguente problema di copertura. Esistono trasmettitori con area di copertura di 1 km e ricevitori. Decidi in che tutti i ricevitori sono coperti da qualsiasi trasmettitore. Tutti reveivers e TRASMETTITORE sono rappresentati dal loro ed coordinate.nnnnnnO(nlogn)O(nlog⁡n)O(n\log n)XXxyyy La soluzione più avanzata che posso venire con prende …

14 algorithms computational-geometry search-problem

2

Rappresentazione di numeri negativi e complessi mediante il calcolo Lambda

La maggior parte dei tutorial su Lambda Calculus fornisce esempi in cui numeri positivi e valori booleani possono essere rappresentati da funzioni. Che dire di -1 e io?

14 data-structures lambda-calculus integers real-numbers

3

Determina il numero mancante nel flusso di dati

Riceviamo un flusso di numeri diversi a coppie dall'insieme .{ 1 , … , n }n−1n−1n-1{1,…,n}{1,…,n}\left\{1,\dots,n\right\} Come posso determinare il numero mancante con un algoritmo che legge il flusso una volta e usa una memoria di soli bit ?O(log2n)O(log2⁡n)O(\log_2 n)

14 algorithms integers online-algorithms