Ciencias de la computación teórica

Estoy seguro de que todos conocen el experimento de la aguja de Buffon en el siglo XVIII, que es uno de los primeros algoritmos probabilísticos para calcular .ππ\pi La implementación del algoritmo en las computadoras generalmente requiere el uso de , o una función trigonométrica, que, incluso si se implementan …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo 

Parece que George Gonthier y sus colaboradores han terminado de formalizar el Teorema de la orden impar . En su trabajo anterior sobre el Teorema de los cuatro colores, Gonthier inventó un montón de nuevos algoritmos (en su mayoría variantes de BDD y algoritmos de gráficos) que eran especialmente susceptibles …

26 lo.logic  proof-assistants 

El estudio de la representación sucinta de gráficos fue iniciado por Galperin y Wigderson en un artículo de 1983, donde demuestran que para muchos problemas simples como encontrar un triángulo en un gráfico, la versión sucinta correspondiente en -completa. Papadimitriou y Yanakkakis amplían esta línea de investigación, y demuestran que …

26 cc.complexity-theory  reference-request  complexity-classes 

Algunos investigadores de alto nivel en informática teórica me han dicho que trabajar en un trabajo de la industria que no es de investigación, incluso solo durante unos años, matará su carrera como investigador de TCS. Sin embargo, sospecho de la afirmación de que el camino de ser un investigador …

26 soft-question  advice-request  career 

Dado un lenguaje regular (NFA, DFA, gramática o expresión regular), ¿cómo se puede contar el número de palabras aceptadas en un idioma determinado? Tanto "con exactamente n letras" como "con como máximo n letras" son de interés. Margareta Ackerman tiene dos documentos sobre el tema relacionado de enumerar palabras aceptadas …

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

No soy un teórico de la informática, pero creo que este problema del mundo real pertenece aquí. El problema Mi compañía tiene varias unidades en todo el país. Ofrecimos a los empleados la posibilidad de trabajar en otra unidad. Pero hay una condición: el número total de trabajadores en una …

26 ds.algorithms  graph-algorithms  application-of-theory 

¿Sobre qué temas faltantes de TCS en Wikipedia le gustaría que hubiera un artículo? Podrían ser omisiones evidentes o solo temas que crees que realmente deberían tener un artículo. Un tema por respuesta por favor para que los más buscados puedan ser votados. Actualización 5/2/2017 : Shuchi Chawla está liderando …

26 soft-question  big-list  survey 

¿Se sabe algo sobre la clase de gráficos con la propiedad de que todos los conjuntos independientes máximos tienen la misma cardinalidad y, por lo tanto, son IS máximos? Por ejemplo, tome un conjunto de puntos en el plano y considere la gráfica de intersecciones entre todos los segmentos entre …

26 graph-theory  co.combinatorics 

Una máquina PHPHPH tiene acceso oracle a una función booleana aleatoria f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} y dos espectros de Fourier ggg y hhh . El espectro de Fourier de una función fff se define como F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) f(x) …

26 cc.complexity-theory  lg.learning  boolean-functions  fourier-analysis 

¿Cuáles serían las consecuencias de #P = FP? Me interesan las consecuencias prácticas y teóricas. Desde un punto de vista práctico, estoy particularmente interesado en las consecuencias sobre la Inteligencia Artificial. Punteros a papeles o libros son más que bienvenidos. Por favor no digas que #P = FP implica P …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

No puedo pensar en ningún modelo de este tipo, ¿tal vez alguna forma de cálculo lambda mecanografiado? algún autómata celular elemental? Esto casi refutaría el "Principio de equivalencia computacional" de Wolfram: Casi todos los procesos que obviamente no son simples pueden verse como cálculos de sofisticación equivalente

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

Esta es mi primera pregunta sobre la pila de teoría, así que no seas demasiado grosero si estoy violando la etiqueta de alguna manera) Como sabemos, en matemáticas incluso matemáticos famosos, superestrellas y genios están cometiendo serios errores de vez en cuando. Por ejemplo, tanto el teorema de 4 colores …

26 soft-question  big-list 

Supongamos que atenuamos el problema de contar las coloraciones adecuadas contando las coloraciones ponderadas de la siguiente manera: cada coloración adecuada obtiene el peso 1 y cada coloración incorrecta obtiene el peso donde es algo constante y es el número de aristas con puntos finales coloreados de la misma manera. …

26 graph-theory  approximation-algorithms  approximation-hardness  counting-complexity  graph-colouring 

¿Conoces alguna wiki actualizada dedicada a problemas de optimización de NP con su mejor resultado de aproximación y dureza? Según los comentarios, parece seguro asumir que no existe dicho recurso (consulte el final de esta pregunta para conocer dos opciones cercanas). - agregado el 8 de febrero. Dado que hay …

26 ds.algorithms  reference-request  approximation-algorithms  approximation-hardness 

Es bien sabido que la conectividad st dirigida es -completa. Consecuencia del avance Reingold mostró que no dirigido st-conectividad está en L . Planar dirigida st-conectividad es conocido por ser en U L ∩ c o U L . Cho y Huynh definen un problema de la mochila parametrizada y …

26 cc.complexity-theory  space-bounded