Cuando se informa la complejidad algorítmica de un algoritmo, se supone que los cálculos subyacentes se realizan en alguna máquina abstracta (por ejemplo, RAM) que se aproxima a una CPU moderna. Dichos modelos nos permiten informar la complejidad de algoritmos en el tiempo y el espacio. Ahora, con...
¿Cuál es la complejidad de MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} y MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? ¿Están en P? ¿Son NP-hard? Para formalizar esto más precisamente, dejemos Φ ( x ) = ∧norteyoCyo,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, donde x =(...
El problema posterior a la correspondencia (PCP) es indecidible. La versión limitada del PCP es -complete y la versión marcada del PCP (las palabras de una de las dos listas deben diferir en la primera letra) está en [1].N PnortePAG\mathrm{NP}P S P A C EPAGSPAGUNCmi\mathrm{PSPACE} ¿Se utilizan...
El problema de 3 particiones pregunta si un conjunto de 3n3n3n enteros se puede dividir en nnn conjuntos de tres enteros, de modo que cada conjunto sume un entero dado BBB. El problema de Partición equilibrada pregunta si 2n2n2n enteros se pueden dividir en dos conjuntos de cardinalidad iguales de...
La función de conteo primo , degradada , se define como el número de números primos menores o iguales que .π(x)π(x)\pi(x)xxx Podemos definir un problema de decisión desde siguiente manera:π(x)π(x)\pi(x) Dados dos números y , escritos en binario, decida si .xxxnnnπ(x)=nπ(x)=n\pi(x) = n Un...
Considere la siguiente versión del problema Clique donde la entrada es de tamaño se nos pide que encontremos una camarilla de tamaño . La restricción es que el procedimiento de decisión no puede cambiar el gráfico de entrada en ninguna otra representación y no puede usar ninguna otra representación...
La página del problema de isomorfismo gráfico de Wikipedia parece indicar que, no, no se ha resuelto. Sin embargo, un amigo mío señaló un Algoritmo de tiempo polinómico para el isomorfismo gráfico . No soy lo suficientemente sofisticado como para seguir el razonamiento en el documento. Tengo mi...
Hay bins, el i ésimo bin contiene un i bolas. Las bolas tienen n colores, hay una i bolas de color i . Sea m = ∑ n i = 1 a i .nortenortenyoyoiunyounyoa_inortenortenunyounyoa_iyoyoim = ∑nortei = 1unyometro=∑yo=1norteunyom=\sum_{i=1}^n a_i Un intercambio es tomar una pelota de un contenedor e...
Todavía estoy un poco confundido con los términos "longitud de entrada" y "tamaño de entrada" cuando se usan para analizar y describir el límite superior asintomático de un algoritmo Parece que la longitud de entrada para el algoritmo depende mucho del tipo de datos y del algoritmo del que está...
He hecho una pregunta similar sobre cstheory.SE . De acuerdo con esta respuesta en Stackoverflow, existe un algoritmo que en un lenguaje de programación funcional puro no perezoso tiene una complejidad , mientras que el mismo algoritmo en la programación imperativa es Ω ( n ) . Agregar pereza al...
Supongamos que hay una sesión de tutoría en una universidad. Tenemos un conjunto de kkk preguntas Q = { q 1 ... q k }Q={q1…qk}Q = \{ q_1 \ldots q_k \} y un conjunto de nnn estudiantes S = { s 1 ... s n }S={s1…sn}S = \{ s_1 \ldots s_n \} . Cada estudiante tiene una duda en un determinado...
Bruinier y Ono han encontrado una fórmula algebraica para la función de partición , que se informó ampliamente como un gran avance. No puedo entender el documento, pero ¿tiene alguna consecuencia algorítmica para el cálculo rápido de la función de
El conocido problema SAT se define aquí como referencia. El problema DOUBLE-SAT se define como DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least...
Vi en esta publicación en stackoverflow que hay algunos algoritmos relativamente rápidos para tamizar un intervalo de números para ver si hay un primo en ese intervalo. Sin embargo, ¿esto significa que el problema de decisión general de: (¿Existe una prima en un intervalo?) Está en P. (Hubo muchas...
Esta es mi primera publicación después de ser un usuario pasivo desde hace algún tiempo. Deseo hacer algunas preguntas si puedo. No soy matemático pero mi pregunta se relaciona con el campo de las matemáticas / informática. En particular, el problema P vs NP. Soy consciente de que este es un...
¿Hay algún algoritmo conocido para problemas formulados que requiera una complejidad ESPACIO de O (sqrt (N))? Sé que existen algoritmos con esa gran complejidad de
Por lo que leí en el preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Esta es la definición de PTAS : Un esquema de aproximación de tiempo polinomial ( PTAS ) para el...
Soy un poco nuevo, pero estoy muy interesado en el campo de la informática y la teoría de la complejidad, y quiero aclarar mi comprensión sobre cómo clasificar los problemas, y qué tan fuertemente se relacionan los problemas con la máquina que se está utilizando para resolverlos. Mi punto de...
Estaba jugando el otro día en este sitio web: http://regexcrossword.com/ y me pregunté cuál era la mejor manera de resolverlo. ¿Puedes resolver el siguiente problema en tiempo polinómico o es NP-hard? Dada una cuadrícula NxM con N expresiones regulares para las columnas y M para las filas,...
La literatura es bastante clara que las RAM de costo unitario con multiplicación primitiva no son razonables, ya que no puede ser simulado por máquinas de Turing en tiempo polinómico puede resolver problemas completos de PSPACE en tiempo polinómico Sin embargo, todas las referencias que puedo...