Perguntas com a marcação «sat-solvers»

No livro de Lance Fortnow, The Golden Ticket , ele menciona que uma vez que você tenha um algoritmo de tempo polinomial para um problema completo de NP, poderá usá-lo para encontrar um algoritmo mais rápido. Você pode me dizer como isso é feito? E uma vez feito isso, você …

7 algorithms  np-complete  p-vs-np  sat-solvers 

Estou analisando vários solucionadores de SAT e tentando entender como eles funcionam e por que são projetados de determinadas maneiras. (Mas eu não estou em uma universidade no momento e não conheço ninguém que seja professor. Então, estou postando aqui esperando que alguém possa me ajudar. Eu realmente aprecio.) No …

7 algorithms  sat-solvers 

Eu sei pelo Teorema da Dicotomia de Schaefer que apenas alguns tipos de problemas de satisfação estão em P e qualquer outro problema é NP-completo. No entanto, todos os algoritmos que eu conheço usam técnicas específicas únicas para esse tipo de problema - por exemplo, propagação de unidade para Hornsat, …

7 complexity-theory  satisfiability  polynomial-time  sat-solvers