¿La existencia de problemas indecidibles implica inmediatamente la no previsibilidad de los sistemas físicos? Consideremos el problema de detención, primero construimos un UTM físico, digamos usando la construcción basada en circuito habitual. Entonces no puede haber una teoría física decidible que...
¿Hay alguna manera de calcular el tamaño de una coincidencia máxima en un gráfico bipartito no ponderado de manera más eficiente (por ejemplo, más rápido) que calcular una coincidencia máxima? Es una posibilidad remota, pero a menudo es un problema interesante para evitar cálculos desechables...
Actualmente estoy asistiendo al curso de programación concurrente en mi universidad y recientemente comenzamos a hablar sobre el concepto de monitor. Si bien entiendo la necesidad de la exclusión mutua, no entiendo por qué usaría un monitor para eso. Según tengo entendido, un monitor garantiza que...
Cerrada . Esta pregunta está basada en la opinión . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda ser respondida con hechos y citas editando esta publicación . Cerrado hace 4 años . Soy un...
Complexity Zoo define como la clase de problemas de decisión que puede resolver una máquina de Turing determinista en tiempo lineal.LINLINLIN LIN⊆PLIN⊆PLIN \subseteq P Dado que HORN-SAT se puede resolver en (como se indica en los algoritmos de tiempo lineal para probar la satisfabilidad de las...
Me he preguntado por qué las cintas / cintas no son parte de la definición formal de una máquina de Turing. Considere, por ejemplo, la definición formal de una máquina de Turing en la página de Wikipedia . La definición, siguiendo a Hopcroft y Ullman, incluye: el conjunto finito de estados , el...
Estoy tratando de tener una idea general de la importancia del punto menos fijo (lfp) en el análisis del programa. Por ejemplo, la interpretación abstracta parece utilizar la existencia de lfp. Muchos trabajos de investigación sobre análisis de programas también se centran principalmente en...
En problemas de satisfacción de restricciones, la heurística se puede utilizar para mejorar el rendimiento de un solucionador de bactracking. Tres heurísticas comúnmente dadas para los solucionadores de retroceso simples son: Valores restantes mínimos (cuántos valores siguen siendo válidos para...
Básicamente, el problema es: para un conjunto de números positivos, encuentre un número mínimo que no sea un divisor de ningún elemento de , es decir, .d S ∀ x ∈ S , d ∤ xSSSdddSSS∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x Denote n=|S|n=|S|n = |S|y C=max(S)C=max(S)C = \max(S) . Considere la...
La ronda de prueba de Google Hash Code 2015 ( enunciado del problema ) preguntó sobre el siguiente problema: entrada: una cuadrícula con algunos cuadrados marcados, un umbral , un área máximaT ∈ N A ∈ NMETROMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} salida: la mayor área total posible de un...
Al tratar de comprender las relaciones entre la codificación Huffman, la codificación aritmética y la codificación por rango, comencé a pensar en las deficiencias de la codificación Huffman en relación con el problema del empaquetado de bits fraccional . Es decir, suponga que tiene 240 valores...
Dado un subconjunto de un producto cartesiano de dos conjuntos finitos, deseo encontrar una cobertura mínima de él por conjuntos que son productos cartesianos.I×JI×JI \times J Por ejemplo, dado un producto entre y , puedo observar el subconjunto e intente cubrirlo con un número mínimo de productos...
El algoritmo de Shor a menudo se usa como argumento. Puede resolver el problema de factorización más rápido que cualquier algoritmo conocido para computadoras clásicas. Sin embargo, no tenemos pruebas de que las computadoras clásicas no puedan factorizar enteros de manera eficiente. ¿Existe alguna...
Quiero expresar la siguiente restricción, en un programa lineal entero: y={01if x=0if x≠0.y={0if x=01if x≠0.y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} Ya tengo las variables enteras y me prometieron que . ¿Cómo puedo expresar la restricción anterior, en una forma...
Una respuesta sobre Programmers.SE caracteriza un ensayo de Cook (Los objetos no son ADT ) como diciendo Los objetos se comportan como una función característica sobre los valores de un tipo, más que como un álgebra. Los objetos usan abstracción de procedimiento en lugar de abstracción de...
Actualmente estoy leyendo la introducción a los algoritmos y encontré el algoritmo de Johnson que depende de asegurarse de que todas las rutas sean positivas. el algo depende de encontrar una nueva función de peso (w ') que sea positiva para todos los bordes y mantenga la corrección de las...
Me cuesta entender el propósito de la cuantificación universal y existencial de los tipos. Estoy jugando con un lenguaje de juguete basado en el cálculo de las construcciones . He estado leyendo sobre Morte y Henk para ayudarme a comprenderlo mejor. No entiendo por qué el CoC tiene abstracción...
Como proyecto divertido, he estado trabajando en una implementación en C # de Richard Korf's: Encontrar soluciones óptimas para el cubo de Rubik usando bases de datos de patrones. https://www.cs.princeton.edu/courses/archive/fall06/cos402/papers/korfrubik.pdf De hecho, lo tengo funcionando, solo...
El título lo dice todo, pero tengo curiosidad porque no es obvio cómo un probador de teoremas llegó a llamarse 'Isabelle'. ¿Fue nombrado por una persona? No pude averiguar por algunas búsquedas de
¿Hay una manera fácil de ver por qué NP está en EXPTIME? Me parece a priori concebible que podría haber un problema que requiera un tiempo súper exponencial para resolver, pero cuya solución podría verificarse en tiempo