Ciencias de la computación teórica

Para poder explicar el problema P vs NP a los no matemáticos, me gustaría tener un ejemplo pedagógico de cuándo se puede evitar la búsqueda de fuerza bruta. Idealmente, el problema debería ser inmediatamente comprensible y el truco no debería ser ni demasiado fácil ni demasiado difícil. Lo mejor que …

8 cc.complexity-theory  np-hardness  soft-question  complexity-classes  p-vs-np 

Esto está motivado por mi pregunta anterior, Algoritmos de aproximación de tiempo súper polinomial para MAX-3SAT . Para muchos problemas de optimización, para cada uno tenemos una aproximación inferior de aproximación inferior asumiendo alguna conjetura teórica de complejidad ampliamente creída. En otras palabras, no existe un algoritmo de tiempo polinómico …

8 cc.complexity-theory  approximation-algorithms 

¿Existe una prueba alternativa o una exposición del resultado de Grigoriev y Karpinski (STOC 1998, doi: 10.1145 / 276698.276872 ) en los límites inferiores exponenciales para circuitos aritméticos de Profundidad 3 que calculan sobre un campo finito fijo?DETn×nDETn×n\mathsf{DET}_{n\times n} No pude entender la sección 2 del documento. ¿Cuál es la …

8 circuit-complexity  arithmetic-circuits 

Estaba leyendo On Bulls * t de Harry Frankfurt , un ensayo filosófico de 1986 sobre esta noción borrosa entre verdad y falsedad. Este no es un ejercicio gratuito. Esto puede tener aplicaciones para la informática, ya que siempre estamos conectando conjuntos de datos entre sí . Algunas de estas …

8 lo.logic  ds.data-structures  circuit-complexity  randomized-algorithms  db.databases 

Nos gustaría saber si existen resultados de aproximación conocidos para el corte - mínimo de cardinalidad restringido en los gráficos dirigidos. No pudimos encontrar ningún resultado en la literatura.tsssttt El problema se define de la siguiente manera: Instancia: Un gráfico dirigido , una función de costo , dos vértices y …

8 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  approximation-algorithms 

Leí el famoso libro de Alon y Spencer sobre el método probabilístico en combinatoria. ¿Hay una encuesta o notas de conferencias sobre avances recientes y relaciones con los siguientes temas teóricos de complejidad de este método más allá de este libro de texto? generadores pseudoaleatorios que engañan a modelos concretos …

8 cc.complexity-theory  reference-request  co.combinatorics  soft-question  survey 

He encontrado esta aplicación web que te permite generar un teorema gratuito para un tipo dado. Los teoremas generados cuantifican sobre tipos y relaciones sobre estos tipos. Estos teoremas (fórmulas) son teoremas de qué teoría / sistema lógico? ¿Cómo se relaciona este sistema con la teoría de la ecuación del …

8 lo.logic  functional-programming  type-systems  parametricity  logical-relations 

Un código de afijo es un código que es simultáneamente un código de prefijo y sufijo. Es decir, ninguna palabra de código no es ni el prefijo ni el sufijo de ninguna otra palabra de código. Los códigos de fijación se pueden decodificar instantáneamente en ambas direcciones (hacia adelante y …

8 coding-theory  prefix-free-code 

Arregle un conjunto de puntos . Ahora llega un punto de consulta , y el objetivo es producir un punto muestreado uniformemente al azar desde la celda Voronoi de en el conjunto .P ⊂ R d q rnortennPAGS⊂ RreP⊂RdP \subset \mathbb{R}^dqqqrrrP ∪ { q }qqqPAGS∪ { q}P∪{q}P \cup \{q\} A …

8 cg.comp-geom  randomized-algorithms  voronoi 

Estoy usando un cálculo de la matriz de varianza-covarianza en un programa que escribí (para el análisis de componentes principales), y me pregunto cuál es su complejidad. Aunque obviamente la descomposición del vector propio está causando el mayor impacto en el rendimiento, me pregunto cuánto de ese impacto es causado …

8 time-complexity  linear-algebra  matrices 

Considere cualquier lenguaje . Defina s ( L ) ∈ { 0 , 1 } ω (una secuencia infinita de bits) mediante la fórmula recursivaLLLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )norte= χL( s ( L )< n)s(L)n=χL(s(L)<n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization 

¿Cuáles son algunas aplicaciones de la descomposición gráfica modular en TCS / teoría de la complejidad? Estoy especialmente interesado en su uso en pruebas o límites superior / inferior si ocurre. [1] Descomposición gráfica modular , Wikipedia. [2] Referencias para la descomposición modular , TCS.SE.

8 reference-request  graph-theory  graph-algorithms  application-of-theory  cc.complexity-theory 

Mientras estudiaba un problema en la teoría algorítmica de juegos, me interesó la complejidad de la siguiente pregunta de optimización: Problema Dado: conjunto de tierra dado por ,nU= [ n ] = { 1 , ... , n }U=[n]={1,…,n}U = [n] = \{1,\ldots,n\}nortenn metromm clasificaciones dadas como órdenes totales donde …

8 cc.complexity-theory  ds.algorithms  np-hardness  optimization 

La siguiente breve descripción del conocido "Google Eggs Puzzle" proviene principalmente del sitio web Google Eggs : Google Eggs Puzzle: Dado n pisos ym huevos, ¿cuál es el enfoque para encontrar el piso más alto desde el cual los huevos se pueden tirar de manera segura, mientras se minimizan los …

8 ds.algorithms  puzzles  dynamic-programming 

Ahora es una observación bien conocida que muchas estructuras gráficas que surgen en entornos naturales tienden a obedecer propiedades libres de escala, como la ley de poder de la distribución de grados. ¿Hay algún buen ejemplo de gráficos naturales que sean bastante aleatorios y que no obedezcan necesariamente a propiedades …

8 graph-theory  ni.networking-internet