Preguntas etiquetadas con proof-techniques

Hay un montón de preguntas acerca de cómo analizar el tiempo de ejecución de algoritmos (véase, por ejemplo, el tiempo de ejecución-análisis y algoritmo de análisis ). Muchos son similares, por ejemplo, aquellos que solicitan un análisis de costos de bucles anidados o algoritmos de dividir y conquistar, pero la …

159 algorithms  algorithm-analysis  runtime-analysis  proof-techniques  reference-question 

En informática, a menudo tenemos que resolver relaciones de recurrencia , es decir, encontrar una forma cerrada para una secuencia de números definida recursivamente. Al considerar los tiempos de ejecución, a menudo nos interesa principalmente el crecimiento asintótico de la secuencia . Ejemplos son El tiempo de ejecución de una …

90 asymptotics  proof-techniques  combinatorics  recurrence-relation  reference-question 

Aprendimos sobre la clase de lenguajes libres de contexto . Se caracteriza tanto por gramáticas libres de contexto como por autómatas pushdown, por lo que es fácil demostrar que un lenguaje determinado no tiene contexto.CFLCFL\mathrm{CFL} Sin embargo, ¿cómo muestro lo contrario? Mi TA ha insistido en que para hacerlo, tendríamos …

89 formal-languages  context-free  proof-techniques  reference-question 

Aprendimos sobre la clase de idiomas regulares . Se caracteriza por un concepto cualquiera entre expresiones regulares, autómatas finitos y gramáticas lineales izquierdas, por lo que es fácil mostrar que un lenguaje determinado es regular.REGREG\mathrm{REG} Sin embargo, ¿cómo muestro lo contrario? Mi TA ha insistido en que para hacerlo, tendríamos …

76 formal-languages  regular-languages  proof-techniques  reference-question 

He oído hablar de inducción (estructural). Le permite construir estructuras finitas a partir de otras más pequeñas y le ofrece principios de prueba para razonar sobre tales estructuras. La idea es lo suficientemente clara. ¿Pero qué pasa con la coinducción? ¿Como funciona? ¿Cómo se puede decir algo concluyente sobre una …

68 terminology  logic  proof-techniques  formal-methods  coinduction 

Existen muchos métodos para demostrar que un idioma no es regular , pero ¿qué debo hacer para demostrar que un idioma es regular? Por ejemplo, si me dicen que LLL es regular, ¿cómo puedo probar que la siguiente L′L′L' es regular? L′: = { w ∈ L : u v …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

Sé que existe una máquina de Turing, si una función es computable. Entonces, cómo mostrar que la función no es computable o que no hay ninguna máquina de Turing para eso. ¿Hay algo como un lema de bombeo?

43 computability  proof-techniques  undecidability  reference-question 

En la teoría de la computabilidad y la complejidad (y quizás en otros campos), las reducciones son ubicuas. Hay muchos tipos, pero el principio sigue siendo el mismo: demuestre que un problema es al menos tan difícil como otro problema al mapear instancias de a soluciones equivalentes en . Esencialmente, …

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

Estoy planeando enseñar un curso de invierno sobre un número variable de temas, uno de los cuales será compiladores. Ahora, me encontré con este problema mientras pensaba en tareas para dar durante el trimestre, pero me tiene perplejo, por lo que podría usarlo como un ejemplo. public class DeadCode { …

32 computability  proof-techniques  compilers 

Entiendo la prueba de la indecidibilidad del problema de detención (dada, por ejemplo, en el libro de texto de Papadimitriou), basada en la diagonalización. Si bien la prueba es convincente (entiendo cada paso), no es intuitiva para mí en el sentido de que no veo cómo alguien la derivaría, comenzando …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

Cuando estaba explicando la prueba de Baker-Gill-Solovay de que existe un oráculo con el que podemos tener, , y un oráculo con el que podemos tener a un amigo, surgió una pregunta de por qué tales técnicas no son adecuadas para probar el problema , y no pude dar una …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

Tengo un algoritmo codicioso que sospecho que podría ser correcto, pero no estoy seguro. ¿Cómo verifico si es correcto? ¿Cuáles son las técnicas a utilizar para probar que un algoritmo codicioso es correcto? ¿Existen patrones o técnicas comunes? Espero que esto se convierta en una pregunta de referencia que pueda …

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

Cada problema indecidible que conozco pertenece a una de las siguientes categorías: Problemas que son indecidibles debido a la diagonalización (autorreferencia indirecta). Estos problemas, como el problema de detención, son indecidibles porque podría usar un supuesto decisor para el lenguaje para construir una TM cuyo comportamiento conduce a una contradicción. …

28 computability  proof-techniques  undecidability 

Estoy tomando un curso de complejidad y tengo problemas para encontrar reducciones entre los problemas de la APN. ¿Cómo puedo encontrar reducciones entre problemas? ¿Hay algún truco general que pueda usar? ¿Cómo debo abordar un problema que me pide que demuestre que un problema es NPC?

27 complexity-theory  np-complete  proof-techniques  reductions 

Existen muchas técnicas para demostrar que un idioma no está libre de contexto, pero ¿cómo pruebo que un idioma no tiene contexto? ¿Qué técnicas hay para probar esto? Obviamente, una forma es exhibir una gramática libre de contexto para el lenguaje. ¿Existen técnicas sistemáticas para encontrar una gramática libre de …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question