Scienza del computer

Domande e risposte per studenti, ricercatori e professionisti dell'informatica

2
Esiste un codice binario con lunghezza 6, dimensione 32 e distanza 2?
Il problema è provare o confutare l'esistenza di , st, ; ; d (c_i, c_j) \ geq2,1 \ leq i &lt;j \ leq32 . ( d sta per distanza di martellamento)CCC|c|=6,∀c∈C|c|=6,∀c∈C|c| = 6,\forall c\in C|C|=32|C|=32|C| = 32d(ci,cj)≥2,1≤i&lt;j≤32d(ci,cj)≥2,1≤i&lt;j≤32d(c_i,c_j)\geq2,1\leq i<j\leq32ddd Ho provato a costruire un codice soddisfacente. Il meglio che posso ottenere …
1
Come massimizzare
Vedo molti problemi algoritmici che riducono sempre a qualcosa le linee di: Hai un array intero h[1..n]≥0h[1..n]≥0h[1..n]\geq 0 , devi trovare i,ji,ji,j tale che massimizzi (h[j]−h[i])(j−i)(h[j]−h[i])(j−i)(h[j]-h[i])(j-i) nel tempo O(n)O(n)O(n) . Ovviamente la soluzione temporale O(n2)O(n2)O(n^2) è quella di considerare tutte le coppie, tuttavia, esiste un modo per massimizzare l'espressione in …
2
Trova un ordine ottimale
Mi sono imbattuto in questo problema e sto lottando per trovare un modo per affrontarlo. Ogni pensiero sarebbe molto apprezzato! Supponiamo che ci venga data una matrice , ad esempio,{−1,0,1}n × k{−1,0,1}n × k\{-1, 0, 1\}^{n\ \times\ k} ⎡⎣⎢⎢⎢⎢⎢⎢1−10−11001−101010000010−11−11−1⎤⎦⎥⎥⎥⎥⎥⎥[1010−1−100010110−1−1−10111000−1]\begin{bmatrix} 1 & 0 & 1 & 0 & -1 \\ -1 …
2
Esistono problemi "O (1) completi"?
Molte classi di complessità hanno problemi "completi". Esistono problemi completi per la classe di complessità dei problemi che possono essere risolti in O(1)O(1)O(1) tempo? Una complicazione è che questa classe dipende dal modello di calcolo; un problema può essere risolto in un tempo in un modello di calcolo ragionevole ma …
1
Come può ws con | w | = | s | e saremo senza contesto mentre w # s non lo è?
Perché (in tal caso) il separatore ##\# sta facendo la differenza tra le due lingue? Diciamo: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Ecco una prova e una grammatica che rappresentano LLL come CFLCFLCFL E sotto sto aggiungendo una …
2
Coerenza esterna vs linearizzabilità
In Spanner, TrueTime e il teorema della PAC , Eric Brewer scrive: Una cosa sottile di Spanner è che ottiene la serializzabilità dai blocchi, ma ottiene coerenza esterna (simile alla linearizzabilità ) da TrueTime [ enfasi aggiunta ]. Qual è la definizione di coerenza esterna e in che cosa differisce …
2
Conteggio delle isole in matrici booleane
Data una matrice booleana , lascia che voci rappresentino il mare e voci rappresentino la terra. Definire un'isola come adiacente verticalmente o orizzontalmente (ma non in diagonale) .n×mn×mn \times mXX\mathrm X000111111 La domanda originale era di contare il numero di isole in una data matrice. L'autore ha descritto una soluzione …
1
Che cos'è un super universo?
Sto leggendo questo famoso documento sugli universi nella teoria dei tipi . All'inizio mi aspettavo qualcosa di simile ad SetωAgda, ma si scopre che è anche qualcosa di più generale. Sembra generalizzare la costruzione dell'universo da un semplice tipo induttivo-ricorsivo a un legante (simile a e ). La domanda principale …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.