Questions marquées «algorithms»

8
Sous-ensemble maximum par paire non divisible par

Je un ensemble de nombres, et souhaite calculer le sous - ensemble maximal de telle sorte que la somme de deux quelconques des éléments de ce n'est pas divisible par un nombre entier . J'ai essayé de résoudre ce problème, mais j'ai trouvé la solution quadratique, qui n'est pas une réponse efficace....

8
Solveur SAT déterministe

J'ai la question suivante. Les solveurs SAT sont-ils déterministes? Je veux dire, par exemple, sur les algorithmes miniSAT et DPLL . Sont-ils complètement déterministes? Si ces algorithmes renvoient unSAT, cela signifie que la solution n'existe certainement

8
GCD d'une paire de produits

J'ai deux nombres, qui sont chacun le produit d'un grand nombre de petits nombres que je connais. Je veux trouver le GCD (le plus grand commun diviseur) de ces deux nombres. Existe-t-il un moyen d'utiliser la factorisation partielle dont je dispose pour accélérer le processus? En particulier,...

8
Algorithme randomisé pour 3SAT

Il existe un algorithme aléatoire très simple qui, étant donné un 3SAT, produit une assignation satisfaisant au moins 7/8 des clauses (en attente): choisissez une assignation aléatoire. Une assignation aléatoire satisfait chaque clause avec la probabilité 7/8, et donc la linéarité de l'attente...