Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Dark Integers: calcoli per scopi generici su router Internet
Greg Egan nella sua narrativa "Dark Integers" (storia di due universi con due differenti matematiche che comunicano attraverso la dimostrazione di teoremi sull'incoerenza nell'aritmetica) afferma che è possibile costruire computer per scopi generici esclusivamente su router Internet esistenti usando solo le sue funzionalità di base di commutazione dei pacchetti (e …
2
Classe di complessità corrispondente all'ordinamento
Due parti di TCS sono algoritmi e complessità. Dirò semplicisticamente che gli algoritmi sono lo studio dei limiti superiori, dimostrando che puoi fare qualcosa (con determinate risorse limitate), e la complessità sta nel mostrare che non puoi farlo senza alcune risorse minime. Così spesso un problema algoritmico è dichiarato in …
6
Grafico planare attraverso l'intersezione di cose grasse?
C'è un bellissimo teorema di Koebe (vedi qui ) che afferma che qualsiasi grafico planare può essere disegnato come un grafico baciante di dischi (molto romantico ...). (Mettendolo in modo leggermente diverso, qualsiasi grafico planare può essere disegnato come grafico di intersezione dei dischi.) Il teorema di Koebe non è …
2
Algoritmo per ordinare le coppie di numeri
Ho già fatto questa domanda su StackOverflow , ma forse è più adatto a questo sito. Il problema è: Ho N coppie di numeri interi senza segno. Devo ordinarli. Il vettore finale delle coppie deve essere ordinato in modo non crescente in base al primo numero in ciascuna coppia e …
3
Limiti inferiori per le strutture dati
Sono noti risultati che escludono l'esistenza di strutture di dati "troppo buone per essere vere"? Ad esempio: si può aggiungere e funzionalità di una struttura dati mantenimento dell'ordine (vedi Dietz e Sleator STOC '87 ) e ancora ottenere operazioni di tempo?SplitSplitSplitJoinJoinJoinO(1)O(1)\mathcal{O}(1) Oppure: è possibile implementare un set ordinato con chiavi …
2
Il compromesso spazio-temporale e il miglior algoritmo
Considera una lingua LLL tale che: L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) e così L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) In altre parole, la macchina più veloce calcola L nel tempo O ( f ( n ) ) e la macchina M ′ più efficiente in termini di spazio calcola L mentre …
6
Cosa si sa sull'efficacia del calcolo affidabile?
In che modo è stato studiato il seguente problema in TCS? (Mi scuso se la dichiarazione del problema sembra vaga!) Dato un modello di calcolo MC (macchina di Turing, automi cellulari, macchina di Kolmogorov-Uspenskii ... ecc.) E un modello di rumore che potrebbe influenzare il calcolo di MC, c'è un …
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.