Scienza del computer

1

Ogni stringa abbastanza grande ha ripetizioni?

Sia un insieme finito di caratteri di dimensioni fisse. Lascia che sia una stringa sopra . Diciamo che una sottostringa non vuota di è una ripetizione se per una stringa .ΣΣ\Sigmaαα\alphaΣΣ\Sigmaββ\betaαα\alphaβ=γγβ=γγ\beta = \gamma \gammaγγ\gamma Ora, la mia domanda è se vale quanto segue: Per ogni , esiste qualche tale che …

20 combinatorics strings word-combinatorics

1

Complessità delle torri di Hanoi

Ho incontrato i seguenti dubbi sulla complessità delle Torri di Hanoi , su cui vorrei i tuoi commenti. È a NP? Tentativo di risposta: supponiamo che Peggy (prover) risolva il problema e lo inoltri a Victor (verificatore). Victor può facilmente vedere che lo stato finale della soluzione è giusto (in …

20 complexity-theory time-complexity

4

Misurazione della latenza della rete a senso unico

Questo è un enigma sulla misurazione della latenza di rete che ho creato. Credo che la soluzione sia impossibile, ma gli amici non sono d'accordo. Sto cercando spiegazioni convincenti in entrambi i casi. (Anche se si pone come un puzzle, penso che si adatti a questo sito Web a causa …

20 computer-networks protocols distributed-systems

1

Esiste una struttura di dati esistente di dimensioni fisse e spingerà fuori l'elemento più vecchio / ultimo se viene inserito un nuovo elemento?

Sto cercando una struttura di dati che spingerà fuori il suo elemento più vecchio / ultimo se viene inserito un nuovo elemento. Ad esempio, lascia che Drappresenti la struttura. Dcontiene 3 elementi dei Number Dvalori predefiniti del tipo che verranno inizializzati su 1, 2e 3. D = [ 1 , …

20 data-structures arrays queues

1

se (λ x. xx) ha un tipo, allora il tipo di sistema è incoerente?

Se un sistema di tipi può assegnare un tipo a λ x . x x, o al non terminante (λx . x x) (λ x . x x), allora quel sistema è incoerente di conseguenza? Ogni tipo sotto quel sistema è abitato? Puoi dimostrare falso?

20 lambda-calculus dependent-types

3

Le funzioni con una crescita più lenta di Ackermann inversa appaiono nei limiti di runtime?

Alcuni algoritmi complicati ( union-find ) hanno la funzione di Ackermann inversa quasi costante che appare nella complessità del tempo asintotico e sono ottimali nel caso peggiore se il termine di Ackermann inverso quasi costante viene ignorato. Esistono esempi di algoritmi noti con tempi di esecuzione che coinvolgono funzioni che …

20 reference-request algorithm-analysis time-complexity runtime-analysis

2

Sono linguaggi liberi dal contesto in

Le lingue senza contesto non sono chiuse sotto complemento, lo sappiamo. Per quanto ho capito, le lingue senza contesto che sono un sottoinsieme di un'*B*a∗b∗a^*b^* per alcune lettere a , ba,ba,b sono chiuse sotto complemento (!?) Ecco il mio argomento. Ogni linguaggio CF LLL ha un'immagine Parikh semi-lineare π( L …

20 formal-languages reference-request context-free closure-properties

2

Esiste un tipo non banale che è uguale alla sua derivata?

Un articolo chiamato The Derivative of a Regular Type è il suo tipo di contesti a un foro mostra che la "cerniera" di un tipo - i suoi contesti a un foro - segue le regole di differenziazione nell'algebra di tipo. Abbiamo: ∂xx∂x0∂x1∂x(S+T)∂x(S×T)↦1↦0↦0↦∂xS+∂xT↦∂xS×T+S×∂xT∂xx↦1∂x0↦0∂x1↦0∂x(S+T)↦∂xS+∂xT∂x(S×T)↦∂xS×T+S×∂xT\begin{align} \partial_x x &\mapsto 1 \\ \partial_x 0 …

20 type-theory algebra

1

Esistono compilatori completamente ottimizzati per la chiusura dei programmi?

Nel libro di Andrew W. Appel, Modern Compiler Implementation in ML , afferma nel capitolo 17 che la teoria della computabilità mostra che sarà sempre possibile inventare nuove trasformazioni di ottimizzazione e procede per dimostrare che un compilatore completamente ottimizzato risolverà il problema di arresto: un programma Q che non …

20 computability compilers program-optimization

4

Comprimere due numeri interi ignorando l'ordine

Confrontando una coppia ordinata (x, y) con una coppia non ordinata {x, y} (set), quindi le informazioni teoricamente, la differenza è solo un bit, come se x viene prima o y richiede esattamente un singolo bit per rappresentare. Quindi, se ci viene dato un set {x, y} in cui x, …

20 information-theory data-compression

4

Usi gli umani come componenti per costruire un computer?

Ok prima di iniziare mi rendo conto che questo è ai margini dell'argomento (ho letto la guida Domande su questo sito), in particolare perché questo non è un problema reale. Tuttavia: Non riesco a trovare nulla di rilevante su Google Da un punto di vista purista sicuramente deve rientrare in …

20 reference-request human-computing

1

Rilevare le progressioni aritmetiche "doppiamente" 3SUM è difficile?

Questo si ispira a una domanda di intervista . Ci viene data una matrice di numeri interi e dobbiamo determinare se esistono distinti tali che i < j < kun'1, ... , unna1,…,ana_1, \dots, a_ni < j < ki<j<ki \lt j \lt k un'K- aj= aj- aioak−aj=aj−aia_k - a_j = …

20 algorithms complexity-theory lower-bounds

5

Che cos'è esattamente il calcolo?

So cos'è il calcolo in un certo senso (è la cosa che fanno i computer), ma vorrei una definizione più rigorosa. Dictionary.comLe definizioni di calcolo, elaborazione, calcolo e calcolo sono circolari, quindi non aiuta. Wikipediadefinisce il calcolo come "qualsiasi tipo di calcolo che segue un modello ben definito". Definisce il …

20 terminology computability

4

Perché la ricorsione sinistra è cattiva?

Nella progettazione del compilatore, perché la ricorsione sinistra dovrebbe essere eliminata nelle grammatiche? Sto leggendo che è perché può causare una ricorsione infinita, ma non è vero anche per una corretta grammatica ricorsiva?

20 formal-grammars compilers left-recursion

2

Somma sottoinsieme: riduce il caso speciale al caso generale

Wikipedia afferma che il problema della somma dei sottoinsiemi è trovare un sottoinsieme di un dato multiset di numeri interi, la cui somma è zero. Inoltre afferma che equivale a trovare un sottoinsieme con somma per ogni dato .SssSss Quindi, poiché sono equivalenti, deve esserci una riduzione in entrambe le …

20 complexity-theory reductions np-hard