Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
È
Non sono stato in grado di trovare una dichiarazione relativa a e N P R P in letteratura; i puntatori sarebbero apprezzati.M AMA\mathsf{MA}N PR PNPRP\mathsf{NP}^\mathsf{RP} Credo che siano uguali: : lamacchina N P indovina la corda di Merlino e l'oracolo R P verifica la corda come Arthur.M A ⊆ N …
4
Risultati Oracle su P vs BPP
Sia qualsiasi problema EXP completo. Poi, .P A = N P AAAAPA=NPAPA=NPAP^A = NP^A Lasciate che sia un po 'di oracolo che tiene i conti le query che (una TM in P) farà, e siamo in grado di ottenere .M P B ≠ N P BBBBMMMPB≠NPBPB≠NPBP^B \neq NP^B Domanda: Abbiamo …
1
Algoritmi su grafici rappresentati usando BDD
Le rappresentazioni più semplici per i grafici utilizzano matrici / elenchi di adiacenza, il che significa che ogni nodo e bordo sono rappresentati esplicitamente. L'importanza delle rappresentazioni implicite per i grafici che mostrano forti regolarità è stata a lungo riconosciuta. Ad esempio, Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( …
1
Generazione di grafici della circonferenza tale che i cicli minimi formino una copertura a doppio bordo
Lascia che . Ho bisogno di generare semplici grafici della circonferenza tale che l'insieme di tutti i -cycles formi una copertura del doppio bordo di (cioè, ogni spigolo sia condiviso esattamente da due -cycles), e tale che l'intersezione di qualsiasi due -cycles è un vertice, un bordo o vuoto. I …
2
La relazione tra Babbage e von Neumann
È noto che la macchina analitica di Charles Babbage aveva un'architettura che ricorda fortemente l'architettura moderna di Von Neumann. Inoltre, è notevole che le tabelle per rappresentare un programma per la macchina analitica di Babbage ( http://www.fourmilab.ch/babbage/figures/menat3.png ) e il lavoro di von Neumann (come http://library.ias.edu /files/pdfs/ecp/planningcodingof0103inst.pdf ) sono abbastanza …
2
Decisione dell'omomorfismo grafico
L'omomorfismo del grafico decisivo è in generale NP-completo. Ci sono risultati che studiano questo problema quando i grafici sottostanti hanno una struttura algebrica (come decidere omomorfismi dai grafici coset di Cayley o Cayley ad altri grafici con una struttura definita pure)? Oltre ai risultati di complessità, sono anche interessato a …
1
Modo uniforme di quantificare la "ramificazione" nel calcolo non deterministico, probabilistico e quantistico?
Il calcolo di una macchina di Turing non deterministica (NTM) è ben noto per essere rappresentabile come un albero di configurazioni, radicato alla configurazione iniziale. Qualsiasi transizione nel programma è rappresentata da un collegamento padre-figlio in questo albero. Alberi simili possono anche essere costruiti per visualizzare i calcoli di macchine …
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.