Informatica teorica complexity-classes

1

Seguendo il suggerimento di Josh Grochow, sto convertendo il mio commento da una domanda precedente a una nuova domanda. Quali prove abbiamo per ?U P ≠ N PUP≠NP\mathsf{UP} \neq \mathsf{NP} Qui è la classe di linguaggi riconoscibile dalle macchine di Turing non deterministiche a tempo polinomiale che hanno un percorso …

17 cc.complexity-theory complexity-classes conditional-results unique-solution

3

In quale classe sono gli algoritmi randomizzati che sbagliano con una probabilità del 25%?

Supponiamo che io consideri la seguente variante di BPP, che chiamiamo E (xact) BPP: una lingua è in EBPP se esiste un TG polinomiale randomizzato che accetta ogni parola della lingua con probabilità esattamente 3/4 e ogni parola non in la lingua con esattamente 1/4 di probabilità. Ovviamente EBPP è …

17 cc.complexity-theory complexity-classes randomized-algorithms

1

Qual è la complessità di questo problema di colorazione dei bordi?

Di recente ho riscontrato la seguente variante di colorazione dei bordi. Dato un grafico non orientato collegato, trova una colorazione dei bordi che utilizza il numero massimo di colori soddisfacendo al contempo il vincolo che, per ogni vertice , i bordi incidenti da v utilizzano al massimo due colori.vvvvvv La …

17 cc.complexity-theory np-hardness complexity-classes graph-colouring

2

È

Nell' "ultimo paragrafo" della "prima pagina" del seguente documento: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Se NP ha circuiti di dimensioni polinomiali, allora MA = AM," Teoretical Computer Science, 1995. Ho riscontrato un'affermazione piuttosto intuitiva: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 Penso che …

17 cc.complexity-theory complexity-classes

2

Classi di complessità potenzialmente uguali senza relativizzazioni contraddittorie note

Quali sono alcuni esempi di coppie di classi di complessità e tali cheUNUNABBB non sappiamo se eA = BUN=BA=B non conosciamo neppure relativizzazioni contraddittorie (cioè, non conosciamo oracoli e tali che e )?PPPQQQUNP= BPUNP=BPA^P = B^PUNQ≠ BQUNQ≠BQA^Q \ne B^Q Per esprimere la domanda in un altro modo, quali sono alcune …

16 cc.complexity-theory complexity-classes relativization

1

Classi di complessità per prove di conoscenza

Spinto da una domanda che Greg Kuperberg mi ha posto, mi chiedo se ci sono articoli che definiscono e studiano classi di complessità di lingue che ammettono vari tipi di prove della conoscenza . Classi come SZK e NISZK sono estremamente naturali dal punto di vista della complessità, anche se …

16 complexity-classes cr.crypto-security zero-knowledge

3

Esempi di

Ho bisogno di un elenco di lingue complete. Esistono due di questi problemi elencati nello zoo di complessità , vale a dire:Σp2Σ2p\Sigma_2^p DNF minimo equivalente. Data una formula DNF F e un intero k, esiste una formula DNF equivalente a F con k o meno ricorrenze di valori letterali? Più …

16 complexity-classes polynomial-hierarchy

1

La costante ambiguità può ridurre la complessità dello stato di una lingua normale?

Diciamo che NFA è costantemente ambiguo se esiste k ∈ N tale che qualsiasi parola w ∈ Σ ∗ è accettata da 0 o (esattamente) k percorsi.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Se l'automa è costantemente ambiguo per k = 1 , allora M è chiamato FA non ambiguo (UFA).MMMk=1k=1k=1MMM Sia un linguaggio …

16 complexity-classes fl.formal-languages automata-theory regular-language

2

È NP

È NP ?DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

16 cc.complexity-theory complexity-classes

2

Un buon riferimento per gli operatori di classe di complessità?

Sono interessato se esistono buoni articoli o sondaggi espositivi a cui posso fare riferimento quando scrivo sugli operatori delle classi di complessità : operatori che trasformano le classi di complessità facendo cose come l'aggiunta di quantificatori. Esempi di operatori Quanto segue può essere interpretato come un elenco minimo di operatori …

16 reference-request complexity-classes

3

Separazioni di classi di complessità senza teoremi di gerarchia

I teoremi di gerarchia sono strumenti fondamentali. Un buon numero di essi è stato raccolto in una domanda precedente (vedi Quali gerarchie e / o teoremi di gerarchia conosci? ). Alcune separazioni delle classi di complessità seguono direttamente dai teoremi della gerarchia. Esempi di separazioni così conosciute: L ≠ PSPA …

16 cc.complexity-theory complexity-classes hierarchy-theorems

2

Caratterizzazione di problemi per i quali esistono algoritmi di tempo sublineare

Mi chiedevo se i problemi per i quali esistono algoritmi di tempo sublineare (nella dimensione di input) possano essere caratterizzati da proprietà specifiche. Ciò include tempo sublineare (ad es. Test di proprietà, una nozione alternativa di approssimazione per problemi di decisione), spazio sublineare (ad es. Algoritmi di sketch / streaming …

16 cc.complexity-theory ds.algorithms complexity-classes approximation-algorithms

1

Problemi con LogDCFL-complete

LogCFL è l'insieme di tutte le lingue che sono spazi di log riducibili a un linguaggio privo di contesto. Allo stesso modo, LogDCFL è l'insieme di tutte le lingue che sono spazi di registro riducibili a un linguaggio senza contesto deterministico. Vedi questo articolo di Wikipedia per alcuni problemi naturali …

16 cc.complexity-theory complexity-classes

1

Quanto è potente l'esatta elaborazione "quantistica" se sospendi l'unità?

Breve domanda. Qual è la potenza computazionale dei circuiti "quantistici", se consentiamo porte non unitarie (ma ancora invertibili) e richiediamo che l'uscita fornisca la risposta corretta con certezza? Questa domanda è in un certo senso su cosa succede alla classe quando si consente ai circuiti di utilizzare più di semplici …

15 complexity-classes quantum-computing

1

Complessità regolare del permanente non negativo

Negli ultimi due decenni è stato svolto un lavoro fantastico sul permanente. Mi sono chiesto per un po 'la possibilità di un algoritmo Smooth P per le matrici permanenti non negative. Esiste ovviamente il famoso algoritmo JSV ma questo è un fpras. Pensando ad altri lavori all'interno della Smoothed Complexity, …

15 cc.complexity-theory complexity-classes

Domande taggate «complexity-classes»