Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Possiamo ordinare senza permutazioni?
È noto che l'ordinamento delle permutazioni per trasposizione è in PP\sf{P} , poiché il numero minimo di trasposizioni richieste per ordinare è esattamente . Questa nozione di "numero di inversione" ha anche applicazioni nella combinatoria algebrica, ad esempio consente di dotare di una struttura reticolare, chiamata permutoedro e basata sull'ordine …
12 sorting 
1
La durezza APX non implica alcun QPTAS?
Quindi, una rapida ricerca sul web mi ha portato a credere che "APXHardness implica che non esiste un QPTAS per un problema a meno che [qualche classe di complessità] sia inclusa in qualche [altra classe di complessità]" ed è anche noto! Sembra che tutti lo sappiano tranne me. Sfortunatamente, non …
1
come oracolo
Fa hold?NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} Chiaramente , ma mi sembra che N P ∩ c o N P sia "deterministico", il che mi fa credere che sia vero.NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP}NP∩coNPNP∩coNP\mathsf{NP\cap coNP} C'è una semplice prova (o forse solo per definizione)?
2
Il riferimento per le lingue Dyck essendo completo
Lingue Dyck è definito dalla seguente grammatica sull'insieme di simboli . Intuitivamente lingue Dyck sono le lingue di parentesi equilibrato di diverso tipo. Ad esempio, è in ma non lo è.Dyck(k)Dyck(k)\mathsf{Dyck}(k)S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 S )_1 \,|\, \ldots \,|\, (_k S )_k \,|\, \epsilon {(1,…,(k,)1,…,)k}{(1,…,(k,)1,…,)k}\{(_1,\ldots,(_k,)_1,\ldots,)_k\}kkk([])()([])()(\,[\,]\,)\,(\,)Dyck(2)Dyck(2)\mathsf{Dyck}(2)([)]([)](\,[\,)\,] Nel documento Algoritmi …
3
Quando utilizzare il lemma di Johnson-Lindenstrauss su SVD?
Il lemma di Johnson-Lindenstrauss consente di rappresentare punti in uno spazio ad alta dimensione in punti di dimensione inferiore. Quando si trovano spazi dimensionali inferiori della migliore misura, una tecnica standard consiste nel trovare la decomposizione del valore singolare e quindi prendere il sottospazio generato dai valori singolari più grandi. …
1
Categorie algebricamente compatte
Ho letto l'articolo di Alydbraically Complete Categories di Freyd nel famoso Como90 e ho due domande sulla nozione di compattezza algebrica che ha definito in quell'articolo. (Se non si ha familiarità con la definizione, eccola qui: una categoria è chiamata algebricamente compatta se ogni endofunctor ha un'algebra iniziale e una …
1
È una condizione equivalente per i poseti algebrici?
La definizione di "poset algebrico" in reticoli e domini continui , definizione I-4.2, afferma che, per tutti gli ,x ∈ Lx∈Lx \in L il set dovrebbe essere un set diretto eA ( x ) = ↓ x ∩ K( L )A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) x = ⨆ ( …
3
Selezionare in unione di matrici ordinate: già noto?
Sto cercando riferimenti bibliografici per il seguente algoritmo / problema: l'ho chiamato "BiSelect" o "t-ary Select" o "Select in Union of Sorted Arrays", ma immagino che sia stato introdotto prima con un altro nome? Problema Considera il seguente problema: Dato disgiunti ordinato array , di rispettive dimensioni , e un …
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.