Preguntas etiquetadas con reference-request

XORification es la técnica para hacer que una función o fórmula booleana sea más difícil al reemplazar cada variable por el XOR de k ≥ 2 variables distintas x 1 ⊕ ... ⊕ x k . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Soy consciente de los usos de esta técnica …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

Un enfoque reciente para crear una moneda en línea descentralizada, llamada Bitcoin , ha generado cierto interés. El objetivo es tener una forma de transferir divisas sin una autoridad central y sin doble gasto o falsificación. Su enfoque es hacer que todos los nodos de la red intenten verificar una …

18 reference-request  cr.crypto-security 

Trabajar directamente con la complejidad del tiempo o los límites inferiores del circuito es aterrador. Por lo tanto, desarrollamos herramientas como la complejidad de la consulta (o la complejidad del árbol de decisiones) para manejar los límites inferiores. Dado que cada consulta toma al menos un paso unitario, y los …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

2 preguntas para los geómetras computacionales o algebraistas: Estoy empezando a sumergirme en la geometría computacional y me encanta =) Estoy intentando leer el famoso artículo de Guibas y Stolfi llamado "Primitivas para la manipulación de subdivisiones generales y el cálculo de Diagramas de Voronoi" para implementar un algoritmo de …

18 reference-request  cg.comp-geom  algebra 

¿Es cierto que hay problemas en la jerarquía polinómica que se pueden resolver en el tiempo (por una máquina de Turing alterna en algún nivel de la jerarquía polinómica) que no se pueden resolver en O ( n k - 1 ) en ningún nivel de jerarquía polinómica? En otras …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

El método de derivación de Brzozowski es una técnica muy bonita para construir autómatas deterministas a partir de expresiones regulares de una manera muy algebraica. He elaborado algunas generalizaciones lindas de esta técnica para manejar algunas clases más grandes de gramáticas, pero los algoritmos son lo suficientemente sencillos que parece …

18 reference-request  fl.formal-languages  parsing 

Estoy interesado en el siguiente problema: dado un conjunto X y los subconjuntos X_1, ..., X_n de X, encuentre una coloración de los elementos de X con k colores de manera que los elementos en cada X_i sean todos de colores diferentes. Más específicamente, estoy mirando el caso donde todos …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Problema: se nos da un conjunto de palos que tienen longitudes enteras. La suma total de sus longitudes es n (n + 1) / 2. ¿Podemos separarlos para obtener palos de tamaño en tiempo polinómico? 1 , 2 , ... , n1,2,...,norte{1,2,\ldots,n} Sorprendentemente, la única referencia que encuentro para este …

18 reference-request  complexity-classes  puzzles 

El problema de la satisfacción es, por supuesto, un problema fundamental en la CS teórica. Estaba jugando con una versión del problema con infinitas variables. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configuración básica. Sea un conjunto de variables no vacío y posiblemente infinito . Un literal es una variable o su negación . Una …

18 reference-request  lo.logic  sat  topology  lattice 

En el libro de Sakarovitch sobre teoría de autómatas, está escrito en la introducción a la sección de racionales en el grupo libre que el material presentado en él establece "la base de una teoría verdaderamente matemática de lenguajes libres de contexto". Sin embargo, esto no se hace explícito, ya …

17 context-free  automata-theory  reference-request 

Se sabe que el tamaño mínimo de los U_2 que calculan la función de paridad es exactamente igual a . La prueba de límite inferior se basa en el método de eliminación de puerta.U2U2U_23(n−1)3(n−1)3(n-1) Recientemente, noté que el método de eliminación de compuerta funciona bien también para U_2 no deterministas …

17 cc.complexity-theory  reference-request  circuit-complexity 

¿Se conoce la siguiente clase de gráfico en la literatura? La clase de gráficos está parametrizada por los enteros positivos y y contiene cada gráfico modo que para cada vértice , el subgrafo de inducido en todos los vértices a distancia como máximo de en tiene un ancho de árbol …

17 reference-request  graph-theory  treewidth 

Al tratar de convencer a los economistas de la relevancia de la teoría de la complejidad en forma impresa, ¿hay alguna referencia estándar para citar? Estoy familiarizado con la publicación del blog de Noam Nisan , la encuesta de Tim Roughgarden y el capítulo 11 del ensayo de Scott Aaronson …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Estoy buscando ejemplos naturales de algoritmos eficientes (es decir, en tiempo polinómico) st su corrección y eficiencia pueden demostrarse de manera constructiva (p. ej., en o ), peroPAGR APAGRUNPRAHUNHUNHA no se conoce ninguna prueba que utilice solo conceptos eficientes (es decir, no sabemos cómo demostrar su corrección y eficiencia en …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

La mayoría de los sitios que he visitado leyendo sobre este interesante tema dicen algo similar "Las únicas potencias de dos (que no sean 2) que ocurren en esta secuencia son aquellas con exponente principal" (MathWorld) o "Después de 2, esta secuencia contiene los siguientes poderes de 2: [...] que …

17 reference-request  primes