Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
MIP con tester efficaci
È noto che l'insieme di lingue con sistemi di prova interattivi a due prover, in cui il verificatore funziona in tempo polinomiale (MIP), è NEXP. Ma ci sono limiti noti sul potere di tali prove interattive quando i dimostratori sono limitati al potere? Ad esempio, qual è la classe di …
2
Durezza della CLIQUE parametrizzata?
Lascia e considera il problema decisionale0 ≤ p ≤ 10≤p≤10\le p\le 1 CLIQUE Ingresso: intero , grafo con vertici e bordi Domanda: non contiene una cricca su almeno vertici?pp_p G t ⌈ p ( tSSssolsolGttt⌈ p ( t2) ⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil ssolsolGSSs Un'istanza di CLIQUE pp_p contiene una proporzione ppp …
3
Lettore, scrittore monadi
Sia un CCC . Let un bifunctor prodotto su . Dato che Cat è CCC, possiamo curry :CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B La categoria Functor ha la consueta struttura monoidale. C⇒CC⇒CC \Rightarrow C Un monoide in è una …
1
Esiste una relazione tra algebra / calcolo relazionale e teoria delle categorie?
Sono a conoscenza di almeno due diversi approcci teorici per la comprensione dei database relazionali: l'algebra / calcolo relazionale di Codd e la teoria delle categorie. C'è qualche relazione tra questi due approcci? Sono in qualche modo equivalenti? C'è qualche lavoro introduttivo che spiega come entrambi questi quadri spiegano i …
3
Modifica la distanza tra due partizioni
Ho due partizioni di [1…n][1…n][1 \ldots n] e sto cercando la distanza di modifica tra di loro. Con questo, voglio trovare il numero minimo di singole transizioni di un nodo in un gruppo diverso che sono necessarie per passare dalla partizione A alla partizione B. Ad esempio, la distanza da …
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 …
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.