Domande taggate «reductions»

Nella computabilità e complessità, trovare mappature tra problemi che consentono di risolvere un problema usando una soluzione di un altro. Per la riduzione della teoria del linguaggio di programmazione (ad es. Riduzione beta), vedere [lambda-calcolo] o [riscrittura dei termini].

3
Dimensione minima di contrarre un DAG in un nuovo DAG
Abbiamo un DAG. Abbiamo una funzione sui nodi F:V→NF:V→NF\colon V\to \mathbb N (parlando liberamente, contiamo i nodi). Vorremmo creare un nuovo grafico diretto con queste regole: Solo i nodi con lo stesso numero possono essere contratti nello stesso nuovo nodo. . (Tuttavia, .)F(x)≠F(y)⇒x′≠y′F(x)≠F(y)⇒x′≠y′F(x) \neq F(y) \Rightarrow x' \neq y'x′≠y′⇏F(x)≠F(y)x′≠y′⇏F(x)≠F(y)x' \neq …
2
Hidoku NP è completo?
Un Hidoku è una griglia con alcuni numeri interi pre-riempiti da 1 a n 2 . L'obiettivo è trovare un percorso di numeri interi successivi (da 1 a n 2 ) nella griglia. Più concreto, ogni cella della griglia deve contenere un numero intero diverso da 1 a n 2 …
3
Se P = NP, perché
Apparentemente, se P=NPP=NP{\sf P}={\sf NP} , tutte le lingue in PP{\sf P} tranne ∅∅\emptyset e Σ∗Σ∗\Sigma^* sarebbero NPNP{\sf NP} complete. Perché queste due lingue in particolare? Non possiamo ridurre a loro qualsiasi altra lingua in PP{\sf P} emettendole quando accettiamo o non accettiamo?
1
Esiste un problema completo per la classe di Turing Decidable Problems?
Lingue come sono con riduzioni . È banale vedere che anche ha problemi completi. S. Schmitz [1] considera alcune classi tra e . Presentano problemi completi per queste classi con riduzioni appositamente realizzate.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Ci sono problemi completi per (aka ) relativi a riduzioni più deboli? Le riduzioni di Turing sono …
1
Condizioni di planarità per SAT planare 1-in-3
Planar 3SAT è NP-completo. Un'istanza 3SAT planare è un'istanza 3SAT per cui il grafico creato utilizzando le seguenti regole è planare: aggiungi un vertice per ogni e ¯ x iXioXiox_iXio¯Xio¯\bar{x_i} aggiungere un vertice per ogni clausola CjCjC_j aggiungi un bordo per ogni coppia ( xio, xio¯)(Xio,Xio¯)(x_i,\bar{x_i}) aggiungi un bordo dal …
1
Riduzione diretta da
Sappiamo che è in N L di Teorema del teorema di Immerman – Szelepcsényi e poiché s t - c o n n e c t i v i t y è N L - h a r d quindi s t - n ost-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard} è molto-un log-spazio riducibile a …
2
Karp Reduction è identico a Levin Reduction
Definizione: Karp Reduction Una lingua è Karp riducibile a una lingua se esiste una funzione calcolabile in tempo polinomiale tale che per ogni , se e solo se .AAABBBf:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^*xxxx∈Ax∈Ax\in Af(x)∈Bf(x)∈Bf(x)\in B Definizione: Levin Reduction Una ricerca problema è Levin riducibile a una ricerca problema se c'è funzione polinomiale che riduce …
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.