Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati


30
Quali documenti dovrebbero leggere tutti?
Questa domanda è (ispirata a) / (vergognosamente rubata da) una domanda simile a MathOverflow , ma mi aspetto che le risposte qui siano piuttosto diverse. Tutti noi abbiamo articoli preferiti nelle nostre rispettive aree di teoria. Di tanto in tanto, si trova un documento così sorprendente (ad esempio, importante, avvincente, …

30
Algoritmi dal libro.
Paul Erdos ha parlato del "Libro" in cui Dio conserva la prova più elegante di ogni teorema matematico. Ciò ha persino ispirato un libro (che credo sia giunto alla sua quarta edizione): Proofs from the Book . Se Dio avesse un libro simile per gli algoritmi, quale algoritmo pensi che …

29
Algoritmi core distribuiti
Per dimostrare l'importanza degli algoritmi (ad esempio per studenti e professori che non fanno la teoria o provengono anche da campi completamente diversi), a volte è utile avere a portata di mano un elenco di esempi in cui gli algoritmi di base sono stati distribuiti in ambito commerciale, governativo, o …



30
Quali libri dovrebbero leggere tutti?
[ Cronologia ] Questa domanda ha lo stesso spirito di quali documenti dovrebbero leggere tutti e quali video dovrebbero guardare tutti . Richiede libri notevoli in diverse aree dell'informatica teorica. I libri possono essere orientati alla matematica, ma potresti trovarlo fantastico per uno scienziato informatico. Esempi: Probabilità disuguaglianze Logica Teoria …

30
Principali problemi irrisolti nell'informatica teorica?
Wikipedia elenca solo due problemi in "problemi irrisolti in informatica" : P = NP? L'esistenza di funzioni a senso unico Quali sono gli altri problemi principali che dovrebbero essere aggiunti a questo elenco? Regole: Un solo problema per risposta Fornire una breve descrizione e tutti i collegamenti pertinenti

2
Problema di Super Mario Galaxy
Supponiamo che Mario stia camminando sulla superficie di un pianeta. Se inizia a camminare da una posizione nota, in una direzione fissa, per una distanza predeterminata, quanto velocemente possiamo determinare dove si fermerà? Più formalmente, supponiamo che ci venga dato un polytope convesso in 3 spazi, un punto iniziale sulla …

30
Quali video dovrebbero guardare tutti?
La Stanford University ha ora un canale Youtube , con accesso gratuito al video HD di corsi completi su tutto, dai sistemi dinamici all'entanglement quantico. Altre conferenze e workshop stanno registrando i loro discorsi. Quali sono i video online che pensi che tutti dovrebbero sapere? Seminerò questo con alcune risposte …

28
Problemi tra P e NPC
Il factoring e l'isomorfismo grafico sono problemi in NP che non sono noti per essere in P né per NP-Complete. Quali sono alcuni altri problemi naturali (sufficientemente diversi) che condividono questa proprietà? Gli esempi artificiali che provengono direttamente dalla dimostrazione del teorema di Ladner non contano. Qualcuno di questi esempi …

13
Consigli su buone pratiche di ricerca
Dopo aver letto la domanda di Daniel Apon , ho iniziato a pensare che potrebbe essere utile (specialmente ai ricercatori junior e ai dottorandi come me) porre una domanda più ampia e più generale in modo da poter imparare dall'esperienza di ricercatori più senior. Quindi ecco la domanda: Quali pratiche …

11
Quanto è difficile riordinare una stringa?
Una mescolanza di due stringhe si forma intervallando i caratteri in una nuova stringa, mantenendo in ordine i caratteri di ciascuna stringa. Ad esempio, MISSISSIPPIè un riordino di MISIPPe SSISI. Permettetemi di chiamare un quadrato di stringhe se è un riordino di due stringhe identiche. Ad esempio, ABCABDCDè quadrato, perché …


17
Esempi del prezzo dell'astrazione?
L'informatica teorica ha fornito alcuni esempi del "prezzo dell'astrazione". I due più importanti sono per l'eliminazione e l'ordinamento gaussiani. Vale a dire: È noto che l'eliminazione gaussiana è ottimale, ad esempio, per calcolare il determinante se si limitano le operazioni a righe e colonne nel loro insieme [1]. Ovviamente l'algoritmo …

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.