Informatica teorica

9

Algoritmi potenti troppo complessi da implementare

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 …

67 ds.algorithms ds.data-structures big-list implementation

13

Usi delle strutture algebriche nell'informatica teorica

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 …

67 reference-request big-list big-picture algebra

7

Quali teoremi interessanti in TCS si basano sull'assioma della scelta? (O in alternativa, l'assioma della determinazione?)

I matematici a volte si preoccupano dell'Assioma della Scelta (CA) e dell'Assioma della Determinazione (AD). Assioma della scelta : Dato un insieme di insiemi non vuoti, c'è una funzione che, dato un insieme in , restituisce un membro di . f S C SCC{\cal C}fffSSSCC{\cal C}SSS Assioma della determinazione : …

67 cc.complexity-theory lo.logic pl.programming-languages big-picture set-theory

12

Quanto è importante sapere come programmare per TCS?

Venendo da un background più matematico, non ho mai davvero imparato a programmare. Sto iniziando un dottorato di ricerca in TCS e molte persone sono state sorprese da quanto poco sapevo sulla programmazione (e sul computer in generale). Riesco a scrivere algoritmi in pseudo-codice, ma non conosco davvero alcun linguaggio …

66 soft-question big-list advice-request career

7

I problemi completi di sono intrinsecamente meno trattabili di completi di ?

Attualmente, risolvere un completo o un problema completo è impossibile nel caso generale di input di grandi dimensioni. Tuttavia, entrambi sono risolvibili nel tempo esponenziale e nello spazio polinomiale.P S P A C ENPNPNPPSPACEPSPACEPSPACE Dato che non siamo in grado di costruire computer non deterministici o "fortunati", fa differenza per …

66 cc.complexity-theory np-hardness big-picture

11

Quali sono buoni riferimenti alla comprensione della dimostrazione del teorema del PCP?

Conosco molti risultati che usano il teorema di PCP (principalmente negli algoritmi approssimativi), ma non ho mai trovato una chiara spiegazione del teorema di PCP (cioè che ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Quali sono buoni documenti / libri da leggere per questo?

64 cc.complexity-theory reference-request pcp

7

I limiti di runtime in P sono decidibili? (risposta: no)

La domanda è se la seguente domanda è decidibile: Problema Dato un intero e la macchina di Turing promessa di essere in P, il tempo di esecuzione di rispetto alla lunghezza di input ?M M O ( n k ) nkkkMMMMMM O(nk)O(nk){O}(n^k)nnn È accettabile una risposta ristretta di "sì", "no" …

64 cc.complexity-theory approximation-hardness

1

Maggiori informazioni su PH in PP?

Una recente domanda di Huck Bennett che chiedeva se la classe PH fosse contenuta nella classe PP, ha ricevuto risposte alquanto contraddittorie (tutto vero, a quanto pare). Da un lato, diversi risultati dell'oracolo sono stati dati al contrario, e dall'altro Scott ha suggerito che la risposta è probabilmente positiva poiché …

63 cc.complexity-theory counting-complexity derandomization relativization

11

False credenze comuni in informatica teorica

MODIFICA AL 10/12/08: Proverò a modificare la domanda in modo che possa interessare più persone a condividere le loro opinioni. ABBIAMO BISOGNO dei tuoi contributi! Questo post è ispirato a quello di MO: esempi di false credenze comuni in matematica . Le grandi liste a volte generano un numero enorme …

62 big-list examples

3

Come posso arbitrare un foglio?

Aggiornato di seguito Conosciamo tutti l'importanza critica della peer-review. È la principale forma di controllo di qualità e feedback sulla ricerca. Tuttavia, per un ricercatore in fase iniziale (come me), a volte può essere un sistema / processo confuso. Di conseguenza, ci sono diversi trattati sul processo di arbitrato scientifico …

62 soft-question big-list paper-review

5

L'origine del concetto di larghezza degli alberi

La mia domanda oggi è (come al solito) un po 'sciocca; ma ti chiedo gentilmente di prenderlo in considerazione. Volevo conoscere la genesi e / o la motivazione alla base del concetto di larghezza degli alberi. Capisco sicuramente che viene utilizzato negli algoritmi FPT, ma non credo che questo sia …

61 graph-theory co.combinatorics big-picture ho.history-overview treewidth

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

30

Piccoli passi per conferenze TCS migliori?

Spesso, quando prendiamo parte alle conferenze TCS, notiamo alcuni piccoli dettagli che vorremmo che gli organizzatori della conferenza avrebbero curato. E quando stiamo organizzando conferenze, l'abbiamo già dimenticato. Da qui la domanda: quali piccoli passi potremmo facilmente intraprendere per migliorare le conferenze TCS ? Speriamo che questa domanda possa diventare …

61 soft-question big-list research-practice conferences

12

Complessità parametrizzata da P a NP-hard e viceversa

Sto cercando esempi di problemi parametrizzati da un numero , in cui la durezza del problema non è monotona in . La maggior parte dei problemi (nella mia esperienza) ha una transizione a fase singola, ad esempio -SAT ha una transizione a fase singola da (dove il problema è in …

60 cc.complexity-theory np-hardness big-list phase-transition

17

Applicazioni del TCS alla matematica classica?

In TCS spesso utilizziamo risultati e idee potenti della matematica classica (algebra, topologia, analisi, geometria, ecc.). Quali sono alcuni esempi di quando è successo il contrario? Eccone alcuni che conosco (e anche per dare un'idea del tipo di risultati che sto chiedendo): Schiume cubiche (Guy Kindler, Ryan O'Donnell, Anup Rao …

60 reference-request big-list