Ciencias de la computación teórica

Me confunde la sutil diferencia entre proposiciones y juicios cuando se expone a la teoría del tipo intuicionista. ¿Alguien puede explicarme cuál es el punto para distinguirlos y qué los distingue? Especialmente en vista del Curry-Howard Isomorphsim.

27 lo.logic  pl.programming-languages  type-theory 

Este artículo me pareció muy interesante. Para resumir: analiza por qué en la práctica rara vez se encuentra el peor de los casos de un problema de NP completo. La idea en el artículo es que las instancias generalmente están muy poco o muy restringidas, las cuales son relativamente fáciles …

27 np-hardness  worst-case 

Los problemas clásicos -queens preguntan, dado un número entero positivo n , si hay una matriz Q [ 1 .. n ] de números enteros que satisfacen las siguientes condiciones:nnortennnortenQ[1..n]Q[1 ..norte]Q[1..n] para todo i1≤Q[i]≤n1≤Q[yo]≤norte1\le Q[i] \le niyoi para todo i ≠ jQ[i]≠Q[j]Q[yo]≠Q[j]Q[i] \ne Q[j]i≠jyo≠ji\ne j para todo i ≠ jQ[i]−i≠Q[j]−jQ[yo]-yo≠Q[j]-jQ[i]-i …

27 cc.complexity-theory  board-games 

¿Qué problemas se sabe que pertenecen a pero que no se sabe que pertenecen a P ?BPPBPP\mathsf{BPP}PP\mathsf P Más precisamente, estoy interesado en problemas independientes , es decir, cuyas desviaciones aleatorias no son equivalentes. Por ejemplo, se sabe que desrandomizar PIT y factorización polinomial multivariante son equivalentes y los consideraría …

27 derandomization 

En mi educación en ciencias de la computación, noto cada vez más que la mayoría de los problemas discretos son NP completos (al menos), mientras que la optimización de problemas continuos es casi siempre fácil de lograr, generalmente a través de técnicas de gradiente. ¿Hay excepciones a esto?

27 cc.complexity-theory  co.combinatorics  optimization 

Hace poco estuve leyendo Las dos dualidades de la computación: tipos negativos y fraccionarios . El documento se expande sobre tipos de suma y tipos de producto, dando semántica a los tipos a - by a/b. A diferencia de la suma y la multiplicación, no hay uno sino dos inversos …

27 lo.logic  pl.programming-languages  type-theory  algebra 

Grothendieck ha fallecido . Tuvo un impacto masivo en las matemáticas del siglo XX que continuaron hasta el siglo XXI. Esta pregunta se hace algo en el estilo / espíritu, por ejemplo, de las Contribuciones de Alan Turing a la informática . ¿Cuáles son las principales influencias de Grothendieck en …

27 big-picture  ct.category-theory  ho.history-overview 

Esta pregunta se migró de Computer Science Stack Exchange porque se puede responder en Teorematic Computer Science Stack Exchange. Migrado hace 6 años . Parece que muchas personas creen que , en parte porque creen que la factorización no es solucionable por tiempo múltiple. (Shiva Kintali ha enumerado algunos otros …

27 cc.complexity-theory  np  conditional-results 

¿Hay un ejemplo de un idioma que está en , pero donde no podemos probar este hecho directamente al mostrar que existe un testigo polinómico para la membresía en este idioma?NPNPNP En cambio, el hecho de que el idioma está en se probaría reduciéndolo a otro idioma en , donde …

27 reductions  np 

El estudio de la ecología y la evolución se está volviendo cada vez más matemático, pero la mayoría de las herramientas teóricas parecen provenir de la física. Sin embargo, en muchos casos los problemas tienen una naturaleza muy discreta (véase, por ejemplo, SLBS00 ) y podrían beneficiarse desde una perspectiva …

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

Supongamos que es un gráfico con el número de colorante . Considere el siguiente juego entre Alice y Bob. En cada ronda, Alice elige un vértice y Bob responde con un color en para este vértice. El juego termina cuando se descubre un borde monocromático. Deje que sea ​​la duración …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

¿Por qué los lenguajes regulares (y de esas expresiones regulares) se llaman "regulares"? Hay mucha regularidad también en los idiomas sin contexto de otros tipos de idiomas. Supongo que, al principio, el adjetivo "regular" se ha utilizado para diferenciar ese tipo de idiomas de otros lenguajes "no regulares" o de …

27 regular-expressions  regular-language  ho.history-overview 

¿Cuál es la complejidad de decidir si un circuito con bits de entrada y bits de salida calcula una permutación de ? en otras palabras, si cada cadena de bits en es una salida del circuito para alguna entrada? Parece un problema que ha sido estudiado, pero no puedo encontrar …

27 cc.complexity-theory  circuit-complexity  permutations 

Quisiera preguntar sobre un caso especial de la pregunta " Decidir si un circuito NC 0 determinado calcula una permutación " por QiCheng que no se ha respondido. Un circuito booleano se denomina circuito NC 0 k si cada puerta de salida depende sintácticamente de, como máximo, k puertas de …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

Mientras lee el artículo "¿Es hora de declarar la victoria en el conteo de la complejidad?" en el blog "La carta perdida de Godel y P = NP" , mencionaron la dicotomía para los CSP. Después de seguir algunos enlaces, buscar en Google y escribir en wikipedia, me encontré con …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp