Nel corso degli anni mi sono abituato a vedere molti teoremi di TCS dimostrati usando un'analisi discreta di Fourier. La trasformata di Walsh-Fourier (Hadamard) è utile praticamente in ogni sottocampo del TCS, inclusi test di proprietà, pseudo-casualità, complessità della comunicazione e calcolo quantistico. Mentre mi sentivo a mio agio nell'utilizzare …
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 è …
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 …
Questa domanda è qualcosa che mi chiedevo da un po '. Quando le persone descrivono il problema P vs. NP, spesso confrontano la classe NP con la creatività. Notano che comporre una sinfonia di qualità Mozart (analoga a un'attività NP) sembra molto più difficile che verificare che una sinfonia già …
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 …
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 …
Quali strumenti usi per scrivere documenti? Dalla poca esperienza che ho, i teorici trascorrono molto tempo a scrivere e perfezionare documenti, oltre a essere effettivamente creativi. Cioè, comunicare il loro lavoro ad altre persone. Forse i documenti non sono il modo giusto per farlo, ma dovrebbero essere lasciati per un'altra …
È la mia prima domanda su questo sito. Sto seguendo un master in teoria del calcolo. Come spiegheresti il problema P = NP a un bambino di 10 anni e perché ha una tale ricompensa monetaria? Il tuo introito? Aggiornerò la domanda man mano che la mia testa sarà chiara …
Molti ricercatori e gruppi di ricerca di alto livello nel campo dell'informatica) mantengono blog attivi che ci tengono aggiornati sulle ultime ricerche nei campi di interesse degli autori. Nella maggior parte dei casi, i post sul blog sono più facili da comprendere rispetto ai documenti formali, perché omettono la maggior …
Mi viene spesso chiesto cosa fa un teorico informatico. Sarebbe bello avere delle belle risposte a questa domanda. Tendo a ripiegare sul gergo tecnico e gli occhi delle persone di solito si sminuiscono a questo punto. Che cosa fa un informatico teorico, in termini che possono essere compresi da persone …
A seguito di una fruttuosa domanda in MO , ho pensato che valesse la pena discutere alcuni nomi di carta importanti in CS. È abbastanza chiaro che la maggior parte di noi potrebbe essere attratta da leggere (o almeno dare un'occhiata) a un documento con un titolo interessante (almeno lo …
Ricordo che avrei potuto incontrare riferimenti a problemi che si sono dimostrati risolvibili con una particolare complessità, ma senza un algoritmo noto per raggiungere effettivamente questa complessità. Faccio fatica a pensare a come può essere il caso; come sarebbe una prova non costruttiva dell'esistenza di un algoritmo. Esistono davvero tali …
La teoria della complessità è un mio grande interesse secondario, ma non è il mio principale interesse di ricerca, quindi non c'è speranza per me di partecipare a tutte le conferenze, leggere tutti i blog e garantire che il "in" crowd cc: me su ogni bit di notizie calde. Cerco …
Stavo curando un manoscritto studentesco. Lo studente ha osservato che sarebbe bello vedere esempi di testi di qualità nelle opere pubblicate e mi sono reso conto che non potevo davvero trovare buoni esempi dalla cima della mia testa Quali sono i migliori esempi di scrittura matematica di qualità che hai …
Oggi Ryan Williams ha pubblicato un articolo su arXiv (precedentemente apparso su SIGACT News) contenente una versione meno tecnica della sua recente tecnica con limiti inferiori ACC . La mia domanda non riguarda la tecnica stessa (ovviamente degna di immensi elogi), ma riguarda lo stile della carta. In astratto, scrive: …
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.