Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
Stabilità numerica del metodo Simplex
L'algoritmo simplex viene spesso trattato all'interno dell'aritmetica reale o nel mondo discreto con calcoli esatti. Tuttavia, sembra essere implementato più spesso con l'aritmetica in virgola mobile. Ciò porta alla domanda se l'algoritmo simplex debba essere considerato un algoritmo numerico, in particolare in che modo gli errori di arrotondamento influenzano il …
1
Teorema di Schaefer e CSP di larghezza illimitata
Il teorema di dicotomia di Schaefer mostra che ogni problema CSP su è o risolvibile in tempo polinomiale o è NP-completo. Questo vale solo per problemi CSP di larghezza limitata, esclusi SAT e Horn-SAT, per esempio. I problemi generali CSP di larghezza illimitata possono essere molto difficili (anche non calcolabili), …
1
Solutori NP ottimali
Risolvi un problema di ricerca NP completo, ad es. Il modulo di ricerca di SAT. La ricerca di Levin fornisce un algoritmo per risolvere che è ottimale in un certo senso. In particolare, l'algoritmo è "Esegui tutti i possibili programmi in coda di rondine sull'input , una volta che alcuni …
1
automorfismo nei gadget di Cai-Furer-Immerman
Nel famoso contro esempio di isomorfismo grafico tramite il metodo Weisfeiler-Lehman (WL) il seguente gadget è stato costruito in questo documento da Cai, Furer e Immerman. Costruiscono un grafico dato daXk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}V_k = …
1
Questa classe di grafici ha un nome?
È formulato estendendo i grafici delle soglie . Dato un grafico di soglia cui C è la cricca e I è l'insieme indipendente, la mia estensione è la seguente: Ogni vertice v ∈ I può essere sostituito da una nuova cricca K v in modo tale che i vertici di …
1
Risultati negativi sull'approccio di particelle identiche al problema dell'isomorfismo grafico (GI)
Ci sono stati alcuni sforzi per attaccare il problema dell'isomorfismo grafico usando la camminata casuale quantistica di bosoni hard-core (simmetrici ma senza doppia occupazione). Il potere simmetrico della matrice di adiacenza, che sembrava promettente, si è rivelato incompleto per i grafici generali in questo articolo di Amir Rahnamai Barghi e …
1
Incorporamento combinatorio di un grafico
Qui: http://www.planarity.org/Klein_elementary_graph_theory.pdf (nel capitolo incastonature) viene data la definizione di incorporazione combinatoria di un grafico planare. (con definizione di facce e così via) Sebbene possano essere facilmente utilizzati per qualsiasi grafico, definiscono il grafico planare come il grafico, per il quale vale la formula di Eulero (supponendo che il grafico …
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.