Ciencias de la computación teórica

Pregunta: ¿Cuál es el límite inferior de tamaño de fórmula más conocido para una función explícita en AC 0 ? ¿Existe una función explícita con un límite inferior ?Ω ( n2)Ω(n2)\Omega(n^2) Fondo: Como la mayoría de los límites inferiores, los límites inferiores del tamaño de la fórmula son difíciles de …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

Como no hubo respuesta en Lambda the Ultimate, lo intento de nuevo aquí: los sistemas de reescritura de términos se utilizan, por ejemplo, en teoremas automatizados que prueban un cálculo simbólico y, por supuesto, para definir gramáticas formales. Hay algunos lenguajes de programación basados ​​en la reescritura de términos, pero …

25 pl.programming-languages  terminology  term-rewriting-systems 

He leído en varios artículos que la existencia de funciones unidireccionales se cree ampliamente. ¿Alguien puede arrojar luz sobre por qué este es el caso? ¿Qué argumentos tenemos para apoyar la existencia de funciones unidireccionales?

25 cc.complexity-theory  cr.crypto-security  big-picture  one-way-function 

He estado leyendo mucho sobre sistemas de tipos y tal, y entiendo aproximadamente por qué se introdujeron (para resolver la paradoja de Russel). También entiendo aproximadamente su relevancia práctica en lenguajes de programación y sistemas de prueba. Sin embargo, no estoy completamente seguro de que mi noción intuitiva de qué …

25 lo.logic  type-theory  proof-theory 

Supongamos que tenemos una clase de objetos (por ejemplo, gráficos, cadenas) y una relación de equivalencia en estos objetos. Para los gráficos esto podría ser isomorfismo gráfico. Para las cadenas, podríamos declarar dos cadenas equivalentes si son anagramas entre sí. Estoy interesado en calcular un representante para una clase de …

25 cc.complexity-theory 

En relación con el rompecabezas Slither Link , me he estado preguntando: supongamos que tengo una cuadrícula de celdas cuadradas , y quiero encontrar un ciclo simple de bordes de cuadrícula, uniformemente al azar entre todos los ciclos simples posibles.n×nn×nn\times n Una forma de hacer esto sería usar una cadena …

25 ds.algorithms  randomness  markov-chains  integer-lattice 

Es un algoritmo determinista de tiempo polinómico conocido para el siguiente problema: Entrada: un número natural (en codificación binaria)nortenn Salida: un número primo .p > np>np > n (Según una lista de problemas abiertos de Leonard Adleman, el problema se abrió en 1995).

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes 

Estaba leyendo esto . Dice ... No te encontrarás con hambre de financiación como Pure Mathematics. (Todavía siempre te encontrarás hambriento de fondos) ... ¿Por qué los matemáticos puros necesitan financiación? (Ooops su pregunta de overflow matemático) ¿Por qué alguien que realiza una investigación teórica necesita financiación? Creo que las …

25 soft-question  career 

Por lo general, uno construye un gráfico y luego hace preguntas sobre la descomposición del valor propio de la matriz de adyacencia (o algún pariente cercano como el laplaciano ) (también llamado espectro de un gráfico ). Pero, ¿qué pasa con el problema inverso? Dados valores propios, ¿puede uno (eficientemente) …

25 ds.algorithms  graph-theory  graph-algorithms  spectral-graph-theory 

Disculpas por hacer una pregunta que seguramente debe estar en muchas referencias estándar. Tengo curiosidad acerca de exactamente la pregunta en el título, en particular estoy pensando en los circuitos booleanos, sin límite de profundidad. Pongo "el más pequeño" entre comillas para permitir la posibilidad de que haya varias clases …

25 cc.complexity-theory  circuit-complexity 

Recientemente enseñé expansores e introduje la noción de gráficos Ramanujan. Michael Forbes preguntó por qué se les llama así, y tuve que admitir que no lo sé. ¿Nadie?

25 graph-theory  soft-question  ho.history-overview  expanders 

1) ¿Cuál es, si la hay, la relación entre la escritura estática y las gramáticas formales? 2) En particular, ¿sería posible que un autómata lineal limitado verificara si, por ejemplo, un programa C ++ o SML estaba bien escrito? ¿Un autómata apilado anidado? 3) ¿Existe una forma natural de expresar …

25 automata-theory  fl.formal-languages  pl.programming-languages  type-theory  type-inference 

Hace poco estuve leyendo sobre el analizador Earley y creo que es uno de los algoritmos más elegantes que he visto hasta la fecha. Sin embargo, el algoritmo en su sentido tradicional es un reconocedor y no un analizador, lo que significa que puede detectar si una cadena coincide con …

25 fl.formal-languages  parsing 

Hola chicos, entiendo que el truco de relleno nos permite traducir clases de complejidad hacia arriba - por ejemplo, . El relleno funciona "inflando" la entrada, ejecutando la conversión (digamos de N P a P ), lo que produce un algoritmo "mágico" que puede ejecutar en la entrada rellenada. Si …

25 cc.complexity-theory  complexity-classes  padding 

¿Se ha estudiado la complejidad del siguiente problema? Entrada : un gráfico cúbico (o regular) , un límite superior naturalG = ( V , E ) t333G = ( V, E)G=(V,E)G=(V,E)ttt Pregunta : ¿hay una partición de en partes de tamaño modo que la suma de los órdenes de los …

25 graph-theory  np-hardness  co.combinatorics