Proof Complexity Generators

Idioma: inglés

Editorial: Cambridge University Press, GB, 2025

1009611704 / 9781009611701

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: Rarewaves.com USA, London, London, Reino UnidoRarewaves.com USA

Vendedor de 5 estrellas

Vendedor de IberLibro desde 11 de junio de 2025

Tapa blanda

Condición: Nuevo

EUR 58,04

 Gastos de envío gratis 
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

The P vs. NP problem is one of the fundamental problems of mathematics. It asks whether propositional tautologies can be recognized by a polynomial-time algorithm. The problem would be solved in the negative if one could show that there are propositional tautologies that are very hard to prove, no matter how powerful the proof system you use. This is the foundational problem (the NP vs. coNP problem) of proof complexity, an area linking mathematical logic and computational complexity theory. Written by a leading expert in the field, this book presents a theory for constructing such hard tautologies. It introduces the theory step by step, starting with the historic background and a motivational problem in bounded arithmetic, before taking the reader on a tour of various vistas of the field. Finally, it formulates several research problems to highlight new avenues of research.

N° de ref. del artículo LU-9781009611701

Título
Proof Complexity Generators
Autor
Jan Krajícek
Editorial
Cambridge University Press, GB
Año de publicación
2025
Estado
New
Encuadernación
Paperback
Idioma
inglés
ISBN 10
1009611704
ISBN 13
9781009611701
Peso del artículo
210 gramos

Rarewaves.com USA

London, London, Reino Unido

Vendedor de 5 estrellas

Vendedor de IberLibro desde 11 de junio de 2025

Tarifas de envío de Reino Unido a Estados Unidos de America

ArtículoDe 9 a 14 días hábilesDe 9 a 14 días hábiles
Primer artículoEUR 0,00EUR 0,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Información empresarial del vendedor

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Reino Unido W1W 8BE