Domande taggate «counting-complexity»

Quanto è difficile contare il numero di soluzioni?

1
Decomposizioni grafiche per combinare funzioni "locali" delle etichette dei vertici
Supponiamo di voler trovare o ∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Dove è preso max o somma su tutte le etichettature di VVV , prodotto è preso in tutti i bordi EEE per un grafo G={V,E}G={V,E}G=\{V,E\} e fff è una funzione arbitraria. Questa quantità è facile da …
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 …
4
L'equivalenza eta per le funzioni è compatibile con l'operazione seq di Haskell?
Lemma: Supponendo che eta-equivalenza lo abbiamo (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)per eta-equivalenza e (\x -> ⊥ x) = (\x -> ⊥)per riduzione sotto la lambda. Il rapporto Haskell 2010, sezione 6.2 specifica la seqfunzione con due equazioni: seq :: …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.