Informatica teorica

16

Quali strumenti usi per scrivere documenti?

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 …

55 soft-question big-list research-practice writing

3

Algoritmi sorprendenti per il conteggio dei problemi

Ci sono alcuni problemi di conteggio che coinvolgono il conteggio esponenziale di molte cose (rispetto alla dimensione dell'input), e tuttavia hanno sorprendenti algoritmi deterministici, esatti nel tempo polinomiale. Esempi inclusi: Contando le corrispondenze perfette in un grafico planare (l' algoritmo FKT ), che è la base per il funzionamento degli …

54 cc.complexity-theory counting-complexity big-picture

2

Si può amplificare P = NP oltre P = PH?

Nella complessità descrittiva , Immerman ha Corollario 7.23. Le seguenti condizioni sono equivalenti: 1. P = NP. 2. Strutture finite e ordinate, FO (LFP) = SO. Questo può essere pensato come "amplificazione" di P = NP a un'istruzione equivalente su (presumibilmente) classi di complessità più grandi. Notare che SO acquisisce …

54 cc.complexity-theory reference-request complexity-classes conditional-results polynomial-hierarchy

9

Spiega il problema P = NP a 10 anni

È 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 …

54 cc.complexity-theory soft-question teaching p-vs-np

13

Teoria dell'informazione usata per dimostrare affermazioni combinatorie ordinate?

Quali sono i tuoi esempi preferiti in cui la teoria dell'informazione viene utilizzata per dimostrare in modo semplice un'affermazione combinatoria accurata? Alcuni esempi a cui riesco a pensare sono legati a limiti inferiori per codici decodificabili localmente, ad esempio, in questo documento: supponiamo che per un gruppo di stringhe binarie …

54 co.combinatorics big-list it.information-theory

5

Quali blog CS dovrebbero leggere tutti?

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 …

53 soft-question

1

Esiste un tipo di amplificazione gap di risultato per il problema dell'isomorfismo del grafico?

Supponiamo che e G 2 siano due grafici non indirizzati sul set di vertici { 1 , ... , n } . I grafici sono isomorfi se e solo se esiste una permutazione Π tale che G 1 = Π ( G 2 ) , o più formalmente, se esiste …

53 cc.complexity-theory graph-isomorphism pcp

5

Che tipo di risposta vuole TCS alla domanda "Perché le reti neurali funzionano così bene?"

Il mio dottorato è in matematica pura, e ammetto di non sapere molto (cioè nulla) sulla CS teorica. Tuttavia, ho iniziato a esplorare opzioni non accademiche per la mia carriera e ad introdurmi all'apprendimento automatico, inciampando in affermazioni come "Nessuno capisce perché le reti neurali funzionano bene", che ho trovato …

52 machine-learning

1

Una versione combinatoria per la congettura polinomiale di Hirsch

Considera famiglie disgiunte di sottoinsiemi di {1,2, ..., n}, F 1 , F 2 , ... F t .tttF1, F2, ... FtF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} Supporre che (*) Per ogni ed ogni R ∈ F i , e T ∈ F k , c'è S ∈ F j contenente …

52 co.combinatorics cg.comp-geom open-problem linear-programming

7

Per quali problemi in P è più facile verificare il risultato che trovarlo?

Per (versioni di ricerca) di problemi NP completi, verificare una soluzione è chiaramente più facile che trovarla, poiché la verifica può essere effettuata in tempo polinomiale, mentre la ricerca di un testimone richiede (probabilmente) tempo esponenziale. In P , tuttavia, la soluzione può essere trovata anche in tempi polinomiali, quindi …

52 cc.complexity-theory ds.algorithms reference-request

13

Per quali algoritmi esiste un grande divario tra l'analisi teorica e la realtà?

Sono due modi per analizzare l'efficienza di un algoritmo mettere un limite superiore asintotico sul suo tempo di esecuzione, e per eseguirlo e raccogliere dati sperimentali. Mi chiedo se ci sono casi noti in cui esiste un divario significativo tra (1) e (2). Con questo intendo che (a) i dati …

52 ds.algorithms big-list ds.data-structures

2

Quali sono le domande in sospeso in strutture di dati puramente funzionali?

Questa domanda è ispirata da un'altra domanda sulle novità di PFDS dalla pubblicazione del libro di Okasaki nel 1998 . Inizierò con due domande che ho: Esiste una struttura di dati di set puramente funzionale che si avvicina alla velocità delle tabelle hash? I tentativi non ci sono ancora. Esistono …

51 big-list ds.data-structures functional-programming

21

Descrizione del tavolo da pranzo dell'informatica teorica?

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 …

51 big-list soft-question

3

Rigorosa prova di sicurezza per i soldi quantistici di Wiesner?

Nel suo famoso documento "Coniugazione con codice" (scritto intorno al 1970), Stephen Wiesner ha proposto uno schema di moneta quantistica che è incondizionatamente impossibile da contraffare, supponendo che la banca emittente abbia accesso a una gigantesca tabella di numeri casuali e che le banconote possano essere portate torna in banca …

50 quantum-computing

18

I titoli di carta CS più memorabili

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 …

50 soft-question big-list