Ciencias de la Computación

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



4
Estructura de datos para la intersección de conjuntos?
¿Existe alguna estructura de datos que mantenga una colección de conjuntos (de conjuntos finitos) que respalde las siguientes operaciones? ¿Se apreciará algún tiempo de ejecución sublineal? Inicia un conjunto vacío. Agregar un elemento a un conjunto. Dado dos conjuntos, informe si se cruzan.



3
¿Cómo formular un problema computacional rigurosamente?
A menudo interactúo con personas que desean solicitar un algoritmo para un problema computacional (o su complejidad), pero no lo expresan de manera rigurosa para que nosotros (los científicos informáticos) lo comprendamos. Remitirlos a libros como CLRS no es útil porque los ejemplos allí generalmente tienen una forma bastante directa …



2
Obteniendo un ciclo negativo usando Bellman Ford
Tengo que encontrar un ciclo negativo en un gráfico ponderado dirigido. Sé cómo funciona el algoritmo Bellman Ford, y que me dice si hay un ciclo negativo alcanzable. Pero no lo nombra explícitamente. ¿Cómo puedo obtener la ruta real del ciclo?v1,v2,…vk,v1v1,v2,…vk,v1v1, v2, \ldots vk, v1 Después de aplicar el algoritmo …


1
¿Cómo escribo una prueba usando inducción en la longitud de la cadena de entrada?
En mi curso de teoría de la computación, muchos de nuestros problemas implican el uso de la inducción en la longitud de la cadena de entrada para probar declaraciones sobre autómatas finitos. Entiendo la inducción matemática, sin embargo, cuando las cuerdas entran en juego, me tropiezo de verdad. Realmente agradecería …

1
¿Estructuras de datos de árbol concurrentes de tiempo de actualización constante y sin bloqueo?
Últimamente he estado leyendo un poco de literatura y he encontrado algunas estructuras de datos bastante interesantes. He investigado varios métodos diferentes para reducir el tiempo de actualización a peor tiempo de actualización [1-7].O ( 1 )O(1)\mathcal{O}(1) Recientemente comencé a buscar estructuras de datos sin bloqueo para admitir el acceso …


1
Clasificación de variantes del problema de satisfacción intratable / tratable
Recientemente encontré en un artículo [1] una versión simétrica especial de SAT llamada 2/2/4-SAT . Pero hay muchas variantes completas de , por ejemplo: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...notario públicoNP\text{NP} Algunas otras variantes son manejables: - SAT , Planar-NAE- SAT , ...222SABSAT\text{SAT}SABSAT\text{SAT} ¿Existen documentos de encuesta (o páginas …


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.