Ciencias de la computación teórica

Está bien establecido que por cada matroid METROMM y cualquier función peso www , no sale de un algoritmo GreedyBasis (M, W )GreedyBasis(M,w)\mbox{GreedyBasis}(M,w) que devuelve una base de peso máximo de METROMM . Entonces, ¿la dirección inversa también es verdadera? Es decir, si hay algún algoritmo codicioso, entonces también debe …

13 ds.algorithms  greedy-algorithms 

Suponga P NP.≠≠\ne El teorema de Ladner dice que hay problemas NP intermedios (problemas en NP que no están en P ni en NP-Complete). Encontré algunas referencias veladas en línea que sugieren (creo) que hay muchos "niveles" de lenguajes mutuamente reducibles dentro de NPI que definitivamente no todos colapsan en …

13 cc.complexity-theory  np  np-intermediate 

Según tengo entendido, una prueba de que P = NP o P ≠ NP debería ser no relativizable (como en los oráculos de la teoría de la recursión). Sin embargo, prácticamente todas las pruebas parecen ser relativizables. ¿Cuáles son buenos ejemplos de pruebas no relativizables, del tipo que una prueba …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

Dado un gráfico cíclico dirigido donde el peso de cada borde puede ser negativo, el concepto de "camino más corto" solo tiene sentido si no hay ciclos negativos, y en ese caso puede aplicar el algoritmo Bellman-Ford. Sin embargo, estoy interesado en encontrar el camino más corto entre dos vértices …

13 ds.algorithms  graph-algorithms  shortest-path 

La página "Esquema avanzado: algunos bits traviesos" dice: Las continuaciones son una construcción poderosa de flujo de control de la cual se puede derivar casi cualquier otra estructura de flujo de control. ¿Pensé que Scheme call/cc, al estar relacionado (*) con el operador J de Peter Landin, podría usarse para …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics 

Mientras enseñaba cómo implementar FSMs utilizando circuitos lógicos sincrónicos, noté una coincidencia intrigante: tanto en el mundo teórico de CS como en el mundo de la ingeniería eléctrica, el "estado" se denota típicamente (y el espacio de estado ). Primero pregunté sobre EESX , pero luego, mientras investigaba un poco …

13 automata-theory  ho.history-overview 

Digamos que tenemos una representación vectorial de cualquier número entero de magnitud n, V_n Este vector es la entrada a un algoritmo de aprendizaje automático. Primera pregunta: ¿Para qué tipo de representaciones es posible aprender la primalidad / composición de n usando una red neuronal o algún otro mapeo ML …

13 co.combinatorics  machine-learning  primes 

¿Se sabe si el problema del conjunto de vértices de retroalimentación en gráficos planos no dirigidos de grado acotado es -hard?NPNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness 

Estoy buscando una referencia (no una prueba que pueda hacer) a la siguiente extensión de Chernoff. Dejar que serán variables aleatorias booleanas, no necesariamente independientes . En cambio, se garantiza que P r ( X i = 1 | C ) < p para cada i y cada evento C …

13 reference-request  pr.probability  chernoff-bound 

La clase de complejidad PPAD generalmente se define al indicar que Fin de línea está completa con PPAD. El fin de la línea es un problema de búsqueda. La entrada consiste en un gráfico dirigido en el que cada nodo tiene un grado de entrada y salida como máximo 1. …

13 cc.complexity-theory  complexity-classes  ppad 

Considere el siguiente juego en un gráfico ponderado dirigido con una ficha en algún nodo.GGG Todos los nodos de están marcados por A o B.GGG Hay dos jugadores, Alice y Bob. El objetivo de Alice (Bob) es cambiar el chip a un nodo marcado por A (B). Inicialmente, Alice y …

13 cc.complexity-theory  complexity-classes  gt.game-theory 

Suponga que uno tiene un algoritmo aleatorio (BPP) usa bits de aleatoriedad. Las formas naturales de amplificar su probabilidad de éxito a , para cualquier elegido , sonAAArrr1−δ1−δ1-\deltaδ>0δ>0\delta>0 Ejecuciones independientes + voto mayoritario: ejecute independientemente veces, y obtenga el voto mayoritario de los resultados. Esto requiere bits de aleatoriedad, y …

12 reference-request  randomness  pseudorandomness  expanders 

Deje que sea ​​un ciclo con cuatro vértices. Para un gráfico arbitrario con vértices y m aristas digamos , ¿cuántos existen? ¿Hay un límite inferior para esto?C4C4C_4GGGnnnm>nn−−√m>nnm>n\sqrt nC4C4C_4

12 graph-theory  graph-minor 

Soy un estudiante graduado de tercer año en una universidad "top 20" que trabaja en la complejidad fina (mucho jugando con 3-SUM, OV y las conjeturas de dureza populares habituales). He sido bastante productivo durante el último año más o menos y tengo 3 documentos aceptados y dos presentados. Todo …

12 soft-question 

Considere una función calculada por un circuito booleano C con n entradas de tamaño s ( n ) = p o l y ( n ) sobre la base { X O R , A N D , N O T } (con grado 2 para la X O R …

12 circuit-complexity  circuits