Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Imposta la struttura dei dati per inserimenti ripetuti efficienti
Sto cercando una struttura di dati efficiente in termini di spazio che contiene insiemi (nessuna ripetizione) di elementi di parole e supporta un inserimento rapido (O (1) ammortizzato). Per "spazio-efficiente" intendo, idealmente, parole per memorizzare n elementi.n+o(n)n+o(n)n + o(n)nnn Essere un set è una parte importante della domanda: se ogni …
2
Decidibilità dell'uguaglianza dei CFL
Il problema seguente è decidibile: Data una grammatica senza contesto , ?solsolGL ( G ) = ∅L(sol)=∅L(G) = \varnothing Il seguente problema è indecidibile: Data una grammatica senza contesto , ?solsolGL ( G ) = A*L(sol)=UN*L(G) = A^{\ast} Esiste una caratterizzazione delle lingue senza contesto con uguaglianza decidibile ?MMML ( …
2
Mostre per un museo di informatica
Tutti i musei e le mostre informatiche di cui sono a conoscenza sembrano coprire solo la storia dei macchinari informatici, ma nulla su argomenti di informatica. Sei coinvolto nella creazione di un nuovo museo dell'informatica, noleggiato per educare, intrattenere e ispirare il pubblico in una vasta gamma di argomenti di …
4
La diagonalizzazione cattura l'essenza della separazione di classe?
Non ricordo di aver visto una separazione di classe non basata sui risultati di diagonalizzazione e relativizzazione. La diagonalizzazione potrebbe ancora essere utilizzata per separare le classi note rimanenti, poiché gli argomenti non relativizzanti potrebbero ancora essere utilizzati nella conclusione della diagonalizzazione o nella costruzione della macchina di Turing diagonalizzata. …
1
Un semplice (?) Divertente problema combinatorio!
Risolviamo e un numero intero .0<E<10<E<100 per qualsiasi e per qualsiasi vettore \ bar {c} \ in [0,1] ^ n tale che \ sum_ {i \ in [n]} c_i \ geq E \ times nnnnc¯∈[0,1]nc¯∈[0,1]n\bar{c} \in [0,1]^n∑i∈[n]ci≥E×n∑i∈[n]ci≥E×n\sum_{i\in [n]} c_i \geq E \times n Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)A_{\bar{c}} :=|\{ S \subseteq [n] …
2
Solvibilità del riempimento con matrice
La matrice ha dimensione . Vogliamo riempire usando numeri interi compresi tra e , inclusi.AAAn×n(n−1)n×n(n−1)n \times n(n-1)AAA111nnn Requisiti: Ogni colonna di è una permutazione di .AAA1,…,n1,…,n1, \dots, n Qualsiasi sottotrix formata da due file di non può avere colonne identiche.AAA Domanda: È possibile riempire la matrice soddisfacendo i requisiti? Relazione …
3
Il framework MapReduce è un tipo di BSP?
È accurato definire il framework mapReduce un tipo di framework di programmazione parallela sincrona di massa senza ritenzione di memoria locale all'interno dei processori tra le sincronizzazioni? In caso contrario, quale modello di programmazione parallela incapsula più accuratamente il framework mapReduce?
2
Riferimenti a linguaggi di programmazione basati su logiche condizionali
Le logiche condizionali sono logiche che aumentano la tradizionale implicazione logica con operatori modali corrispondenti ad altre nozioni di condizione (ad esempio, la condizionale causale To recita " cause" B ", oppure condizionamento probabilistico " ", che recita " dato ").A A | B A BA□→BA◻→BA\; \square\!\!\!\!\to BUNAAA|BA|BA|BAAABBB Tipicamente queste …
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.