Preguntas etiquetadas con reference-request

Tengo entendido que el modelo de Turing se ha convertido en el "estándar" al describir el cálculo. Me interesa saber por qué este es el caso, es decir, por qué el modelo TM se ha vuelto más utilizado que otros modelos teóricamente equivalentes (que yo sepa), por ejemplo, μ-Recursion de …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Actualmente estoy escribiendo una encuesta sobre teoremas de jerarquía en TCS. Al buscar artículos relacionados, noté que la jerarquía es un concepto fundamental no solo en TCS y matemáticas, sino en numerosas ciencias, desde teología y sociología hasta biología y química. Al ver que la cantidad de información es enorme, …

42 cc.complexity-theory  reference-request  big-list  survey 

¿Alguien sabe de aplicaciones interesantes de las bases de Gröbner a la informática teórica? Las bases de Gröbner se utilizan para resolver ecuaciones polinómicas de múltiples variables, un problema NP-difícil en general. Me preguntaba si se usaron algunos casos especiales manejables para proporcionar algoritmos / construcciones / pruebas eficientes en …

41 cc.complexity-theory  reference-request  algebra  polynomials 

En 1937, Turing describió una máquina de Turing. Desde entonces, se han descrito muchos modelos de computación en un intento de encontrar un modelo que sea como una computadora real pero que sea lo suficientemente simple como para diseñar y analizar algoritmos. Como resultado, tenemos una docena de algoritmos para, …

41 ds.algorithms  reference-request  soft-question  machine-models 

Esta es una publicación cruzada de math.stackexchange. Deje que FACT denote el problema de factorización de enteros: dado encuentre los primos y los enteros modo quep i ∈ N , e i ∈ N , n = ∏ k i = 0 p e i i .n ∈ N ,n∈N,n …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

Estoy buscando una respuesta definitiva sobre si la generación de números "verdaderamente aleatorios" es computable por Turing. No sé cómo expresar esto con precisión. Esta pregunta de StackExchange sobre "algoritmos eficientes para la generación de números aleatorios" se acerca a responder mi pregunta. Charles Stewart dice en su respuesta: "[la …

39 reference-request  computability  turing-machines  randomness 

Parece que la teoría de la complejidad geométrica requiere mucho conocimiento de las matemáticas puras, como la geometría algebraica, la teoría de la representación. Si bien soy estudiante de CS y NO tengo clases de matemáticas muy abstractas y puras, estoy interesado en este programa. ¿Existe una lista de "conocimiento …

38 reference-request  big-list  survey  gct 

¿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 

Voy a hacer una pregunta bastante vaga, ya que la frontera entre la informática teórica y las matemáticas no siempre es fácil de distinguir. PREGUNTA: ¿Conoce algún resultado interesante en CS que sea independiente de ZFC (es decir, la teoría de conjuntos estándar), o que se demostró originalmente en ZFC …

37 reference-request  lo.logic  set-theory 

Una serie de problemas geométricos son fáciles cuando se consideran en , pero son NP-completos en para (incluido uno de mis problemas favoritos, la cubierta del disco de la unidad).R1R1R^1RdRdR^dd≥2d≥2d\geq2 ¿Alguien sabe de un problema que pueda resolverse en polytime para y , pero NP-complete para ? R1R1R^1R2R2R^2Rd,d≥3Rd,d≥3R^d,d\geq3 En términos …

37 cc.complexity-theory  reference-request  cg.comp-geom 

La complejidad cada vez mayor de los programas de computadora y la posición cada vez más crucial que tienen las computadoras en nuestra sociedad me hacen preguntarme por qué todavía no usamos colectivamente lenguajes de programación en los que tenga que dar una prueba formal de que su código funciona …

37 reference-request  complexity-classes  computability  pl.programming-languages 

Esta es una pregunta no técnica, pero ciertamente relevante para la comunidad TCS. Si se considera inapropiado, no dude en cerrar. La página web de Complexity Zoo (http://qwiki.stanford.edu/index.php/Complexity_Zoo) ciertamente ha sido de gran servicio para la comunidad de TCS a lo largo de los años. Aparentemente ha caído desde hace …

36 cc.complexity-theory  reference-request  soft-question 

En general, sabemos que la complejidad de probar si una función toma un valor particular en una entrada dada es más fácil que evaluar la función en esa entrada. Por ejemplo: Evaluar el permanente de una matriz entera no negativa es # P-hard, pero determinar si dicho permanente es cero …

36 cc.complexity-theory  reference-request  algebraic-complexity 

El problema es calcular el polinomio . Suponga que todos los coeficientes caben en una palabra de máquina, es decir, pueden manipularse en unidades de tiempo.(a1x+b1)×⋯×(anx+bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) Puede hacer tiempo aplicando FFT en forma de árbol. ¿Puedes hacer ?O(nlog2n)O(nlog2⁡n)O(n \log^2 n)O(nlogn)O(nlog⁡n)O(n …

35 ds.algorithms  reference-request  open-problem  polynomials 

Considere el siguiente problema de conteo (o el problema de decisión asociado): dados dos enteros positivos codificados en binario, calcule su máximo divisor común (mcd). ¿Cuál es la clase de complejidad más pequeña en la que se encuentra este problema? ¿Me puede proporcionar una referencia? En esta pregunta, no estoy …

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory