Ciencias de la computación teórica

En Graphic TSP , se le proporciona un gráfico no dirigido no ponderado y el objetivo es encontrar un recorrido más corto en que visite cada vértice al menos una vez . Tenga en cuenta que esto no es igual que la búsqueda de un circuito hamiltoniano en . Mis …

9 ds.algorithms  treewidth  tsp 

¿Hay algún resultado conocido sobre la complejidad de encontrar un separador (de cualquier tamaño) que satisfaga una propiedad dada? Sé que es fácil encontrar un separador de camarillas (tiempo polinómico) y también sé que muchos documentos consideran el problema de encontrar pequeños separadores o separadores que dejan componentes de tamaño …

9 ds.algorithms  graph-theory  graph-algorithms 

Cada vez más se confía en los motores de búsqueda como guardianes de la información, sin embargo, los criterios utilizados por los motores de búsqueda para clasificar los resultados son opacos para los usuarios. ¿Cómo pueden los usuarios estar seguros de que sus resultados no están sesgados o alterados de …

9 ds.algorithms  data-mining 

¿Cuál es la posibilidad de que un informático cambie su campo en un matemático puro? ¿Y cuál es la forma más fácil de hacerlo? ¿Algún ejemplo para las personas que podrían hacerlo?

9 soft-question  research-practice  career 

En el contexto de algunos trabajos recientes , hemos estado definiendo un lenguaje basado en una lógica de tres valores à la Kleene, donde significa verdadero, para falso y para error o no sabe. Para demostrar que nuestro lenguaje era expresivo, queríamos demostrar que podíamos construir un conjunto de operadores …

9 reference-request  lo.logic 

Quería averiguar cuáles son algunas aplicaciones de SGT en el área de la teoría de la información y la codificación, y tal vez las comunicaciones. Lo más relacionado que me viene a la mente es el trabajo en los códigos de expansión Michael Sipser y Daniel Spielman, "Expander Codes", IEEE …

9 it.information-theory  coding-theory  spectral-graph-theory 

Mi pregunta es un poco vaga. Me he estado preguntando si (y cómo), podemos aplicar la noción de ancho de árbol a los problemas de empaque en los gráficos. Estaría contento con cualquier idea o referencia de trabajos de investigación anteriores sobre esto (suponiendo que haya alguna relación). Gracias.

9 ds.algorithms  reference-request  graph-theory  graph-algorithms  approximation-algorithms 

Hay un programa lineal para el que quiero no solo una solución, sino una solución que sea lo más central posible en el politopo que asuma el valor mínimo. A priori, esperamos que la cara de minimización sea de alta dimensión por varias razones, incluyendo que la función objetivo que …

9 ds.algorithms  linear-algebra  linear-programming 

Tengo una pregunta, cuya respuesta es probablemente conocida, pero parece que no puedo encontrar nada significativo después de un poco de búsqueda, por lo que agradecería un poco de ayuda. Mi pregunta es si se sabe que decidir si un número es trascendental es indecidible. Posiblemente, uno asume como entrada, …

9 computability  computable-analysis 

Al interpretar las claves como números naturales, podemos usar la siguiente fórmula. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} Lo que tengo problemas para entender es cómo elegimos el valor de A donde: 0&lt;A&lt;10&lt;A&lt;1\begin{equation} 0 < A < 1 \end{equation} Según Knuth, un valor óptimo es: A≈(5–√−1)/2=0.6180339887...A≈(5−1)/2=0.6180339887...\begin{equation} A \thickapprox …

9 hash-function 

Me gustaría saber por qué para el reconocimiento de lenguajes libres de contexto solo funcionan los autómatas push-down no deterministas (DPA = NPDA). ¿Por qué los autómatas deterministas pushdown (DPDA) no reconocen tales lenguajes?

9 fl.formal-languages  automata-theory  context-free 

Supongamos que tengo una lista de subconjuntos de . Puedo hacer un preprocesamiento en esta lista si es necesario. Después de este preprocesamiento, se me presenta otro conjunto . Quiero identificar cualquier conjuntos con .{ 1 , . . . , N } A ⊆ { 1 , . . …

9 ds.algorithms  ds.data-structures 

Continuando con esta pregunta ... Estoy tratando de aprender a usar y crear redes neuronales para mi investigación, y un punto se me escapa. Me doy cuenta de que las capas ocultas son una parte algo necesaria de esto, sin embargo, estoy atascado en dos puntos que mis referencias no …

9 ne.neural-evol 

Estoy buscando un software para calcular / estimar el volumen de poliedros convexos de alta dimensión. Más específicamente, estoy interesado en un programa, que puede manejar cuerpos con vértices en d espacio dimensional con los parámetros delimitadas aproximadamente como sigue: d ≤ 50 y n ≤ 1000 . Tenga en …

9 cg.comp-geom  software  convex-geometry  high-dimensional-geometry 

El teorema de PCP establece que cada problema de decisión en NP tiene pruebas probabilísticamente comprobables (o de manera equivalente, que existe un sistema de prueba completo y cuasi-sonoro para teoremas en NP que usa complejidad de consulta constante y logarítmicamente muchos bits aleatorios). La "sabiduría popular" que rodea el …

9 lo.logic  pcp  polynomial-hierarchy