Domande taggate «complexity-theory»

Domande relative alla complessità (computazionale) della risoluzione dei problemi

2
Software per testare l'omomorfismo grafico
Ho grafici e con con che superano i controlli di integrità come come lemma senza omomorfismo. Esistono strumenti gratuiti e facili da usare per testare l'omomorfismo grafico da a ?GkGkG_kHkHkH_k|V(Gk)|=|V(Hk)|2k=n2k|V(Gk)|=|V(Hk)|2k=n2k|\mathcal{V}(G_k)|=|\mathcal{V}(H_k)|^{2k}=n^{2k}k∈Nk∈Nk\in\Bbb NGGGHHH
4
Ciclo di peso negativo vs ciclo di peso massimo
Ho difficoltà a capire perché è facile rilevare cicli di peso negativo (Bellman Ford) ma è difficile trovare il ciclo di peso massimo in un grafico non orientato. Se neghiamo il peso di ciascun bordo, possiamo facilmente trovare se ci sono cicli con peso totale> 0. Tuttavia non deve essere …
1
Trova quali vertici eliminare dal grafico per ottenere il componente più piccolo più piccolo
Dato un grafico G=(V,E)G=(V,E)G = (V, E), trova kkk vertici {v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\}, la cui rimozione comporterebbe un grafico con il componente più piccolo più piccolo. Presumo in grande n=|V|n=|V|n = |V| e grande kkk il problema è difficile (NP-difficile), ma sono interessato a piccoli valori di kkk (k∈{1,2,3,4}k∈{1,2,3,4}k \in \{1, 2, …
1
NEXP = Σ ⟹ NEXP = MA?
È noto se l'implicazione vale?N E X P =Σ2⟹N E X P = M ANEXP=Σ2⟹NEXP=MUN\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA} (La domanda è ispirata al noto .)N E X P ⊆ P / p o l y ⇔ N E X P = M ANEXP⊆P/poly⇔NEXP=MUN\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} …
1
Complessità temporale delle simulazioni della macchina di Turing universale e teorema della gerarchia temporale
Ho un piccolo problema a comprendere la dimostrazione del Teorema della Gerarchia del Tempo (Hennie e Stearns, 1966) che garantisce l'esistenza di una lingua accettabile in ma non accettabile in per qualsiasi funzione , tale che è costruibile nel tempo eU(n)U(n)U(n)T(n)T(n)T(n)T(n),U(n)T(n),U(n)T(n),U(n)U(n)U(n)U(n) n≤T(n)=o(U(n)logT(n)).n≤T(n)=o(U(n)log⁡T(n)).n \leq T(n) = o\left(\frac{U(n)}{\log T(n)}\right). Questa dimostrazione si …
3
Come capire la riduzione dal problema del 3-Coloring al problema generale del -Coloring?
Il problema del 3-Coloring può essere dimostrato NP-Complete facendo uso della riduzione da 3SAT Graph Coloring (da 3SAT) . Di conseguenza, il problema 4-Coloring è NP-Complete usando la riduzione di 3-Coloring: Riduzione dall'istanza 3-Coloring: aggiunta di un vertice extra al grafico del problema 3-Coloring e rendendolo adiacente a tutti i …
2
Il grafico 3-colorabilità è auto-riducibile
Sono interessato all'auto-riducibilità del problema del grafico 3-Coloralibity. Definizione del problema grafico a 3 coloralità. Dato un grafico non orientato esiste un modo per colorare i nodi rosso, verde e blu in modo che nessun nodo adiacente abbia lo stesso colore?GGG Definizione di auto-riducibilità. Una lingua è auto-riducibile se esiste …
2
C'è qualche problema non banale nella teoria degli algoritmi seriali con un limite inferiore polinomiale non banale di ?
Nella teoria degli algoritmi distribuiti, ci sono problemi con limiti inferiori, come , che sono "grandi" (intendo, più grandi di ) e non banali. Mi chiedo se ci sono problemi con limiti simili nella teoria dell'algoritmo seriale, intendo ordine molto maggiore di .Ω(n2)Ω(n2)\Omega(n^2)Ω(nlogn)Ω(nlog⁡n)\Omega(n\log n)Ω(nlogn)Ω(nlog⁡n)\Omega(n\log n) Con banale intendo "ottenuto solo …
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.