Preguntas etiquetadas con proof-techniques

Es bien sabido que, en general, el orden de los cuantificadores universales y existenciales no puede invertirse. En otras palabras, para una fórmula lógica general ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) Por otro lado, sabemos que el lado derecho es más restrictivo que el …

73 lo.logic  big-picture  proof-techniques 

¿Hay alguna referencia (en línea o en forma de libro) que organice y discuta los teoremas de TCS mediante la técnica de prueba? Garey y Johnson hacen esto para los diversos tipos de construcciones de widgets necesarios para las pruebas de integridad de NP (particularmente en el capítulo 3 de …

38 reference-request  proof-techniques 

¿Es la complejidad de la comunicación (CC) el único enfoque conocido para los algoritmos de transmisión de límites inferiores? ¿Existen otras técnicas, incluso si los límites inferiores condicionales ? En general, ¿estamos satisfechos con el progreso logrado a través de CC? ¿O buscar técnicas alternativas (aunque sean condicionales) sería una …

8 lower-bounds  streaming-algorithms  proof-techniques