Domande taggate «complexity-theory»

Domande relative alla complessità (computazionale) della risoluzione dei problemi

2
Prove interattive per coNP
Sto cercando di capire i sistemi di prova interattivi e ho provato il seguente problema come esercizio. Sappiamo che PH⊆ PSPA CEPH⊆PSPUNCEPH \subseteq PSPACE e ioP= PSPA CEioP=PSPUNCEIP=PSPACE , quindi escogiti sistemi di prova interattivi (di facile comprensione) per PHPHPH ? Un sistema di prova interattivo per è banale, ma …
2
Trova
Sia la lingua di tutte le formule 2 -CNF φ , in modo tale che almeno ( 1LϵLϵL_\epsilon222φφ\varphidelleclausolediφpossono essere soddisfatte.(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Devo dimostrare che esiste st L ϵ è N P -hard per qualsiasi ϵ &lt; ϵ ′ .ϵ′ϵ′\epsilon'LϵLϵL_\epsilonNPNP\mathsf{NP}ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon' Sappiamo che può essere approssimativo a 55Max2SatMax2Sat\text{Max}2\text{Sat} precent delle clausole da unariduzione …
3
Comprensione concreta della differenza tra definizioni di PP e BPP
Sono confuso su come sono definiti PP e BPP . Supponiamo χχ\chi è la funzione caratteristica di un linguaggio LL\mathcal{L} . M essere la probabilistica Turing Machine. Le seguenti definizioni sono corrette: BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ&gt;0}BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ&gt;0}BPP =\{\mathcal{L} :Pr[\chi(x) \ne M(x)] \geq \frac{1}{2} + \epsilon \quad \forall x \in \mathcal{L},\ \epsilon > …
1
Durezza e direzioni delle riduzioni
Diciamo che sappiamo che il problema A è difficile, quindi riduciamo A al problema sconosciuto B per dimostrare che anche B è difficile. Ad esempio: sappiamo che la colorazione 3 è difficile. Quindi riduciamo la colorazione da 3 a 4. Combinando uno dei colori nella 3 colorazione si ottiene una …
1
I circuiti Depth-2 con porte OR e MOD non sono universali?
È noto che ogni funzione booleana può essere realizzata utilizzando un circuito booleano di profondità 2 (sopra le variabili, la loro negazione e i loro valori costanti) contenente porte AND nel primo livello e una singola porta OR nel livello superiore; questa è semplicemente la rappresentazione DNF di .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff …
1
Limiti inferiori del calcolo di una funzione di un insieme
Avendo un set AAA di nnn elementi, diciamo che voglio calcolare una funzione f(A)f(A)f(A) che è sensibile a tutte le parti dell'input, cioè dipende dal membro stesso di AAA (cioè è possibile cambiare qualsiasi membro di AAA in qualcosa altrimenti per ottenere un nuovo input A′A′A' st il valore di …
2
Classe di complessità di Matrix Inversion
L'inversione di una matrice è nella classe di complessità ?PP\text{P} Dal runtime direi di sì ma la matrice invertita può contenere voci in cui la dimensione non è limitata polinomialmente dall'input?O (n3)O(n3)\mathcal{O}(n^3)
1
Espressività delle moderne espressioni regolari
Di recente ho discusso con un amico di un sito Web che proponeva sfide regex, principalmente abbinando un gruppo di parole a una proprietà speciale. Stava cercando una regex che corrispondesse a stringhe come ||||||||dove il numero di |è primo. Gli dissi immediatamente che non avrebbe mai funzionato perché se …
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.