Obviamente, no hay nada malo con tu paso de poda. Entonces, permítanme concentrarme en el Paso 3 de su algoritmo, la parte donde hacen la tarea codiciosa. Aquí hay algunos agujeros en el algoritmo que aún quedan por responder:
a) En el Paso 3- (ii): una instancia de 2-SAT puede tener más de 1 asignación satisfactoria. ¿Cuál de estas tareas va a elegir su codiciosa solución? Es muy posible que la instancia de 3-SAT dada se satisfaga exactamente por una de las muchas [matemáticas] 2 ^ {no. \; De \; variables \; en \; 2SAT \; instancia} [/ math] número de posibles asignaciones
b) Suponga que [math] x_1 [/ math] es la variable que elige eliminar primero de la cola de prioridad. Es posible que ambos:
i) Configuración [matemática] x_1 [/ matemática] = verdadero (y)
ii) Configuración [matemática] x_1 [/ matemática] = falso
producen subproblemas (instancias 2-SAT) que son satisfactorias. En este caso, ¿cómo se convence de que ‘Verdadero’ es la asignación correcta para [matemáticas] x_1 [/ matemáticas] y no falso?
- ¿Qué temas (en matemáticas y TCS) debe sobresalir un estudiante de matemáticas para seguir la teoría de la complejidad computacional?
- ¿Cómo han afectado los métodos numéricos y la potencia informática en bruto a las matemáticas puras y la física teórica?
- ¿Por qué las matemáticas son importantes para la inteligencia artificial y el aprendizaje automático?
- Mi cerebro no procesa muy bien la resolución de problemas matemáticos. ¿La programación es para mí?
- Estoy en mi último año como estudiante de ciencias de la computación y me encanta resolver problemas. Siempre trato de resolver los problemas, pero no logro crear soluciones rápidamente. Quiero mejorar para construir una lógica clara. ¿Dónde me estoy equivocando o qué debo hacer?