Ciencias de la computación teórica

Leí aquí que hay familias de funciones que necesitan nodos en la red neuronal con como máximo capas para representar la función, mientras que solo necesitan si el neural la red tiene al menos capas. Se refería a un artículo de Hastad. No lo encontré. ¿Alguien podría decirme el título …

8 cc.complexity-theory  reference-request 

Tenemos un programa semidefinido (SDP) cuya región factible contiene solo un número finito de matrices de rango . ¿Podemos concluir que la región factible de este SDP es poliédrica?111 Creemos que esto es cierto ya que la porción 'circular' del cono de matrices semidefinidas se debe a las matrices extremas …

8 convex-optimization  semidefinite-programming  polytope 

Para mostrar la dureza NP de un problema, uno necesita elegir un problema NP-duro conocido y encontrar una reducción polinómica del problema conocido a su problema en cuestión. Teóricamente, cualquier problema NP-duro puede usarse para la reducción, pero en la práctica, algunos de los problemas se reducen más fácilmente que …

8 np-hardness  reductions 

Esta pregunta se publicó en CS.SE hace dos semanas , pero no obtuvo una respuesta satisfactoria. Supongamos que tienes el siguiente juego: Hay infinitos contadores , todos inicializados en 0.{c1,c2,…}{c1,c2,…}\{c_1,c_2,\ldots\} En cada paso, elige un contador y aumenta su valor en 1.cicic_i Desafortunadamente, cada pasos, cada contador que tiene un …

8 ds.algorithms  board-games 

Existen varios algoritmos de aproximación de 2 para el problema de conjunto de vértices de retroalimentación SIN PESAR (FVS), que se resumen en [4]. Tenga en cuenta que la reducción de la cubierta de vértices a FVS es la preservación de aproximación. Suponiendo una conjetura de juego única, no podemos …

8 reference-request  graph-algorithms  approximation-algorithms 

He tenido muchas dificultades para encontrar una referencia que ofrezca una explicación simple y directa de lo siguiente: Supongamos que tenemos variables aleatorias , cada una de bits de longitud. (Es decir, con valores en ). Queremos un espacio de probabilidad donde cada sea ​​imparcial (toma cada valor con probabilidad …

8 pr.probability  limited-independence 

Definición: Una " cadena " es un gráfico múltiple obtenido a partir de una ruta de longitud al duplicar cada borde.kkkkkk Tenga en cuenta que el número de rutas entre dos puntos finales de una cadena eskkk2k.2k.2^k. Pregunta: Sea un gráfico simple en n nodos y sea y dos nodos …

8 graph-theory  graph-algorithms  graph-minor 

Problema: Considere un número finito de estados de control (incluyendo un estado "inicial" y un estado "malo"), un número finito de variables enteras y para cada par ordenado de estados una relación de transición expresada en aritmética de Presburger. Decida si existe una invariante inductiva (= estable por los estados …

8 lo.logic  pl.programming-languages  decidability 

El problema del subgrafo conectado de peso máximo es el siguiente: Entrada: un gráfico y un peso (posiblemente negativo) para cada vértice .G=(V,E)G=(V,E)G=(V,E)wiwiw_ii∈Vi∈Vi \in V Salida: un subconjunto de pesos máximos de vértices tal que está conectado.SSSG[S]G[S]G[S] Este problema es NP-hard. David S. Johnson menciona en la pág. 149 de …

8 reference-request  np-hardness  reductions  planar-graphs 

La complejidad del espacio monótono de un lenguaje se puede definir en términos de redes de conmutación monótonas (véase, por ejemplo, "Límites inferiores a mayúsculas y minúsculas para redes de conmutación monótonas" de Filmus et al.). Esta noción está vinculada a la jerarquía monótona N C y puede tener aplicaciones …

8 circuit-complexity 

Relacionado con una pregunta reciente ( Límites en el tamaño del NFA más pequeño para L_k-distinct ) Noam Nisan solicitó un método para proporcionar un límite inferior mejor para el tamaño de un NFA que el que obtenemos de los límites de complejidad de la comunicación. Lo que sigue es …

8 fl.formal-languages  automata-theory  lower-bounds  communication-complexity  nfa 

El número c-cromático se define en el papel Particiones de gráficos en cografías . Pide el número mínimo de colores utilizados para colorear los vértices, de modo que cada clase de color sea un cograma . Cograph es un gráfico libre de P4 , es decir, no hay una ruta …

8 graph-theory  approximation-algorithms  graph-colouring 

Según BGS teorema [1], no es un oráculo de tal manera que .P A ≠ N P AUNAUNAAPAGSUNA≠ NPAGSUNAPAGSUNA≠nortePAGSUNAP^A\neq NP^A Si la operación de relativización fuera una función bien definida, uno esperaría que de se pudiera concluir que , por ejemplo, seguiría de BGS. Sin embargo, todavía está abierto.B A …

8 cc.complexity-theory  oracles  relativization 

Supongo que si es un gráfico simple sin triángulos, entonces hay un conjunto de a lo sumo bordes cuya eliminación destruye cada ciclo impar.n 2 / 25solG G norte2/ 25n2/25 n^2/25 Para obtener más información, consulte el artículo de 1988 de Erdös et al., Cómo hacer un gráfico bipartito . …

8 graph-theory 

¿Existe un problema gráfico de -completo natural , que sigue siendo N P -completo incluso cuando está restringido a cualquier clase de gráfico reconocible en tiempo polinómico? Para evitar casos degenerados, consideremos solo clases de gráficos densos , en los que el número de gráficos no isomórficos ≤ n- vértice …

8 cc.complexity-theory  graph-theory  graph-algorithms  np-complete  graph-classes