Domande taggate «csp»

CSP sta per il problema della soddisfazione dei vincoli.

3
Fonte educativa o indagine sull'analisi del programma semidefinito?
Quando si progettano algoritmi di approssimazione, a volte si risolve un programma semidefinito seguito da una fase di arrotondamento. Un esempio spesso usato per illustrare questo è Max-Cut. (Vedi ad esempio algoritmi di approssimazione di Vijay Vazirani.) Esistono buone fonti educative o sondaggi che vanno oltre il problema di Max-Cut …
5
Soddisfazione di vincoli aperti o interattivi
In passato, ho implementato modelli di coordinamento utilizzando SAT e la soddisfazione dei vincoli regolari come cavallo di battaglia principale nei loro motori. Continuando in questa linea di lavoro, vorrei rendere i modelli più interattivi e il modo migliore che vedo di fare questo è quello di aprire il risolutore …
17 sat  lo.logic  csp 
1
Mantenimento dell'ordine in una lista in
Il problema di manutenzione dell'ordine (o "mantenimento dell'ordine in un elenco") è supportare le operazioni: singleton: crea un elenco con un elemento, restituisce un puntatore ad esso insertAfter: dato un puntatore a un elemento, inserisce un nuovo elemento dopo di esso, restituendo un puntatore al nuovo elemento delete: dato un …
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
Trovare la penombra di un problema di soddisfazione dei vincoli
La seguente domanda è emersa diverse volte durante il test della sicurezza di un sistema o modello. Motivazione: Spesso i difetti di sicurezza del software non provengono da bug dovuti a input validi, ma da errori derivanti da input non validi che sono sufficientemente vicini agli input validi per superare …
12 lo.logic  csp  security 
2
Il problema delle N Queens è NP-difficile?
Il problema della regina N è questo: Ingresso: N Output: un posizionamento di N "regine" su una scacchiera NXN in modo tale che non vi siano due regine sulla stessa riga, colonna o diagonale. Facendo una ricerca su Google su questo, ho scoperto che molte diapositive di molti professori affermano …
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.