Ciencias de la computación teórica

Una propiedad básica de los espacios vectoriales es que un espacio vectorial de dimensión n - d puede caracterizarse por d restricciones lineales linealmente independientes, es decir, existen d vectores linealmente independientes w 1 , ... , w d ∈ F n 2 que son ortogonales a V .V⊆Fn2V⊆F2nV \subseteq …

19 co.combinatorics  linear-algebra  boolean-functions  fourier-analysis 

¿Hay un ejemplo de una clase de gráficos para los cuales el problema de coloración de vértices está en P pero el conjunto independiente si el problema es NP completo?

19 cc.complexity-theory  graph-theory  complexity-classes 

Considere el siguiente modelo: una cadena de n bits r = r 1 ... r n se elige de manera uniforme al azar. A continuación, cada índice i∈ {1, ..., n} se coloca en un conjunto A con probabilidad independiente 1/2. Por último, se permite que un adversario, para cada …

19 cc.complexity-theory  randomized-algorithms  derandomization  extractors 

Se le da un gráfico con vértices. Puede ser bipartito si quieres. Hay conjuntos de aristas (digamos disjunto). Estoy interesado en el problema de encontrar un subconjunto , lo más pequeño posible (o incluso más pequeño), de modo que el gráfico inducido tenga al menos un borde de cada clase …

19 ds.algorithms  graph-theory  optimization 

En la informática distribuida, el problema del consenso parece ser uno de los temas centrales que ha atraído una investigación intensiva. En particular, el artículo "Imposibilidad de consenso distribuido con un proceso defectuoso" recibió el Premio de papel influyente PODC 2001 . Entonces, ¿por qué es tan importante el problema …

19 reference-request  big-picture  dc.distributed-comp 

Una matriz se llama totalmente regular si todas sus submatrices cuadradas tienen rango completo. Tales matrices se usaron para construir superconcentradores. ¿Cuál es la complejidad de decidir si una matriz dada es totalmente regular sobre los racionales? Sobre campos finitos? Más en general, llame a una matriz totalmente regular si …

19 cc.complexity-theory  reference-request  linear-algebra  matrices 

Hace poco tuve una discusión sobre las máquinas de Turing cuando me preguntaron: "¿La máquina de Turing se deriva de autómatas o es al revés"? No sabía la respuesta, por supuesto, pero tengo curiosidad por averiguarlo. La máquina de Turing es básicamente una versión un poco más sofisticada de un …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

Estoy interesado en la complejidad de resolver ecuaciones lineales módulo k , para k arbitrario (y con un interés especial en las potencias primarias), específicamente: Problema. Para un sistema dado de ecuaciones lineales en incógnitas módulo , ¿existe alguna solución?n kmmmnnnkkk En el resumen de su artículo Estructura e importancia …

19 cc.complexity-theory  dc.parallel-comp  linear-algebra  nt.number-theory 

Supongamos que tenemos un gráfico ponderado no dirigido (con pesos no negativos). Supongamos que todos los caminos más cortos en son únicos. Supongamos que tenemos estos \ binom {n} {2} caminos (secuencias de bordes no ponderados), pero no conocemos G en sí. ¿Podemos producir cualquier G que hubiera dado estos …

19 graph-theory  co.combinatorics  graph-algorithms  metrics 

Antecedentes: Chao Xu publicó la siguiente pregunta hace algún tiempo: " ¿Hay algún algoritmo de clasificación de comparación conocido que no se reduzca a redes de clasificación, de modo que cada elemento se compare veces?O ( logn )O(log⁡n)O(\log n) ". Parece que estamos un poco atascados con el problema; He …

19 ds.algorithms  sorting  sorting-network 

¿Alguien puede ayudarme con el siguiente problema? Quiero encontrar algunos valores a i , b jai,bja_i,b_j (mod norteNN ) donde i = 1 , 2 , ... , K , j = 1 , 2 , ... , Ki=1,2,…,K,j=1,2,…,Ki=1,2,…,K, j=1,2,…,K (por ejemplo K = 6K=6K=6 ), dada una lista de …

19 ds.algorithms  linear-algebra  nt.number-theory  cryptographic-attack  comp-number-theory 

Cálculo de la constante Cheeger de un gráfico , también conocida como la constante de isoperimétrico (porque es esencialmente una relación de área mínima y / o volumen), se sabe que es NP-completo. Generalmente es aproximado. Estoy interesado en saber si se conocen algoritmos polinómicos exactos para clases especiales de …

19 ds.algorithms  reference-request  graph-algorithms 

Sea un gráfico no ponderado no dirigido con vértices aristas. ¿Es posible preprocesar y producir una estructura de datos de tamaño para que pueda responder consultas de la forma "distancia entren m G m ⋅ p o l y l o g ( n ) u vGGGnnnmmmGGGm⋅polylog(n)m⋅polylog(n)m \cdot \mathrm{polylog}(n)uuu y …

19 graph-theory  graph-algorithms  ds.data-structures 

La pregunta es simple y directa: para un fijo , ¿cuántos idiomas (diferentes) son aceptados por un DFA de tamaño (es decir, estados)? Declararé formalmente esto:nortennnortennnortenn Defina un DFA como , donde todo está como de costumbre y es una función (posiblemente parcial). Necesitamos establecer esto ya que a veces …

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa 

¿Cuáles son los mejores recursos para encontrar ofertas de trabajo para profesores en teoría de CS? ¿Hay algún sitio web o lista de correo en particular que sea bastante completo? Actualmente tengo la impresión de que uno tiene que usar una variedad de recursos para obtener una lista completa y …

19 soft-question  career