Informatica teorica

2

Qual è il miglior algoritmo esatto per calcolare il nucleo di un grafico?

Un grafico H è un nucleo se qualsiasi omomorfismo da H a se stesso è una biiezione. Un sottografo H di G è un nucleo di G se H è un nucleo e c'è un omomorfismo da G a H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Dato un grafico G, qual è l'algoritmo esatto più …

24 ds.algorithms graph-theory graph-algorithms

1

Complessità spaziale dell'algoritmo Coppersmith – Winograd

L'algoritmo Coppersmith – Winograd è l'algoritmo asintoticamente più veloce noto per moltiplicare due matrici quadrate. Il tempo di esecuzione del loro algoritmo è che è il più noto finora. Qual è la complessità spaziale di questo algoritmo? È in ?n×nn×nn \times nO(n2.376)O(n2.376)O(n^{2.376})Θ(n2)Θ(n2)\Theta(n^2)

24 ds.algorithms matrices

8

Calcolo rapido della distanza Levenshtein

Dato un enorme database di parole consentite (in ordine alfabetico) e una parola, trova la parola dal database più vicina alla parola data in termini di distanza di Levenshtein. L'approccio ingenuo è, ovviamente, semplicemente calcolare la distanza di levenshtein tra la parola data e tutte le parole del dizionario (possiamo …

24 ds.algorithms reference-request string-matching string-search

3

Durezza di approssimazione - errore additivo

Esiste una ricca letteratura e almeno un ottimo libro che illustra la durezza nota dei risultati dell'approssimazione per problemi NP-difficili nel contesto dell'errore moltiplicativo (ad es. L'approssimazione 2 per la copertura dei vertici è ottimale assumendo UGC). Ciò include anche classi di complessità dell'approssimazione ben note come APX, PTAS e …

24 cc.complexity-theory complexity-classes np-hardness approximation-hardness

3

Magic: the Gathering Turing è completo?

Una domanda molto specifica, ne sono consapevole, e dubito che risponderà a chiunque non abbia già familiarità con le regole della Magia. Pubblicazione incrociata su Draw3Cards . Ecco le regole complete per il gioco Magic: the Gathering . Vedi questa domanda per un elenco di tutte le carte magiche. La …

24 turing-machines card-games recreational

2

Espansori sbilanciati "industriali" efficienti in termini di spazio

Sto cercando espansori sbilanciati che siano "buoni" ed "efficienti in termini di spazio". In particolare, un grafico bipartito di sinistra regolare , , , con grado sinistro è un espansore se per qualsiasi di dimensioni al massimo , il numero di vicini distinti di in è almeno. È noto che …

24 graph-theory derandomization expanders

3

Possiamo quantificare il "grado di quantumness" in un algoritmo quantistico?

L'entanglement è spesso considerato l'ingrediente chiave che rende gli algoritmi quantistici ben ... quantici, e questo può essere ricondotto agli stati di Bell che distruggono l'idea della fisica quantistica come modello probabilistico a stato nascosto. Nella teoria dell'informazione quantistica (dalla mia comprensione piuttosto debole), l'entanglement può anche essere usato come …

24 quantum-computing big-picture

4

Separare lo spazio dei registri dal tempo polinomiale

È chiaro che qualsiasi problema decidibile nello spazio logistico deterministico ( LLL ) viene eseguito al massimo nel tempo polinomiale ( ). C'è una ricchezza di classi di complessità tra e . Gli esempi includono , , , , , . E 'opinione diffusa che .L P N L L …

24 cc.complexity-theory lower-bounds space-bounded

3

Qual è la differenza tra un secondo attacco preimage e un attacco di collisione?

Wikipedia definisce un secondo attacco preimage come: dato un messaggio fisso m1, trova un messaggio diverso m2 tale che hash (m2) = hash (m1). Wikipedia definisce un attacco di collisione come: trova due diversi messaggi arbitrari m1 e m2 tale che hash (m1) = hash (m2). L'unica differenza che posso …

24 cr.crypto-security hash-function

2

Hamiltonicità dei grafici k-regolari

È noto che è NP completo per verificare se esiste un ciclo hamiltoniano in un grafico 3-regolare, anche se è planare (Garey, Johnson e Tarjan, SIAM J. Comput. 1976) o bipartito (Akiyama, Nishizeki, e Saito, J. Inform. Proc. 1980) o per verificare se esiste un ciclo hamiltoniano in un grafico …

24 graph-theory np-hardness hamiltonian-paths

2

Ricerca dinamica parallela

Esiste un analogo parallelo naturale agli alberi rosso-neri con proprietà simili o addirittura non terribilmente peggiori per gli aggiornamenti pur essendo ragionevolmente efficienti dal punto di vista del lavoro? Più in generale, qual è il meglio che possiamo fare per la ricerca parallela con gli aggiornamenti?

24 ds.algorithms ds.data-structures dc.parallel-comp concurrency dynamic-algorithms

1

Conseguenze di problemi completi per NP interseca coNP

Quali sono le conseguenze di avere problemi completi in ?NP∩coNPNP∩coNPNP\cap coNP

24 cc.complexity-theory conditional-results

5

Quali sono alcune opzioni di carriera per qualcuno con un master in informatica?

Oltre a diventare completamente accademico e ottenere un dottorato / post-dottorato, o andare per un lavoro più o meno "standard" nello sviluppo di software, quali sono alcune altre opzioni di carriera nel campo CS completo o semi-teorico?

24 soft-question advice-request career

6

Ci sono problemi NP-completi con soluzioni temporali attese polinomiali?

Ci sono problemi NP completi per i quali è noto un algoritmo che il tempo di esecuzione previsto è polinomiale (per una distribuzione ragionevole sulle istanze)? In caso contrario, ci sono problemi per i quali è stata stabilita l'esistenza di un tale algoritmo? O l'esistenza di un tale algoritmo implica …

24 cc.complexity-theory np-hardness

2

Se le tecniche di apprendimento automatico continuano a migliorare, qual è il ruolo degli algoritmi in futuro?

Diamo un'occhiata al futuro tra circa 30 anni. Siamo ottimisti e supponiamo che le aree relative all'apprendimento automatico continuino a svilupparsi rapidamente come quelle che abbiamo visto negli ultimi 10 anni. Sarebbe fantastico, ma quale sarebbe il ruolo degli algoritmi tradizionali in un futuro simile? Qui con "algoritmi tradizionali" mi …

23 ds.algorithms soft-question machine-learning