Domande taggate «big-picture»

Il tag di grandi dimensioni è per una "visione generale ampia o prospettiva di un problema o problema".

1
Carriera in informatica teorica
Sono attualmente uno studente delle superiori, interessato all'informatica teorica e alla matematica applicata. Mi sono autodidatta algebra lineare e calcolo e matematica concreta. Ho la nozione ingenua che per poter scrivere algoritmi migliori, si deve conoscere quanta più matematica si può perché è possibile conoscere nuove strutture e quindi utilizzare …
3
Quanto è dura la simulazione esatta di algoritmi e un'operazione correlata sulle classi di complessità
Teaser Poiché il problema è lungo, ecco un caso speciale che cattura la sua essenza. Problema: Sia A un algoritmo detrministico per 3-SAT. È il problema di simulare completamente l'algoritmo A (su ogni istanza del problema). P-Space difficile? (Più precisamente, ci sono ragioni per ritenere che questo compito sia difficile …
3
Randomizza o no?
Questa domanda è ispirata alla maglietta del Georgia Tech Algorithms and Randomness Center , che chiede "Randomize or no ?!" Ci sono molti esempi in cui la randomizzazione aiuta, specialmente quando si opera in ambienti contraddittori. Ci sono anche alcune impostazioni in cui la randomizzazione non aiuta o fa male. …
6
Interpretazione geometrica del calcolo
Essendo della fisica, sono stato addestrato a esaminare molti problemi da un punto di vista geometrico. Ad esempio la geometria differenziale delle varietà nei sistemi dinamici, ecc. Quando leggo le basi dell'informatica, cerco sempre di trovare interpretazioni geometriche. Come una plausibile interpretazione geometrica di insiemi ricorsivamente enumerabili (ho lavorato su …
2
Panorama dei sistemi di prova interattivi
La mia prima domanda è se una caratterizzazione del sistema di prove interattive è nota per tutte le classiche classi di complessità. Chiamerei P, NP, PSPACE, EXP, NEXP, EXPSPACE, funzioni ricorsive e ricorsivamente enumerabili classiche (tra le altre). In particolare, una caratterizzazione del sistema di prove interattive è nota per …
4
Risultati interessanti in TCS che sono facilmente spiegabili ai programmatori senza background tecnico
Supponiamo che stai incontrando programmatori che hanno seguito alcuni corsi di programmazione professionale (/ auto-pensiero) ma non hanno studiato matematica a livello universitario. Al fine di mostrare loro la bellezza di TCS, vorrei raccogliere alcuni bei risultati / domande aperte provenienti da TCS che possono essere facilmente spiegate. Un buon …
2
Che cos'è l'informatica teorica?
Che cos'è esattamente l'informatica teorica? Sta imparando a programmare in varie lingue e creando app in piattaforme? Oppure sta solo pensando ad algoritmi sempre più veloci in modo da poter svolgere un'attività in modo più efficiente dai computer? Oppure sta programmando e pensando a nuove situazioni di vita che possono …
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.