Preguntas etiquetadas con ds.algorithms

Estoy buscando referencias sobre la complejidad del problema de equilibrio de la fórmula booleana . En particular, ¿Se sabía que las fórmulas booleanas se pueden equilibrar en ?AC0AC0\mathsf{AC^0} ¿Hay alguna prueba simple de que el equilibrio de la fórmula booleana esté en ?AC0AC0\mathsf{AC^0} Por "simple" me refiero a una prueba …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Sé que Gaussian Elimination toma operaciones aritméticas , pero no estoy seguro de si se conocen algoritmos mejores.O ( n3)O(norte3)O(n^3)

10 ds.algorithms  linear-algebra  matrices 

Parece que hay muchos algoritmos aleatorios para las pruebas de identidad polinomiales, que verifican si un polinomio dado es cero o no. ¿Hay algún resultado de algoritmos que hagan algún tipo de estimación de polinomios sobre un conjunto específico de puntos? Esto podría ser, por ejemplo, aproximar para qué fracción …

10 ds.algorithms  approximation-algorithms  randomized-algorithms  derandomization  polynomials 

Fijar . Para cualquier suficientemente grande , nos gustaría etiquetar todos los subconjuntos de de tamaño exactamente por enteros positivos de . Nos gustaría que este etiquetado satisfaga la siguiente propiedad: hay un conjunto de enteros, stn { 1 .. n } n / k { 1 ... T } …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

Deje . Necesito generar gráficos simples G de circunferencia g de modo que el conjunto de todos los g- ciclos forme una cubierta de doble borde de G (es decir, cada borde es compartido por exactamente dos g- ciclos), y tal que la intersección de dos g -cycles es un …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

Las representaciones más simples para gráficos utilizan matrices / listas de adyacencia, lo que significa que cada nodo y borde se representa explícitamente. La importancia de las representaciones implícitas para gráficos que exhiben fuertes regularidades ha sido reconocida desde hace mucho tiempo. Por ejemplo, Galperin y Wigderson (1983), Papadimitriou y …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

Deje ser un gráfico no dirigido. Una descomposición de V en subconjuntos disjuntos V i se llama descomposición de Hamilton de G si el subgrafo inducido por cada conjunto V i es un gráfico de Hamilton o consiste en un solo borde con | V i | = 2 .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Sé que para un gráfico bipartito no ponderado, puedo encontrar la cobertura de vértice mínima al encontrar primero la coincidencia máxima y convertirla en una cubierta de vértice usando el Teorema de König. ¿Hay alguna modificación que se pueda usar si los nodos están ponderados?

10 ds.algorithms  graph-theory 

Estoy tratando de usar árboles de sufijos para comparar secuencias de cadenas. He encontrado implementaciones / teoría para el problema de subcadena común más largo usando árboles de sufijos. Sin embargo, lo que estoy buscando es una discusión del problema relacionado: "todas las subcadenas comunes". Específicamente, tengo un problema en …

10 ds.algorithms  string-matching 

En el documento Sobre dos problemas de la teoría de la información , Erdõs y Rényi dan límites inferiores sobre el número mínimo de pesadas que uno debe hacer para determinar el número de monedas falsas en un conjunto de monedas.nortenorten Más formalmente: Las monedas falsas tienen un peso menor …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

Para un grafo no dirigido y un conjunto dado S de vértices, lo que es el algoritmo asintóticamente más rápida conocida para encontrar un camino simple que contiene todos los elementos de S . ¿Qué pasa si requerimos que el camino sea lo más corto posible?solGGSSSSSS

10 ds.algorithms  graph-algorithms  time-complexity 

Supongamos que consideramos 3-SAT con vvv variables y cláusulas . Estoy investigando un método que parece tomar tiempo / espacio para resolver cualquier problema SAT que se ajuste a esta descripción, dentro de un error que se puede ajustar a una cantidad arbitraria. Sin embargo, hay una trampa.O ( v …

10 ds.algorithms  sat  upper-bounds 

Dado un gráfico plano no ponderado y una colección de pares de vértices ( es una constante), encuentre caminos de vértice-disjuntos (excepto fuente) de a tales que la longitud del camino más largo se minimiza.( s , t1) , … , ( S , tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k s t ik ≥ 2k≥2k\ge2kkkssstyotit_i …

10 ds.algorithms  graph-algorithms 

Me gustaría saber si el siguiente problema simple se ha estudiado antes y si se conoce alguna solución. Sea G una cuadrícula finita (MxN), S un subconjunto de celdas de G (las "migajas"). Se dice que dos migajas están conectadas (localmente) si sus coordenadas difieren en un máximo (es decir, …

10 ds.algorithms  graph-theory  graph-algorithms 

¿Existe un algoritmo de tiempo polinómico para encontrar, si existe, una araña de expansión de un gráfico dado ? Una araña es un árbol con a lo sumo un nodo con un grado mayor que 2: sé que varias condiciones de grado en G (esencialmente, grados de nodo suficientemente grandes) …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms