Ciencias de la Computación

15
Complejidad de prueba de una prueba o prueba de P = NP

¿Ha habido alguna investigación sobre la complejidad de la prueba de una resolución al problema P = NP? Si no es así, dada la falta de progreso en el problema, ¿no sería razonable conjeturar que cualquier prueba que resuelva el problema P = NP requerirá un número súper polinómico de...

15
Rejilla cubierta por rectángulos

Tenemos una cuadrícula . Tenemos una colección de rectángulos en esta rejilla, cada rectángulo se puede representar como un -by- binario matriz . Queremos cubrir la cuadrícula con esos rectángulos.N 1 N 2 RN1×N2N1×N2N_1 \times N_2N1N1N_1N2N2N_2RRR ¿La versión de decisión de este conjunto cubre el...

15
Cardinalidad del conjunto de algoritmos.

Alguien en una discusión mencionó que (él cree) que puede haber al menos un número continuo de estrategias para abordar un problema específico. El problema específico eran las estrategias comerciales (no los algoritmos sino las estrategias), pero creo que eso no viene al caso en mi pregunta. Esto...

14
¿Qué sale mal con las sumas de términos de Landau?

escribí ∑i=1n1i=∑i=1nO(1)=O(n)∑i=1n1i=∑i=1nO(1)=O(n)\qquad \displaystyle \sum\limits_{i=1}^n \frac{1}{i} = \sum\limits_{i=1}^n \cal{O}(1) = \cal{O}(n) Pero mi amigo dice que esto está mal. De la hoja de trucos de TCS sé que la suma también se llama que tiene un crecimiento logarítmico en n ....