Informatica teorica big-list

1

Limiti inferiori del compromesso spazio-temporale

Dopo la discussione sui limiti inferiori per 3SAT [ 1 ], mi chiedo quali sono i principali risultati del limite inferiore formulati come compromessi spazio-temporali. Escludo risultati come, per esempio, il teorema di Savitch; una buona voce si focalizzerebbe su un singolo problema e sui suoi limiti. Un esempio potrebbe …

13 cc.complexity-theory ds.algorithms big-list space-time-tradeoff

2

Elenco di problemi teorici o algebrici numerici in varie classi di complessità

Sto cercando un elenco sulla complessità nota o sconosciuta di vari problemi teorici / algebrici numerici. Per esempio, GCD in è aperto,NC1NC1NC^1 il factoring in è aperto,PPP la coomologia del covone di calcolo è -hard#P#P\#P , Arora e Barak affermano che una variante del factoring è (anche se questo non …

12 cc.complexity-theory big-list algebra open-problem

4

Problemi non noti per essere completi in PSPACE

Quali sono i problemi con le seguenti proprietà: 1) sono una limitazione di problemi (possibilmente ben noti) che sono completi di PSPACE; 2) le versioni con restrizioni sono in PSPACE, ma è un problema aperto se sono complete di PSPACE (o anche se sono NP-hard). Quattro esempi da "puzzle & …

12 big-list open-problem

6

Algoritmi del flusso di dati "Dividi e conquista"

Quali algoritmi utili esistono che funzionano su enormi flussi di dati e anche i loro risultati sono abbastanza piccoli e si può calcolare il risultato per una miscela di due flussi unendo in qualche modo i loro risultati? Posso citarne alcuni: Le cose ovvie come sum, min, max, count, top-K …

12 ds.algorithms big-list data-streams

7

Condizioni sufficienti per il crollo della Gerarchia polinomiale (PH)

Quali sono alcune affermazioni (non ben note) secondo cui, se vero, il PH deve collassare? Sono apprezzate le risposte contenenti una breve asserzione di alto livello con riferimento (i). Ho provato a cercare indietro senza molta fortuna.

12 cc.complexity-theory complexity-classes big-list

4

Elenco di problemi fortemente NP-difficili con dati numerici

Sto cercando problemi fortemente NP-difficili per una riduzione. Finora ho riscontrato i seguenti problemi: Problema a 3 partizioni problema di imballaggio del contenitore Abbinamento tridimensionale numerico TSP Qualsiasi problema NP completo senza dati numerici, ad esempio SODDISFABILITÀ, CICLO HAMILTONIANO, 3-COLOURABILITÀ. Qualcuno conosce un elenco di problemi fortemente NP-difficili? In caso …

11 np-hardness big-list hamiltonian-paths

3

Prove trovate dal computer

Nel 1996, un problema aperto di vecchia data è stato risolto da un computer; vale a dire che l' algebra di Robbins e l'algebra booleana sono uguali. La dimostrazione è stata trovata da un teorema automatizzato. Inoltre, la dimostrazione nota del teorema dei quattro colori contiene componenti generati dal computer. …

11 soft-question big-list proofs automated-theorem-proving

2

Mostre per un museo di informatica

Tutti i musei e le mostre informatiche di cui sono a conoscenza sembrano coprire solo la storia dei macchinari informatici, ma nulla su argomenti di informatica. Sei coinvolto nella creazione di un nuovo museo dell'informatica, noleggiato per educare, intrattenere e ispirare il pubblico in una vasta gamma di argomenti di …

11 soft-question big-list ho.history-overview

6

Applicazione della teoria dei grafi in informatica

Sono uno studente CS. Abbiamo fatto la teoria dei grafi in un corso. L'ho trovato interessante. Quali sono le vere applicazioni della teoria dei grafi nel campo dell'informatica? Ad esempio, ho scoperto che alcuni concetti della teoria dei grafi possono essere utilizzati per progettare reti. Quali sono altre applicazioni simili?

11 graph-theory co.combinatorics big-list application-of-theory

2

Problemi senza alcun vantaggio quantistico noto

Mi chiedevo quale fosse l'elenco degli attuali problemi computazionali naturali per i quali non esiste alcun vantaggio di complessità noto nell'uso di un computer quantistico. Per iniziare, penso che il calcolo della distanza di modifica sia uno per il quale l'algoritmo quantistico più veloce conosciuto sembra essere il classico più …

11 ds.algorithms quantum-computing big-list

4

Algoritmi di approssimazione utilizzati in algoritmi esatti

Gli algoritmi di approssimazione potrebbero fornire output fino a un fattore costante. Questo è un po 'meno soddisfacente degli algoritmi esatti. Tuttavia, i fattori costanti vengono ignorati nella complessità temporale. Quindi mi chiedo se il seguente trucco è possibile o è stato usato, per risolvere qualche problema :B ∘ AB∘AB …

11 ds.algorithms big-list approximation-algorithms

1

Quali sono i principali problemi di ricerca nelle transazioni distribuite?

Contesto: l' elaborazione delle transazioni è stata un argomento di ricerca tradizionale nella teoria dei database. Al giorno d'oggi le transazioni distribuite sono rese popolari dai sistemi di archiviazione distribuita su larga scala che in genere coinvolgono la partizione dei dati (chiamata anche sharding) e la replica dei dati . …

10 reference-request big-list dc.distributed-comp db.databases

4

Costruzioni migliori di una casuale.

Sono interessato ad esempi di costruzioni nella teoria della complessità che sono migliori di una costruzione casuale. L'unico esempio di tale costruzione che conosco è nel campo dei codici di correzione degli errori. I codici di geometria algebrica sono migliori in alcuni intervalli di parametri rispetto ai codici casuali. Si …

10 reference-request big-list derandomization pr.probability

2

Quali sono alcune applicazioni interessanti dell'algebra omotopica nell'informatica teorica?

Sono un teorico dell'omotopia, interessato all'informatica. Vorrei chiedere quali sono alcune applicazioni interessanti dell'algebra omotopica (categorie di modelli, categorie di infinito, categorie simpliciali, ecc.) Nell'informatica teorica?

9 big-list algebraic-topology

5

Esempi in cui sono importanti le dimensioni dell'alfabeto (

Sia un alfabeto, cioè un insieme finito non vuoto. Una stringa è una sequenza finita di elementi (caratteri) da Σ . Ad esempio, { 0 , 1 } è l'alfabeto binario e 0110 è una stringa per questo alfabeto.ΣΣ\SigmaΣΣ\Sigma{ 0 , 1 }{0,1} \{0, 1\}011001100110 Di solito, fintanto che contiene …

9 big-list encoding examples

Domande taggate «big-list»