Informatica teorica big-list

5

Attualmente sto cercando di trovare problemi completi di EXPSPACE (principalmente per trovare l'ispirazione per una riduzione), e sono sorpreso dal piccolo numero di risultati che arrivano. Finora li ho trovati e ho difficoltà a espandere l'elenco: universalità (o altre proprietà) delle espressioni regolari con esponenziazione. problemi relativi ai sistemi di …

23 cc.complexity-theory reference-request big-list

4

Principali problemi irrisolti nei sistemi distribuiti?

Ispirati da questa domanda , quali sono i principali problemi e le soluzioni esistenti che richiedono miglioramenti nel dominio dei sistemi distribuiti (teorici). Qualcosa come i protocolli di appartenenza, la coerenza dei dati?

23 big-list dc.distributed-comp

1

Principali errori nei documenti FOCS / STOC accettati [chiuso]

Allo stato attuale, questa domanda non è adatta al nostro formato di domande e risposte. Ci aspettiamo che le risposte siano supportate da fatti, riferimenti o competenze, ma questa domanda probabilmente solleciterà dibattiti, argomenti, sondaggi o discussioni estese. Se ritieni che questa domanda possa essere migliorata e possibilmente riaperta, visita …

23 soft-question big-list paper-review

8

grafici dai problemi della vita reale

Dove posso trovare grafici pertinenti ai problemi della vita reale? Due repository che conosco sono: Collezione Sparse Matrix dell'Università della Florida Bodlaender's TreewidthLib

23 graph-theory big-list co.combinatorics data-sets

9

Riduzioni dal libro.

Questo è sulla falsariga di " Algorithms from the Book ". Anche se le riduzioni sono anche algoritmi, ho pensato che si potesse pensare a una riduzione della risposta alla domanda sugli algoritmi del libro. Da qui una query separata! Sono benvenute riduzioni di ogni tipo. Inizierò con la riduzione …

22 ds.algorithms np-hardness big-list reductions

2

Lingue che non possiamo (dis) dimostrare di essere senza contesto

Sto cercando linguaggi che "probabilmente non sono senza contesto" ma non siamo in grado di (dis) dimostrarlo usando tecniche standard conosciute. Esiste un recente sondaggio sull'argomento o una sezione problematica aperta di una recente conferenza? Probabilmente non ci sono molte lingue che non sono note per essere CF, quindi se …

21 reference-request big-list context-free

7

Rapporto aureo o Pi nel tempo di esecuzione

Esistono molti punti in cui vengono visualizzati i numeri e . Sono curioso di conoscere gli algoritmi il cui tempo di esecuzione contiene il rapporto aureo o nell'esponente.( 1 + √ππ\piπ( 1 + 5-√) / 2(1+5)/2(1+\sqrt5)/2ππ\pi

21 reference-request big-list

3

Problemi NP completi con riduzioni randomizzate o P / poli.

In questa domanda , sembra che abbiamo identificato un problema naturale che è NP-completo con riduzioni randomizzate, ma probabilmente non con riduzioni deterministiche (sebbene ciò dipenda da quali ipotesi non dimostrate siano vere nella teoria dei numeri). Ci sono altri problemi simili conosciuti? Ci sono problemi naturali che sono NP-completi …

20 cc.complexity-theory np-hardness big-list randomness reductions

6

Strumenti di visualizzazione dell'analisi della rete / rete sociale?

Stavo usando Jung ( http://jung.sourceforge.net/ ) per visualizzare il ranking della pagina e l'ho trovato un po 'lento e difficile ridimensionarlo oltre 100 nodi. Mi chiedevo quali altri strumenti le persone usano per l'analisi e la visualizzazione della rete / social network.

20 graph-theory big-list cg.comp-geom software graph-drawing

22

Quali algoritmi vengono utilizzati più spesso in pratica?

Bloccato . Questa domanda e le sue risposte sono bloccate perché la domanda è fuori tema ma ha un significato storico. Al momento non accetta nuove risposte o interazioni. Quali algoritmi vengono utilizzati più spesso? Si prega di scrivere un singolo algoritmo per risposta, provare a mantenere la risposta breve …

19 ds.algorithms big-list

2

Le congetture di vecchia data in seguito hanno banalmente dimostrato un'implicazione

Mi piacerebbe sapere se ci sono state congetture che sono state a lungo non dimostrate nel TCS, che sono state successivamente dimostrate da un'implicazione da un altro teorema, che potrebbe essere stato più facile da dimostrare.

18 reference-request soft-question big-list

11

Ci sono problemi il cui algoritmo più noto ha tempo di esecuzione

Non ho mai visto un algoritmo con un registro nel denominatore prima e mi chiedo se ci sono algoritmi effettivamente utili con questo modulo? Comprendo molte cose che potrebbero causare la moltiplicazione di un fattore di registro in fase di esecuzione, ad esempio ordinamento o algoritmi basati su albero, ma …

18 ds.algorithms big-list time-complexity

4

Elenco di teoremi che afferma che P non è uguale a NP se e solo se

Penso che sarebbe una buona idea fare un elenco di teoremi affermando che P non è uguale a NP se e solo se tale e tale uscita, una classe di complessità è contenuta in un'altra classe di complessità e così via e così via.

18 cc.complexity-theory big-list p-vs-np

7

Università per il calcolo / informazione quantistica?

Quali università hanno un forte curriculum di calcolo quantistico e offrono qualche tipo di informatica quantistica / corsi di informazione / ricerca? L'obiettivo qui è quello di raccogliere un elenco utile per qualcuno che considera uno studio di specializzazione in questi campi, non discutere quale sia il "migliore". Per rendere …

18 soft-question quantum-computing big-list quantum-information

1

Elenco di problemi di complessità (irrisolti) derivanti da PL

Quali sono alcuni dei principali problemi di complessità computazionale aperti che sorgono dai linguaggi di programmazione, in particolare l'analisi dei programmi e la compilazione? Sto cercando problemi sulla falsariga di "la complessità temporale dell'inferenza di tipo Hindley-Milner" o "la complessità temporale di 0CFA" (sebbene entrambi siano problemi risolti).

17 cc.complexity-theory pl.programming-languages big-list open-problem

Domande taggate «big-list»