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$

Migliorare la riduzione generica di Cook per Clique a SAT?

Sono interessato a ridurre -Clique in SAT senza rendere l'istanza molto più grande.Kkk Clique è in NP quindi può essere ridotto a SAT usando lo spazio logaritmico. La semplice riduzione del manuale di Garey / Johnson fa esplodere l'istanza a dimensioni cubiche . Tuttavia, -Clique è in P per ogni …

10 cc.complexity-theory sat reductions clique

Riduzione di gravi problemi ai modelli fisici

Sto cercando esempi di problemi difficili (in NP o più difficili) dall'informatica che possono essere ridotti a modelli di processi fisici. Ad esempio, max-2-sat può essere ridotto alla minimizzazione dell'energia in un modello Ising. Vorrei trovare altri esempi di questo tipo di riduzione.

10 cc.complexity-theory reductions physics formal-modeling

La prova per la complessità di Kolmogorov è impensabile usando le riduzioni

Sto cercando una prova che la complessità di Kolmogorov è incontestabile usando una riduzione da un altro problema ineccepibile. La prova comune è una formalizzazione del paradosso di Berry piuttosto che una riduzione, ma dovrebbe esserci una prova riducendo da qualcosa come il problema di Halting o il problema di …

9 computability reductions kolmogorov-complexity

Qualche formulazione SAT / SMT di VRP / VRPTW (TSP, Job-Shop-Scheduling)?

mi chiedo se ci sono approcci che formulano un Problema di routing del veicolo con Time-Windows ( VRPTW ) (come un problema di decisione) come un'istanza SAT / SMT? (alternativa: TSP) Ad esempio: "Esiste una soluzione valida per visitare tutti i clienti entro i tempi previsti con n = 10 …

9 ds.algorithms reference-request sat reductions tsp

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.