Informatica teorica reference-request

1

Esistono ormai algoritmi / prove più semplici per triangolare un poligono planare in tempo lineare? Qual è una buona risorsa sullo stato dell'arte di questo famoso problema?

15 reference-request cg.comp-geom

3

Sottoscrivi l'isomorfismo con un albero

Se abbiamo un grande grafico (diretto) e un albero con radice più piccolo H , qual è la complessità più nota per trovare sottografi di G isomorfo su H ? Sono a conoscenza dei risultati per l'isomorfismo di sottostruttura in cui sia G che H sono alberi e anche dove …

15 ds.algorithms reference-request graph-theory

2

Qual è l'algoritmo più veloce per calcolare il rango di una matrice rettangolare?

Data una matrice (supponendo ), qual è l'algoritmo più veloce per calcolare il suo rango e la base delle colonne?m × nm×nm \times nm ≥ nm≥nm \ge n Sono consapevole che può essere risolto attraverso l'intersezione matroid lineare, che implica un algoritmo deterministico di tempo e un algoritmo randomizzato di …

15 ds.algorithms reference-request time-complexity linear-algebra matrices

1

È possibile campionare in modo efficiente un vicino di un vertice nel grafico di un politopo?

Ho un polytope definito da .PPP{x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} Domanda: Dato un vertice di , esiste un algoritmo temporale polinomiale per campionare uniformemente dai vicini di nel grafico di ? (Polinomio nella dimensione, numero di equazioni e rappresentazione di . Posso presumere che il numero …

15 reference-request np-hardness counting-complexity linear-programming polytope

1

Nuova prova del pompaggio del lemma per le lingue normali

Sia la famiglia di tutte le lingue oltre Σ soddisfacendo la proprietà di pompaggio delle lingue normali. Vale a dire: per ogni L ∈ L , c'è una N ∈ N st ogni parola w ∈ L , | w | > N può essere scritto nel formato w = …

14 reference-request fl.formal-languages automata-theory

1

Un corso per l'apprendimento della complessità algebrica

Voglio imparare sugli algoritmi algebrici e sulla complessità della teoria. In particolare, sono interessato a PIT. C'è una serie di appunti, libri, documenti e sondaggi per gli studenti che hanno letto un libro di testo standard sulla teoria come il libro di Sipser o il libro di testo sulla complessità …

14 cc.complexity-theory reference-request algebraic-complexity arithmetic-circuits

2

Garanzie teoriche per i tempi di esecuzione dei metodi di propagazione delle credenze?

La propagazione delle credenze ha dimostrato di essere un metodo molto potente attraverso la ricerca di modelli grafici probabilistici. Tuttavia, non so nulla di BP paragonabile ai metodi MCMC in cui possiamo avere schemi di approssimazione randomizzati completamente polinomiali (FPRAS) per problemi di # P-completi. Qualcuno potrebbe indicarmi alcuni riferimenti?

14 cc.complexity-theory reference-request graph-algorithms machine-learning st.statistics

1

Qual è la profondità minima richiesta di riduzioni per la durezza NP di SAT?

Come tutti sanno, SAT è completo per le riduzioni di molti tempi di wrt polinomiale. È ancora completo riduzioni .NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} La mia domanda è: qual è la profondità minima richiesta per le riduzioni? Più formalmente, Qual è il minimo tale che SAT è -hard riduzioni ?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Mi sembra che dovrebbe …

14 cc.complexity-theory reference-request np-hardness circuit-complexity reductions

2

Risorse per i matematici che sperano di apprendere più informatica

Contesto : Sto arrivando alla fine del mio master in matematica e inizierò un dottorato in Logica ad agosto. Più logica studio, più informatica teorica mi espone, ad esempio teoria della ricorsione, calcolo lambda, ma il CS sottostante viene spazzolato sotto il tappeto. Le mie principali aree di interesse - …

14 reference-request soft-question

6

Interpretazione geometrica del calcolo

Essendo della fisica, sono stato addestrato a esaminare molti problemi da un punto di vista geometrico. Ad esempio la geometria differenziale delle varietà nei sistemi dinamici, ecc. Quando leggo le basi dell'informatica, cerco sempre di trovare interpretazioni geometriche. Come una plausibile interpretazione geometrica di insiemi ricorsivamente enumerabili (ho lavorato su …

14 reference-request computability big-picture

1

Classe di complessità associata a una ricerca esaustiva

Qual è la classe di complessità associata agli algoritmi di ricerca esaustiva? (se ce n'è uno) NP o PSPACE? Esistono modelli ristretti di calcolo che catturano la classe di algoritmi di ricerca esaustivi simili ai modelli per la programmazione avida e dinamica?

14 cc.complexity-theory ds.algorithms reference-request big-picture machine-models

2

Approcci all'IG ispirati al problema del nodo

Problema GI e Knot entrambi sono problemi nel decidere l'equivalenza strutturale degli oggetti matematici. Ci sono risultati che stabiliscono connessioni tra di loro? Sono state esplorate belle connessioni del problema del nodo alla fisica statistica tramite i polinomi del nodo , ci sono risultati simili per ?G IsolioGI Sarebbe particolarmente …

14 cc.complexity-theory reference-request graph-theory graph-isomorphism algebraic-topology

2

0-1 Programmazione lineare: calcolo della formulazione ottimale

Considera lo spazio dimensionale { 0 , 1 } n e lascia che c sia un vincolo lineare della forma a 1 x 1 + a 2 x 2 + a 3 x 3 + . . . + a n - 1 x n - 1 + a n …

14 reference-request co.combinatorics optimization linear-programming convex-optimization

1

Accelerazione dai progressi algoritmici rispetto all'hardware

Ricordo di aver visto uno studio o un articolo qualche tempo fa sostenendo che la maggior parte della velocità vista nei programmi per computer negli ultimi decenni è dovuta a algoritmi migliori piuttosto che a hardware più veloce. Qualcuno conosce lo studio o l'articolo?

14 ds.algorithms reference-request big-picture ar.hardware-architecture

5

Articoli che ogni teorico della complessità dovrebbe leggere

Sto iniziando il mio dottorato di ricerca in autunno e sto programmando di lavorare sulla teoria della complessità per la mia tesi. Sto compilando un elenco di documenti importanti che ogni teorico della complessità dovrebbe conoscere. Quali documenti consiglieresti a una persona come me? E per favore spiega brevemente perché …

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

Domande taggate «reference-request»