Ciencias de la Computación

Permítanme comenzar señalando que este es un problema de tarea, por favor brinden solo consejos y observaciones relacionadas, NO RESPUESTAS DIRECTAS por favor . Dicho esto, aquí está el problema que estoy viendo: Deje HALF-CLIQUE = { | es un gráfico no dirigido que tiene una subgrafía completa con al …

20 complexity-theory  np-complete  reductions 

Estoy aprendiendo la prueba de teorema automatizado / solucionadores SMT / asistentes de prueba por mi cuenta y publico una serie de preguntas sobre el proceso, comenzando aquí . ¿Cuáles son los probadores de teoremas automatizados relevantes? Encontré una revisión de los probadores de teoremas ¿Sigue siendo actual? ¿Cuáles están …

20 logic  automated-theorem-proving  proof-assistants 

WalkSAT y GSAT son algoritmos de búsqueda locales bien conocidos y simples para resolver el problema de satisfacción booleana. El pseudocódigo para el algoritmo GSAT se copia de la pregunta Implementación del algoritmo GSAT: ¿cómo seleccionar qué literal voltear? y presentado a continuación. procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula …

20 algorithms  data-structures  satisfiability 

Tengo una tarea en la que necesito hacer uso de un árbol de búsqueda binario y modificarlo para que se ordene a sí mismo de modo que los elementos a los que se accede más (tengan una prioridad más alta) estén en la parte superior del árbol, siendo la raíz …

20 algorithms  data-structures  binary-trees  search-trees 

Me gustaría escribir un programa simple que acepte un conjunto de ventanas (ancho + alto) y la resolución de la pantalla y genere una disposición de esas ventanas en la pantalla de modo que las ventanas ocupen más espacio. Por lo tanto, es posible cambiar el tamaño de una ventana, …

20 algorithms  computational-geometry  packing  user-interface 

En el famoso ensayo de Richard Gabriel The Rise of Worse is Better , contrasta las versiones caricaturizadas de las filosofías de diseño del MIT / Stanford (Lisp) y Nueva Jersey (C / Unix) a lo largo de los ejes de simplicidad, corrección, coherencia e integridad. Da el ejemplo del …

20 programming-languages  operating-systems 

Antes de leer El arte de la programación de computadoras (TAOCP) , no he considerado estas preguntas profundamente. Usaría pseudocódigo para describir algoritmos, comprenderlos y estimar el tiempo de ejecución solo sobre órdenes de crecimiento. El TAOCP cambia completamente de opinión. TAOCP usa inglés mezclado con pasos y goto para …

20 algorithms  proof-techniques  runtime-analysis 

Dado un sistema de transición etiquetado , donde es un conjunto de estados, es un conjunto de etiquetas y es una relación ternaria. Como de costumbre, escriba para . La transición etiquetada denota que el sistema en estado cambia el estado a con la etiqueta , lo que significa que …

20 programming-languages  formal-methods  semantics  process-algebras 

Me pregunto si las unidades de cómputo masivamente paralelas proporcionadas en las tarjetas gráficas hoy en día (una que es programable en OpenCL , por ejemplo) son lo suficientemente buenas como para simular de manera eficiente autómatas celulares 1D (¿o tal vez autómatas celulares 2D?). Si elegimos la cuadrícula finita …

20 computer-architecture  parallel-computing  cellular-automata 

No es raro ver a los estudiantes comenzando sus doctorados con una formación limitada en matemáticas y los aspectos formales de la informática. Obviamente, será muy difícil para tales estudiantes convertirse en científicos teóricos de la computación, pero sería bueno si pudieran aprender a usar métodos formales y leer documentos …

20 formal-methods  education 

El algoritmo GSAT es, en su mayor parte, directo: obtienes una fórmula en forma conjuntiva normal y cambias los literales de las cláusulas hasta que encuentres una solución que satisfaga la fórmula o alcances el límite max_tries / max_flips y no encuentres solución. Estoy implementando el siguiente algoritmo: procedure GSAT(A,Max_Tries,Max_Flips) …

20 algorithms  satisfiability  3-sat 

Para cifrar un mensaje con una tecla de teclado de una sola vez , debe hacer . k E n c ( m 1 , k ) = m 1 ⊕ kmetro1m1m_1kkkmin c ( m1, k ) = m1⊕ kEnc(m1,k)=m1⊕kEnc(m_1,k) = m_1 \oplus k Si usa la misma para cifrar …

20 cryptography  information-theory  encryption 

Con respecto a la puerta cuántica de Toffoli : ¿es universalmente clásico y, de ser así, por qué? ¿es cuánticamente universal y por qué?

20 quantum-computing  circuits  turing-completeness 

Quiero analizar idiomas específicos de dominio definidos por el usuario. Estos lenguajes suelen estar cerca de las notaciones matemáticas (no estoy analizando un lenguaje natural). Los usuarios definen su DSL en una notación BNF, así: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr …

20 formal-languages  parsers  compilers 

Considere árboles binarios enraizados sin etiquetar. Podemos comprimir dichos árboles: cada vez que hay punteros a subárboles y con (que interpretan como la igualdad estructural), almacenamos (sin pérdida de generalidad) y reemplazamos todos los punteros a con punteros a . Ver la respuesta de uli para un ejemplo.T ′ T …

20 algorithms  data-structures  trees  binary-trees