Los algoritmos de aproximación pueden dar salida hasta algún factor constante. Esto es un poco menos satisfactorio que los algoritmos exactos. Sin embargo, los factores constantes se ignoran en la complejidad del tiempo. Entonces, me pregunto si el siguiente truco es posible o si fue utilizado,...
Según tengo entendido, en informática los tipos de datos no se basan en la teoría de conjuntos debido a cosas como la paradoja de Russell, pero como en los lenguajes de programación del mundo real no podemos expresar tipos de datos tan complejos como "conjunto que no se contiene a sí mismo",...
El siguiente ejercicio ha sido entregado a los estudiantes que superviso: Dados nnn puntos en el plano, diseñe un algoritmo que encuentre un par de puntos cuya distancia sea mínima entre todos los pares de puntos. El algoritmo debe ejecutarse en el tiempo o(n2)o(n2)o(n^2) . Existe un algoritmo...
Recientemente comencé mi curso de maestría. El semestre pasado tomé cursos de diferentes disciplinas como redes, ingeniería de software, arquitectura, etc. Recientemente, después de tomar un curso avanzado en algoritmos y estructuras de datos, creo que encontré un curso que me interesa más...
¿Cuál es la diferencia de llamar a -calculus un álgebra en lugar de un cálculo? Planteo esta pregunta porque leí en alguna parte la línea " -calculus no es un cálculo sino un álgebra" (iirc, atribuido a Dana Scott). ¿Cual es el punto?
EDITAR (por Tara B): Todavía estaría interesado en una referencia a una prueba de esto, ya que tuve que demostrarlo yo mismo para mi propio artículo. Estoy buscando la prueba del Teorema 4 que aparece en este documento: Una jerarquía infinita de intersecciones de lenguajes sin contexto por Liu y...
Trabajo en un laboratorio de neurociencia computacional que cuantifica la información mutua entre pares o grupos de neuronas. Recientemente, el jefe cambió su enfoque para medir la "complejidad de la dinámica neuronal". Al seguir esa línea de investigación, algunas personas en mi grupo parecen...
El problema de la partición de 3 cliques es el problema de determinar si los vértices de un gráfico, digamos , se pueden dividir en 3 camarillas. Este problema es NP-duro por una simple reducción del problema de 3 colorabilidad. No es difícil ver que la respuesta a este problema es fácil cuando...
Estoy familiarizado con el algoritmo de descenso de gradiente que puede encontrar el mínimo local (máximo) de una función determinada. ¿Hay alguna modificación del descenso de gradiente que permita encontrar el mínimo absoluto (máximo), donde la función tiene varios extremos locales? ¿Existen...
Estoy buscando una técnica general que pueda ayudarme a demostrar no solo que el autómata de Buchi es un modelo más expresivo que LTL, sino que la fórmula específica puede / no puede expresarse en LTL. Por ejemplo, " ocurre al menos en posiciones pares" puede describirse mediante los siguientes...
Dana Angluin ( 1987 ; pdf ) define un modelo de aprendizaje con consultas de membresía y consultas teóricas (contraejemplos de una función propuesta). Ella muestra que un lenguaje regular que está representado por un DFA mínimo de estados se puede aprender en tiempo polinómico (donde las funciones...
Deje una matriz real ( ) {\ bf A} con la propiedad de que cualquier colección de k columnas es de rango completo.k ≤ nk×nk×nk\times nk≤nk≤nk\le nAA{\bf A}kkk P: ¿Hay una manera eficiente de encontrar determinísticamente un vector aa{\bf a} modo que la matriz aumentada A′=[Aa]A′=[Aa]{\bf A}' =...
Estoy leyendo algoritmos cuánticos en papel de Harrow, Hassidim y Lloyd para sistemas lineales de ecuaciones . En la tercera página de ese documento, escriben A continuación, aplicamos la evolución condicional hamiltoniana on | Ψ 0 ⟩ C ⊗ | b ⟩ ...∑T- 1τ= 0El | τ⟩ ⟨ TauEl |C⊗ ei A τto/...
Un teorema directo del producto, informalmente, dice que calcular instancias de una función es más difícil que calcular una vez.kkkffffff Los teoremas típicos de productos directos (p. Ej., El Lema XOR de Yao) analizan la complejidad de los casos promedio y argumentan (muy a grandes rasgos) que no...
Dado un conjunto finito de puertas cuánticas , ¿es decidible (en sentido teórico de la computación) si es un conjunto de puerta universal? Por un lado, "casi todos" los conjuntos de compuertas son universales, por otro lado, los conjuntos de compuertas no universales aún no se comprenden bien (en...
Nos dan un matroid. Nuestro objetivo es encontrar un conjunto de elementos de tamaño mínimo que tenga una intersección no vacía con cada base del matroide. ¿El problema se estudió antes? ¿Está en P? Por ejemplo, en un árbol de expansión matroide, el conjunto de golpes mínimos debe ser un corte...
Se mostró en el documento "Programación de enteros con un número fijo de variables" que las programaciones de enteros con un número constante de restricciones (o variables) son polinomialmente solucionables. ¿Esto es válido para la programación
Respuesta: no conocida Muchas gracias a todos los que ayudaron a refinar esta pregunta y las definiciones asociadas. Las definiciones de esta wiki proporcionaron el punto de partida para la wiki TCS más reciente " ¿Contiene P lenguajes cuya existencia es independiente de PA o ZFC? (Wiki de la...
De acuerdo con el libro Topological Graph Theory de Gross y Tucker, dada una incrustación celular de un gráfico en una superficie (por 'superficie' me refiero aquí a una esfera con algunos asas, y debajo de refiere a la esfera con exactamente tiradores), se puede definir un multigrafo dual tratando...
NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Consideremos ahora las familias de circuitos con puertas de Oracle - por ejemplo, , donde es una clase de la complejidad del circuito que contiene logspace con acceso a Oracle a otra clase , a través de puertas de Oracle adjuntas a la base de . ¿Hay algún...