Informatica teorica

3

Sottografo contenente tutti i nodi e gli spigoli che fanno parte di percorsi st semplici limitati in lunghezza in un grafico non orientato

Abbastanza simile alla mia domanda precedentemente pubblicata . Questa volta, tuttavia, il grafico non viene indirizzato. Dato Un grafico non orientato senza bordi multipli o anelli,GGG Un vertice sorgente ,sss Un vertice bersaglio ,ttt Lunghezza massima del percorso ,lll Sto cercando - Un sottografo di G che contiene qualsiasi vertice …

12 ds.algorithms graph-algorithms shortest-path

1

È il crollo

Tra ogni livello della gerarchia polinomiale sono racchiuse varie classi di complessità, tra cui ΔPiΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k e ΣPi∩ΠPiΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P} . Per mancanza di una migliore terminologia, mi riferirò a queste e ad altre come classi intermedie tra livelli iiii e i+1i+1i+1 nella gerarchia polinomiale. Ai fini …

12 cc.complexity-theory polynomial-hierarchy

1

Coda di priorità integer con deleteMin sensibile alla distribuzione

Esiste una coda con priorità intera che utilizza parole di spazio con le seguenti operazioni, tutte nel peggiore dei casi e senza accesso alla casualità:O ( n )O(n)O(n) createEmptyQueuein per una costante c .O ( l gcU)O(lgcU)O(lg^c U)ccc insertin .O(1)O(1)O(1) deleteMinin , dove δ min è la differenza tra la …

12 ds.data-structures

1

Riduzione al minimo degli automi a stati finiti residui

Gli automi a stati finiti residui (RFSA, definiti in [DLT02]) sono NFA che hanno alcune belle caratteristiche in comune con i DFA. In particolare, esiste sempre una RFSA canonica di dimensioni minime per ogni lingua regolare e la lingua riconosciuta da ogni stato nella RFSA è un residuo, proprio come …

12 cc.complexity-theory ds.algorithms automata-theory lg.learning minimization

5

Motivazione per la stima del volume

Quali sono alcune applicazioni concrete e convincenti per stimare il volume di poliedri convessi del tipo considerato negli articoli più recenti sui metodi di camminata casuale? Questi articoli sulla stima del volume menzionano l'integrazione numerica come una motivazione. Quali sono esempi di integrali che le persone vogliono calcolare in pratica …

12 cg.comp-geom na.numerical-analysis markov-chains

3

C'è una riduzione dei giochi "porta e spingidisco" che non esplode la lunghezza della soluzione?

Questo documento dimostra che in un gioco con porte e piastre a pressione, è difficile per PSPACE determinare se l'avatar (del giocatore) può o meno raggiungere una determinata posizione. Ciò è dimostrato da una riduzione da TQBF e la lunghezza delle soluzioni risultanti dipende in modo esponenziale dal numero di …

12 reductions nondeterminism pspace

2

Algoritmo per la conversione di NFA di grandi dimensioni in DFA

Ho un automa finito non deterministico veramente grande e devo convertirlo in DFA. In generale intendo oltre 40.000 stati. Finora ho fatto alcuni esperimenti e programmato l'algoritmo predefinito che cerca nella tabella (come descritto qui ), ma anche dopo l'ottimizzazione è piuttosto lenta e richiede molta memoria. Sono consapevole del …

12 dfa

1

Algoritmo efficiente per l'esistenza di permutazione con sequenza di differenze?

Questa domanda è motivata da questo post, riesci a identificare la somma di due permutazioni nel tempo polinomiale? e il mio interesse per le proprietà computazionali delle permutazioni. Una sequenza di differenze di una permutazione π di numeri 1 , 2 , ... n + 1 si forma trovando la …

12 cc.complexity-theory co.combinatorics np-hardness permutations

2

La gerarchia di

TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd La voce Zoo per TC0TC0\mathsf{TC^0} menziona solo la separazione tra profondità 2 e 3. C'è anche un riferimento standard per il fatto che la AC0dACd0\mathsf{AC^0_d} non collassa?

12 cc.complexity-theory reference-request complexity-classes circuit-complexity bounded-depth

1

Esiste un libro / documento di indagine che delinea gerarchie di classi linguistiche, proprietà di chiusura, ecc

Attualmente sto facendo alcune ricerche linguistiche formali che coinvolgono classi di lingue sopra il normale ma sotto il contesto gratuito. Sto guardando cose come macchine multicounter a inversione inversa, macchine contatore a pila singola, CFL deterministici, ecc. Mi chiedo se qualcuno sappia di un buon libro o di un documento …

12 reference-request co.combinatorics fl.formal-languages automata-theory research-practice

4

trovare gli elementi k più piccoli nell'array in O (k)

Questa è una domanda interessante che ho trovato sul web. Dato un array contenente n numeri (senza informazioni su di essi), dovremmo preelaborare l'array in tempo lineare in modo da poter restituire i k elementi più piccoli nel tempo O (k), quando ci viene dato un numero 1 <= k …

12 sorting

2

Complessità dei giochi di informazione parziale allo stato finito

Dato un gioco deterministico a somma zero a informazione parziale con solo finitamente molti stati, i cui possibili risultati sono [perdi, pareggia, vinci] con valori [-1,0, + 1] rispettivamente, qual è la complessità dell'approssimazione del valore di tale un gioco additivo all'interno di ?ϵϵ\epsilon In particolare, non riesco a trovare …

12 cc.complexity-theory gt.game-theory

1

Qual è la relazione tra

Qual è la relazione tra PLSPLS\mathsf{PLS} e APXAPX\mathsf{APX} ? In altre parole, i problemi che ammettono una ricerca locale di tempo polinomiale sono approssimabili? Problemi di ottimizzazione approssimativi implicano un algoritmo di ricerca locale in generale?

12 cc.complexity-theory approximation-algorithms

1

Analisi uniforme degli algoritmi di approssimazione

NP≠ZPPNP≠ZPP\mathsf{NP}\ne \mathsf{ZPP}NPNP\mathsf{NP} È stato svolto un lavoro sull'analisi semplificata per i rapporti dell'algoritmo di approssimazione. C'è Rao Raghavendra, Probabilistic and Smoothed Analysis of Approximation Algorithms , 2008, che tenta di fornire un miglioramento dell'approssimazione legata all'algoritmo Christofides con un'analisi uniforme. Tuttavia, non viene fornito alcun rapporto di approssimazione esplicito. C'è …

12 cc.complexity-theory approximation-algorithms approximation-hardness smoothed-analysis

2

Piccolo grafico con spazio tra il numero cromatico e il numero cromatico vettoriale?

Sto cercando un piccolo grafico GGG cui numero cromatico vettoriale è più piccolo del numero cromatico, χv(G)<χ(G)χv(G)<χ(G)\chi_v(G)<\chi(G) . ( GGG ha vettoriale numero cromatico qqq se c'è un'assegnazione x:V→Rdx:V→Rdx\colon V \rightarrow \mathbf R^d , dove intuitivamente i vettori associati vertici vicino sono distanti Il requisito è. ⟨x(v),x(w)⟩≤−1/(q−1)⟨x(v),x(w)⟩≤−1/(q−1)\langle x(v), x(w)\rangle \leq …

12 ds.algorithms graph-theory co.combinatorics graph-algorithms graph-colouring