Ciencias de la computación teórica

Esta es una extensión del problema clásico de la secretaria . En el juego de contratación, tienes un conjunto de candidatos , y la habilidad de cada trabajador.C={c1,…,cN}C={c1,…,cN}\mathcal C=\{c_1,\ldots,c_N\} Wlog, asumimos que es el más experto, seguido de , etc.c1c1c_1c2c2c_2 El orden en el que se entrevista a los candidatos …

9 ds.algorithms  gt.game-theory 

Un gráfico coloreado se puede describir como tupla donde es un gráfico y es el color. Se dice que dos gráficos coloreados y son isomórficos si existe un isomorfismo modo que se obedece el color, es decir, para todos .G c : V ( G ) → N ( G …

9 terminology  graph-isomorphism  equivalence 

Estoy interesado en una variante de la coincidencia de peso máximo en un gráfico, que llamo "Coincidencia justa máxima". Suponga que la gráfica es completo (es decir, E=V×VE=V×VE=V\times V ), tiene número par de vértices, y que el peso está dada por una función de utilidad p:(V2)→Np:(V2)→Np:{V\choose 2}\to \mathbb N …

9 ds.algorithms  graph-algorithms  np-hardness  matching  bipartite-graphs 

Sea una función a la que nos referimos como la función de similitud . Ejemplos de función de similitud son la distancia del coseno, la norma , la distancia de Hamming, la similitud de Jaccard, etc.d:{0,1}k×{0,1}k→Rd:{0,1}k×{0,1}k→Rd:\{0,1\}^k\times \{0,1\}^k \to \mathbb{R}l2l2l_2 Considere vectores binarios de longitud : .nnnkkkv⃗ ∈({0,1}k)nv→∈({0,1}k)n\vec{v} \in (\{0,1\}^k)^n Nuestro …

9 ds.algorithms  graph-algorithms  clustering 

¿Cuál es el algoritmo de isomorfismo gráfico no dirigido más rápido conocido?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

¿Qué se sabe sobre la complejidad de resolver un sistema de ecuaciones lineales sobre un campo finito? Sé que existe un algoritmo (Gauss) que calcula una solución y que para sistemas dispersos hay algoritmos aún mejores. Sin embargo, me preguntaba si había alguna caracterización teórica de la complejidad de este …

9 cc.complexity-theory  linear-equations 

Sea un polinomio dado por un circuito aritmético C de tamaño s . Dado C como entrada, ¿existe un algoritmo determinista para verificar si todos los factores irreducibles de f en Q [ x 1 , x 2 , ... , x n ] son formas lineales? En una nota …

9 ds.algorithms  algebraic-complexity  arithmetic-circuits 

Pido disculpas, esta es una pregunta un poco "blanda". La teoría de la información no tiene un concepto de complejidad computacional. Por ejemplo, una instancia de SAT, o una instancia de SAT más un bit que indica la satisfacción lleva la misma cantidad de información. ¿Hay alguna forma de formalizar …

9 cc.complexity-theory  it.information-theory  polynomial-time 

Digamos que tenemos una función booleana y aplicamos restricción aleatoria δ en f . Además, supongamos que el árbol de decisión T que calcula f se reduce al tamaño O ( 1 ) como resultado de la restricción aleatoria. ¿Esto implica que f tiene una influencia total muy baja?F: { …

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

¿Cuál es el mejor resultado para el número de puertas en un circuito que multiplica dos enteros de n bits? El método obvio genera puertas . Hay mejores enfoques con puertas y .θ ( n2)θ(norte2)\theta(n^2)θ ( n logn logIniciar sesiónn )θ(norteIniciar sesión⁡norteIniciar sesión⁡Iniciar sesión⁡norte)\theta(n\log n \log\log n)θ ( n logn …

9 cc.complexity-theory  circuit-complexity 

Quiero dividir un conjunto de puntos en dos subconjuntos de igual tamaño de modo que se minimice la suma de cuadrados dentro del grupo. Podemos suponer que los puntos están en un espacio euclidiano bidimensional. Espero algo más rápido que un algoritmo general de agrupación k-means dado que k = …

9 ds.algorithms  approximation-algorithms  clustering 

¿Cuál es la proporción de CFG ambiguos a todos los CFG ? Como ambos conjuntos son infinitamente contables, la relación no está bien definida. Pero qué pasa con la densidad asintótica : limn↦∞# ambiguous CFG of size<n# CFG of size<nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto \infty}\frac {\# …

9 fl.formal-languages  grammars  context-free 

Los sistemas tipificados más dependientes tienen unas condiciones de positividad estrictas para los tipos inductivos. ¿Alguien sabe un ejemplo donde la violación de la condición conduce a la inconsistencia en el sistema?

9 lo.logic  type-theory  dependent-type 

Un homomorfismo de un gráfico a un gráfico G ′ = ( V ′ , E ′ ) es un mapeo f de V a V ′ tal que si x e y son adyacentes en E entonces f ( x ) y f ( y ) son adyacentes en …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

¿Cuáles son algunas de las mejores fuentes (libros y documentos) para motivar y aprender la complejidad de la comunicación por sí misma y en relación con su relación con la teoría de la complejidad computacional?

9 cc.complexity-theory  reference-request  communication-complexity  books