Domande taggate «reductions»

Una riduzione è la trasformazione di un problema in un altro problema. Un esempio di utilizzo di una riduzione sarebbe quello di mostrare se un problema P è indecidibile. Ciò si otterrebbe trasformando o eseguendo una riduzione di un problema decisionale in un problema indecidibile. Se ciò può essere ottenuto, abbiamo dimostrato che questo problema P è indecidibile. P

3
Calcolo delle costruzioni: comprimi l'espressione nella sua forma più piccola
Sono consapevole che il calcolo delle costruzioni si sta fortemente normalizzando, il che significa che ogni espressione ha un valore normale per cui non può essere beta, ulteriormente ridotta. Quindi, in effetti, questa è l'espressione più efficiente che calcola lo stesso valore dell'espressione originale. Ma in alcuni casi, la normalizzazione …
2
Numero limitato di occorrenze variabili in SAT 1-in-3
Esiste un risultato noto sulla classe di complessità 1-in-3-SAT con un numero limitato di occorrenze variabili? Ho escogitato la seguente riduzione parsimoniosa con Peter Nightingale, ma voglio citare qualcosa se questo è noto. Ecco il trucco che abbiamo trovato. Ciò mostra che 1-in-3-SAT limitato a 3 occorrenze per variabile è …
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.