Tengo un conjunto de puntos , y tengo la distancia entre cada punto . Estas distancias son euclidianas, pero los puntos están realmente en un espacio de características.CCCD(Pi,Pj)D(Pi,Pj)D(P_i,P_j) De los puntos quiero elegir un subconjunto de puntos. Llame a este subconjunto . Quiero elegir este...
Solíamos tener computadoras analógicas hace varias décadas. Las computadoras modernas son digitales. ¿Qué pasa con las computadoras Quantum? ¿Es analógico o digital? Estoy preguntando esto ya que qubit puede ser muchas cosas al mismo
En primer lugar, me gustaría decir que mi texto a continuación puede contener errores, así que siéntase libre de señalar cualquier error en mi formulación de la pregunta. Considere un cálculo lambda sin tipo con booleanos y sentencias if cuyos términos están dados por esta sintaxis: t ::= v | t...
El problema del árbol de expansión limitado por es donde tienes un gráfico G ( V , E ) no dirigido y tienes que decidir si tiene un árbol de expansión tal que cada vértice tenga un grado de k como máximo .kkkG ( V, E)G(V,E)G(V,E)kkk Me doy cuenta de que para el caso , este es el problema del...
En términos de tiempo de ejecución asintótico en el peor de los casos, ¿qué problema de NP completo tiene el algoritmo (exacto) más rápido conocido y cuál es el algoritmo? ¿Hay algo conocido que sea más rápido que
Tengo una pregunta muy genérica que hacer. Está relacionado con la investigación. Estoy interesado en la teoría de grafos. He hecho un curso al respecto. He hecho algunos temas relacionados con la teoría de grafos como un punto de vista para hacerlo como estudiante de matemáticas y también estudié...
Perdona la ingenuidad que será obvia en la forma en que hago esta pregunta, así como el hecho de que la estoy haciendo. Los matemáticos suelen usar ya que es la base más simple / mejor en teoría (debido al cálculo). Pero las computadoras parecen hacer todo en binario, entonces, ¿es más rápido en...
Hay muchos detalles sobre los cargadores de anticipación como Kogge-Stone, Lander-Fischer, etc. en los cursos universitarios de CS. Se describen como "comunes en la industria". Sin embargo, no puedo encontrar ninguna evidencia (aparte de quizás la cadena de transporte de Manchester) de los últimos...
Me he encontrado con esa pregunta: "Dé ejemplos de dos idiomas regulares en los que su unión no genere un idioma regular". Esto es bastante impactante para mí porque creo que los idiomas regulares están cerrados bajo unión. Lo que significa para mí que si tomo dos idiomas regulares y los combino,...
Sé que esto puede sonar un poco fuera de la caja, de hecho, solía pensar siempre dentro de la caja, pero recientemente he estado pensando, posiblemente porque la informática proporciona un alto grado de libertad, sobre formas de diseñar programas que no sean los que se enseñan en la universidad....
Me encanta todo lo que es tiempo de compilación y me encanta la idea de que una vez que compilas un programa, se hacen muchas garantías sobre su ejecución. En términos generales, un sistema de tipo estático (Haskell, C ++, ...) parece ofrecer garantías de tiempo de compilación más sólidas que...
He buscado un poco en google y me he quedado corto. Me pregunto cuáles son las principales razones para que los científicos informáticos, los programadores, estudien la reescritura de términos y / o la reescritura de gráficos de términos. Por lo que puedo decir, solo ayuda para el razonamiento...
Al leer algunos blogs sobre la complejidad computacional (por ejemplo, aquí ) asimilé la noción de que decidir si dos grupos son isomórficos es más fácil que probar dos gráficos para el isomorfismo. Por ejemplo, en la página indicada dice que el isomorfismo gráfico es un problema más general que el...
En la imagen a continuación, estoy tratando de averiguar qué es exactamente lo que esta NFA está aceptando. Lo que me confunde es el salto en .q 0ϵϵ\epsilonq0q0q_0 Si se ingresa un , ¿el sistema se mueve a y (el estado de aceptación)?q 0 q 1000q0q0q_0 q1q1q_1 Si se ingresa un , ¿se mueve el...
Las tablas hash dinámicas perfectas y las tablas hash cuco son dos estructuras de datos diferentes que admiten las búsquedas de O (1) en el peor de los casos y las inserciones y eliminaciones esperadas de O (1). Ambos requieren espacio auxiliar O (n) y acceso a familias de funciones hash para sus...
Tengo problemas para entender el problema de Turing. Su prueba asume que existe una máquina mágica que podría determinar si una computadora se detendría o realizaría un bucle para siempre para una entrada determinada. Luego conectamos otra máquina que invierte la salida y tenemos una contradicción...
El objetivo es crear DFA a partir de una expresión regular y usar "Exp. Regular> NFA> Conversión de DFA" no es una opción. ¿Cómo debería uno hacer eso? Le hice esta pregunta a nuestro profesor, pero él me dijo que podemos usar la intuición y amablemente se negó a dar ninguna explicación....
He visto cómo XOR-3-SAT se puede resolver de manera eficiente (por ejemplo, consulte la sección "Satisfacción de XOR" en la entrada de Wikipedia para el problema de satisfacción booleana ). Me pregunto una pregunta básica: ¿es XOR-k-SAT eficientemente solucionable, para fórmulas con cantidades...
Existe ese problema popular [1] [2] en la informática que consiste en encontrar un número mínimo de líneas rectas que cubren un conjunto dado de puntos en 2D. Aunque he escaneado muchos documentos, ninguno de ellos tiene una motivación clara para el problema. ¿De qué sirve resolver este problema?...
Esta es probablemente una pregunta estúpida, pero simplemente no entiendo. En otra pregunta se les ocurrió el teorema de dicotomía de Schaefer . Para mí, parece que demuestra que cada problema de CSP está en P o en NP-completo, pero no en el medio. Dado que cada problema de NP puede transformarse...