Informatica teorica survey

14

Applicazioni della topologia all'informatica

Vorrei scrivere un sondaggio sulle applicazioni della topologia in informatica. Ho intenzione di coprire la storia delle idee topologiche in Informatica e di evidenziare anche alcuni sviluppi attuali. Sarebbe estremamente utile se qualcuno potesse dare un contributo in merito a una qualsiasi delle domande seguenti. Esistono documenti o note che …

61 reference-request ho.history-overview topology survey

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 …

55 proofs survey examples

22

Quali gerarchie e / o teoremi della gerarchia conosci?

Attualmente sto scrivendo un sondaggio sui teoremi della gerarchia su TCS. Alla ricerca di articoli correlati, ho notato che la gerarchia è un concetto fondamentale non solo in TCS e matematica, ma in numerose scienze, dalla teologia e sociologia alla biologia e chimica. Visto che la quantità di informazioni è …

42 cc.complexity-theory reference-request big-list survey

1

Prerequisito per l'apprendimento della GCT

Sembra che la teoria della complessità geometrica richieda molta conoscenza della matematica pura come la geometria algebrica, la teoria della rappresentazione. Mentre sono uno studente CS e NON ho lezioni di matematica molto astratta e pura, sono interessato a questo programma. Esiste un elenco di "conoscenze minime" per l'apprendimento di …

38 reference-request big-list survey gct

4

Articoli Wikipedia mancanti

Su quali argomenti TCS mancanti su Wikipedia ti piacerebbe di più che ci fosse un articolo? Potrebbero essere evidenti omissioni o solo argomenti che ritieni debbano davvero contenere un articolo. Un argomento per risposta, per favore, in modo che quelli più ricercati possano essere votati. Aggiornamento 5/2/2017 : Shuchi Chawla …

26 soft-question big-list survey

4

Manuale di strutture dati avanzate

Sto cercando un libro su strutture dati avanzate che vada oltre quanto descritto nei libri di testo standard come "Introduzione agli algoritmi" di Cormen, Leiserson, Rivest e Stein. Un libro che può essere utilizzato per insegnare un corso di laurea su strutture dati avanzate come Erik Demaine e il corso …

24 soft-question ds.data-structures survey books

4

Complessità computazionale nella finanza quantitativa

Prevedere il mercato azionario è difficile! TCS può rendere questo sentimento più formale? Di recente ho iniziato a pensare un po 'alla finanza e mi chiedevo come potesse essere utile la conoscenza di TCS. Gli hedge fund e le società di investimento sembrano utilizzare continuamente il trading algoritmico, il machine …

19 cc.complexity-theory reference-request survey ce.computational-finance algorithmic-lens

4

Teorema automatizzato che dimostra in logica lineare

Il teorema automatico dimostra e ricerca di prove è più facile nelle logiche strutturali secondarie e proposizionali che mancano di contrazione? Dove posso leggere di più sulla dimostrazione del teorema automatico in queste logiche e sul ruolo della contrazione nella ricerca di prove?

18 reference-request lo.logic survey automated-theorem-proving linear-logic

1

Condizioni sufficienti per la regolarità di un linguaggio privo di contesto

Sarebbe bello raccogliere un elenco di condizioni che implicano che una lingua senza contesto L sia regolare, vale a dire le condizioni del modulo: "se un determinato CFG / PDA ha proprietà P, allora le sue lingue sono regolari" La proprietà P non deve caratterizzare i CFG che generano linguaggi …

14 reference-request fl.formal-languages regular-language context-free survey

2

Congettura sulla sensibilità - Blocca congetture - Implicazioni

Sia una funzione booleana con sensibilità s ( f ) e blocco sensibilità b s ( f ) .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) La congettura della sensibilità del blocco di sensibilità afferma che esiste un tale che ∀ f , b s ( f ) ≤ s ( f ) c .c>0c>0c>0∀f, bs(f)≤s(f)c∀f, bs(f)≤s(f)c\forall …

12 cc.complexity-theory big-picture boolean-functions survey

2

Esiste un sondaggio sulla semantica delle varie funzioni del linguaggio di programmazione?

Esiste un sondaggio (dall'articolo, capitolo del libro, tutorial, collegamenti, ...) della semantica delle varie funzionalità del linguaggio di programmazione? Inizialmente sono stato sopraffatto dalle funzionalità di D qui http://www.digitalmars.com/d/2.0/comparison.html Mi piacerebbe vedere cosa potrei ottenere da qui, anche se ho fatto una domanda simile su StackOverflow e capire che questi …

12 reference-request pl.programming-languages survey

10

Risorse per conoscere il problema P vs. NP

Di recente mi è stato ricordato il problema vs. N P , come spiegato da Stephen A. Cook sul Clay Mathematics Institute.PP\mathsf{P}N PNP\mathsf{NP} Ha suscitato il mio interesse e vorrei saperne di più. Il primo passo sarebbe ottenere una comprensione più profonda del problema e una comprensione dell'area in generale. …

12 cc.complexity-theory reference-request survey books p-vs-np

7

Manuale di algoritmi avanzati

Sto cercando risorse (preferibilmente un manuale) su argomenti avanzati negli algoritmi (argomenti oltre a quelli trattati nei manuali di algoritmi come CLRS e DPV). Il tipo di materiale che può essere utilizzato per insegnare argomenti in un corso di algoritmi come Erik Demaine e il corso Advanced Algorithms di David …

11 ds.algorithms reference-request survey books

1

Un sondaggio sui separatori?

Ci sono ormai montagne di risultati sui separatori nei grafici, dal separatore planare, dal separatore di alberi, dai grafici di larghezza degli alberi delimitati, dai grafici del genere delimitati, ecc, ecc. Ecc. Esiste un buon sondaggio aggiornato su questo e sulle loro applicazioni?

11 reference-request graph-algorithms survey

4

Applicazioni di numeri

Esistono esempi concreti (o una ricca fonte di) esempi di applicazione dei numeri -adici nell'informatica?ppp

11 survey

Domande taggate «survey»