Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

10
Ci sono ancora problemi aperti sui DFA?
Dopo aver studiato gli automi a stati finiti deterministici (DFA) in undergrad, ho sentito che sono estremamente ben compresi. La mia domanda è se c'è qualcosa che ancora non capiamo su di loro. Non intendo generalizzazioni di DFA ma i DFA originali non modificati che studiamo in undergrad. Questa è …
7
Come abbattere le tue prove
Quali sono le linee guida generali per la verifica delle prove? Credo che questo sia importante per i dottorandi come me. So già cosa dobbiamo fare per provare qualcosa, ma devi sempre controllare tutto prima di inviarlo. Anche al tuo consulente. Ho sviluppato alcune strategie per tentativi ed errori e …
6
Come ottenere un lavoro
Sono nuovo del sito. Su mathoverflow si tratterebbe di wiki della community, ma non vedo come impostarlo qui. Non una domanda di ricerca, ma si spera di interesse per gli informatici teorici professionisti. Sono uno studente di secondo anno in teoria, e mi chiedevo quali consigli la comunità avesse per …
10
Una pila, due code
sfondo Diversi anni fa, quando ero un laureando, ci veniva dato un compito di analisi ammortizzata. Non sono stato in grado di risolvere uno dei problemi. L'avevo chiesto in teoria comp. , Ma non è emerso alcun risultato soddisfacente. Ricordo che il corso TA ha insistito su qualcosa che non …
15
Riviste ad accesso aperto
Con l'avvento di Internet (e del buon senso) c'è sempre più richiesta di ricerca ad accesso aperto. Diversi ricercatori (incluso me) trovano frustrante il fatto che articoli di ricerca peer-reviewed pubblicati siano alla base dei paywalls. Sto cercando riviste e conferenze (relative a informatica teorica, teoria dei grafi, combinatoria, ottimizzazione …
13
Problemi aperti alle frontiere del TCS
Nel thread Principali problemi irrisolti in informatica teorica? , Iddo Tzameret ha fatto il seguente eccellente commento: Penso che dovremmo distinguere tra i maggiori problemi aperti che sono visti come problemi fondamentali, come P≠NPP≠NP P\neq NP , e i principali problemi aperti che costituiranno una svolta tecnica, se risolti, ma …
5
Ragioni generali per cui i problemi sono in P o BPP
Di recente, quando ho parlato con un fisico, ho affermato che, nella mia esperienza, quando un problema che sembra ingenuo dovrebbe richiedere tempo esponenziale si rivela non banalmente essere in P o BPP, in genere si può identificare un "motivo generale" per cui la riduzione si verifica --- e quasi …
10
Dichiarazioni disponibili sugli algoritmi genetici
Gli algoritmi genetici non ottengono molta trazione nel mondo della teoria, ma sono un metodo metauristico ragionevolmente ben utilizzato (per metaeuristico intendo una tecnica che si applica genericamente a molti problemi, come la ricottura, la discesa del gradiente e simili). In effetti, una tecnica simile a GA è abbastanza efficace …
14
Dove e come i computer hanno aiutato a dimostrare un teorema?
Lo scopo di questa domanda è quello di raccogliere esempi dall'informatica teorica in cui l'uso sistematico dei computer è stato utile nella costruzione di una congettura che porta a un teorema, falsificazione di una congettura o approccio di prova, costruire / verificare (parti di) una prova. Se hai un esempio …
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.