Dal libro di Chris Okasaki del 1998 "Strutture di dati puramente funzionali", non ho visto troppe nuove interessanti strutture di dati puramente funzionali; Posso citarne solo alcuni: IntMap (inventato anche da Okasaki nel 1998, ma non presente in quel libro) Alberi da dito (e loro generalizzazione su monoidi) Esistono anche …
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, …
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 …
[ 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 …
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
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 …
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 …
Ci sono state diverse domande con lo stesso schema di questa: Quali documenti dovrebbero leggere tutti Quali libri dovrebbero leggere tutti Quali sono i libri TCS recenti le cui bozze sono disponibili online quali video dovrebbero guardare tutti Ero riluttante a postarne un altro, ma le note di Jeff Erickson …
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 …
Seguendo il post Cosa dovrebbero leggere tutti , ho notato che ci sono libri recenti le cui bozze sono disponibili online. Ad esempio, la voce Algorithms di approssimazione del post sopra cita un libro del 2011 (ancora da pubblicare) intitolato Il design degli algoritmi di approssimazione . Penso che conoscere …
Vorrei chiedere aiuto per compilare un elenco di quante più conferenze e seminari relativi al TCS possibili. La mia motivazione principale per fare questo è pianificare la possibile copertura del blog di più sedi teoriche - trovare corrispondenti che partecipano a questi eventi che sarebbero disposti a scrivere brevi o …
Qual è l'opera pubblicata più divertente relativa a TCS che conosci? Ti preghiamo di includere solo quelli che sono considerati divertenti. Sono preferite opere esplicitamente realizzate per essere intelligentemente umoristiche (piuttosto che, per esempio, una raccolta pubblicata di brevi battute sulla teoria della complessità). Sono ammessi anche titoli con titoli …
Elenca gli esempi in cui un teorema della matematica che normalmente non era considerato applicabile in informatica è stato utilizzato per la prima volta per dimostrare un risultato in informatica. I migliori esempi sono quelli in cui la connessione non era ovvia, ma una volta che è stata scoperta, è …
Quali sono alcuni algoritmi di utilità legittima che sono semplicemente troppo complessi da implementare? Vorrei essere chiaro: non sto cercando algoritmi come l'attuale algoritmo di moltiplicazione della matrice ottimale asintotica (Coppersmith-Winograd), che è ragionevole da implementare ma ha una costante che lo rende inutile nella pratica. Sto cercando algoritmi che …
Sono un professionista del software e sto scrivendo un sondaggio sulle strutture algebriche per la ricerca personale e sto cercando di produrre esempi di come queste strutture sono utilizzate nell'informatica teorica (e, in misura minore, altri sotto-campi dell'informatica) . Sotto la teoria dei gruppi mi sono imbattuto in monoidi sintattici …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.