{"product_id":"a-survey-of-lower-bounds-for-satisfiability-and-related-problems-9781601980847","title":"Un estudio de cotas inferiores para la satisfactibilidad y problemas relacionados","description":"La completitud NP podría decirse que constituye el concepto más omnipresente de la informática, ya que abarca la complejidad computacional de miles de problemas importantes de todas las ramas de la ciencia y la ingeniería. La pregunta P versus NP plantea si estos problemas pueden resolverse en tiempo polinómico. Durante mucho tiempo se ha conjeturado ampliamente una respuesta negativa, pero, hasta hace poco, no se conocían límites inferiores concretos en modelos generales de computación. La satisfacibilidad es el problema de decidir si una fórmula booleana dada tiene al menos una asignación satisfactoria. Es el primer problema que se demostró ser NP-completo y es posiblemente el problema NP-completo más estudiado, tanto por sus propiedades teóricas como por sus aplicaciones prácticas. \"A Survey of Lower Bounds for Satisfiability and Related Problems\" revisa los límites inferiores descubiertos recientemente para la complejidad temporal y espacial de la satisfacibilidad y problemas estrechamente relacionados. Ofrece una visión general de los resultados más recientes en modelos de computación deterministas, aleatorios y cuánticos generales, y presenta los argumentos subyacentes en un marco unificado. \"A Survey of Lower Bounds for Satisfiability and Related Problems\" es una referencia inestimable para profesores y estudiantes que investigan o planean investigar en teoría de la complejidad.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-16540361\"\u003eDieter Melkebeek Van\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-5668979\"\u003eDieter Van Melkebeek\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Now Publishers\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 05\/10\/2007\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 128\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.42lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.21h x 6.14w x 0.27d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9781601980847\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 1601980841\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM014000\"\u003eCiencias de la Computación\u003c\/a\u003e\u003cbr\u003e","brand":"Now Publishers","offers":[{"title":"Default Title","offer_id":44588571787501,"sku":"9781601980847","price":106.67,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_22365d99-7706-4b62-a1f4-ac5c6fda58aa.jpg?v=1702223074","url":"https:\/\/sureshotbooks.com\/es\/products\/a-survey-of-lower-bounds-for-satisfiability-and-related-problems-9781601980847","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}