Estoy trabajando para intentar dividir un gráfico triangulado en subgrafías conectadas con algunas garantías sobre el número de bordes entre particiones. Aquí hay un ejemplo de un gráfico triangulado que se ha dividido en 4 "grupos": Lo que quería originalmente era un algoritmo que pudiera crear...
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 inducida de longitud 3. El...
Recientemente ha habido algunos resultados nuevos en el estudio experimental basado en computadora del Problema de Discrepancia de Erdos (EDP) (a través de solucionadores SAT, citados a continuación). Este problema ha sido citado y estudiado por varios investigadores de (T) CS. Sin embargo, los...
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 . Pregunta...
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á...
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...
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...
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...
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 una versión...
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 de Suponga que el...
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...
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 (=...
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...
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 del artículo?...
Si N PnortePAGS\mathsf{NP} contiene una clase de problemas de tiempo superpolinomial, es decir para alguna función t ∈ nω ( 1 )t∈norteω(1)t \in n^{\omega(1)} , ,D T I M E ( t ) ⊆ N PreTyoMETROmi(t)⊆nortePAGS\mathsf{DTIME}(t) \subseteq \mathsf{NP} entonces, si se sigue del teorema de la...
Para una clase de permutaciones, no podemos esperar clasificar las permutaciones de C con menos de O ( log | C n | ) comparaciones, donde por convención C n : = C ∩ S n .CC\mathcal{C}CC\mathcal{C}O ( logEl | CnorteEl | )O(log|Cn|)O(\log |\mathcal{C}_n|)Cnorte: = C∩ SnorteCn:=C∩Sn\mathcal{C}_n :=...
Para , deje que sea el conjunto de vértices del cubo dimensional escalado en la dirección de la coordenada por , es decir, .d⃗ ∈Nnd→∈Nn\vec{d} \in \mathbb{N}^nQ(d⃗ )⊂NnQ(d→)⊂NnQ(\vec{d}) \subset \mathbb{N}^nnnniiididid_iQ(d⃗ ={⟨±d1,…,±dn⟩}Q(d→={⟨±d1,…,±dn⟩}Q(\vec{d} = \{\langle \pm d_1, \ldots,...
Usando homología persistente, podemos analizar la forma (topológica) de una nube de puntos usando el siguiente método de tres pasos: convertir el conjunto de puntos en un complejo simplicial (y hay algunas formas diferentes de hacerlo) parametrizado por un parámetro de "ruido" Calcule los grupos...
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...
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...