Ciencias de la Computación

Preguntas y respuestas para estudiantes, investigadores y profesionales de la informática.

1
Turing reconocible => enumerable
Recibo la prueba de pasar de un enumerador a una máquina de Turing (sigo ejecutando el enumerador y ver si coincide con la entrada) pero no veo cómo funciona la otra manera. Según mis notas y el libro (Introducción a la teoría de la computación - Sipser), para obtener el …
1
¿Cómo demostrar que una versión restringida de 3SAT en la que no puede aparecer un literal más de una vez es solucionable en tiempo polinómico?
Estoy tratando de resolver una tarea (tomada del libro Algorithms - de S. Dasgupta, CH Papadimitriou y UV Vazirani , Capítulo 8, problema 8.6a), y estoy parafraseando lo que dice: Dado que 3SAT permanece NP-completo incluso cuando se restringe a fórmulas en las que cada literal aparece como máximo dos …
3
Sumas de términos Landau revisitados
Hice una pregunta (semilla) sobre sumas de términos de Landau antes , tratando de evaluar los peligros del abuso de la notación asintótica en aritmética, con un éxito mixto. Ahora, aquí nuestro gurú de la recurrencia JeffE hace esencialmente esto: ∑i = 1norteΘ ( 1yo) =Θ( Hnorte)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) …
4
¿Existe un lenguaje finito indecidible de palabras finitas?
¿Es necesario que sea infinito para ser indecidible?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Quiero decir, ¿qué sucede si elegimos un idioma? será una versión limitada finita de , es decir , ( ), con . ¿Es posible que sea ​​un lenguaje indecidible? L′L′L' L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^*|L′|≤N|L′|≤N|L'|\leq NN∈NN∈NN \in \mathbb{N}L′⊂LL′⊂LL' \subset LL′L′L' Veo que hay un …
2
NP-Completitud de un problema de coloración gráfica
Formulación Alternativa Se me ocurrió una formulación alternativa para el siguiente problema. La formulación alternativa es en realidad un caso especial del problema a continuación y utiliza gráficos bipartitos para describir el problema. Sin embargo, creo que la formulación alternativa sigue siendo NP-hard. La formulación alternativa utiliza un conjunto disjunto …
2
¿Cómo clasifico mi problema de optimización de entrada del emulador y con qué algoritmo debería abordarlo?
Debido a la naturaleza de la pregunta, tengo que incluir mucha información de fondo (porque mi pregunta es: ¿cómo puedo reducir esto?) Dicho esto, se puede resumir (según mi leal saber y entender) como: ¿Qué métodos existen para encontrar óptimos locales en espacios de búsqueda combinatoria extremadamente grandes? Antecedentes En …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.