Ciencias de la computación teórica

Deje que sea ​​un gráfico con aristas ponderadas (positivamente). Quiero definir el diagrama de Voronoi para un conjunto de nodos / sitios , para asociar con un nodo el subgrafo de inducido por todos los nodos estrictamente más cercanos a que a cualquier otro nodo en , midiendo la longitud …

10 reference-request  graph-theory  cg.comp-geom 

Dado un gráfico plano no ponderado y una colección de pares de vértices ( es una constante), encuentre caminos de vértice-disjuntos (excepto fuente) de a tales que la longitud del camino más largo se minimiza.( s , t1) , … , ( S , tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k s t ik ≥ 2k≥2k\ge2kkkssstyotit_i …

10 ds.algorithms  graph-algorithms 

Me gustaría saber si el siguiente problema simple se ha estudiado antes y si se conoce alguna solución. Sea G una cuadrícula finita (MxN), S un subconjunto de celdas de G (las "migajas"). Se dice que dos migajas están conectadas (localmente) si sus coordenadas difieren en un máximo (es decir, …

10 ds.algorithms  graph-theory  graph-algorithms 

Estoy bastante familiarizado con la teoría detrás de VC-Dimension, pero ahora estoy mirando los avances recientes (últimos 10 años) en la teoría del aprendizaje estadístico: promedios (locales) Rademacher, Lema de clase finita de Massart, Números de cobertura, Encadenamiento, Dudley Teorema, pseudodimensión, dimensión de rotura de grasa, números de embalaje, composición …

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

Durante mi trabajo se me ocurrió el siguiente problema: Estoy tratando de encontrar una matriz ( 0 , 1 ) M , para cualquier n > 3 , con las siguientes propiedades:n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 El determinante de es par.MMM Para cualquier subconjunto no vacío con | Yo …

10 graph-theory  co.combinatorics  linear-algebra  matrices  boolean-matrix 

Definiciones Sea y sea que d , r y g sean enteros positivos (con g > 2 r + 1 ).ϵ>0ϵ>0\epsilon > 0dddrrrgggg>2r+1g>2r+1g > 2r+1 Sea un gráfico finito simple, d- regular, no dirigido, con circunferencia de al menos g .G=(V,E)G=(V,E)G = (V,E)dddggg Deje ser un orden total en V …

10 graph-theory  co.combinatorics  dc.distributed-comp 

Supongamos que tengo un polígono simple y un entero . ¿Cuáles son algunos enfoques existentes para encontrar el radio más pequeño de modo que pueda cubrir con círculos de radio ? ¿Qué tal si es fijo y quiero minimizar ?k r S k r r kSSSkkkrrrSSSkkkrrrrrrkkk

10 cg.comp-geom  planar-graphs  set-cover 

¿Es difícil apx aproximar el número cromático fraccionario en gráficos de grados acotados?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

El algoritmo de Deutsch es una computación cuántica bien conocida f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} con solo una evaluación de fff . Si reemplazamos +++ con ⋅⋅\cdot el problema parece ser bastante diferente. Mi pregunta es: ¿existe un algoritmo cuántico que calcule el valor de f(0)⋅f(1)f(0)⋅f(1)f(0)\cdot f(1) (o AND si lo prefiere) …

10 reference-request  quantum-computing 

En mi búsqueda de trabajos de investigación sobre sistemas de tipos para lenguajes imperativos, solo encuentro soluciones para un lenguaje con referencias mutables pero sin estructuras de control imperativo genuinas como operadores compuestos, bucles o condicionales. Por lo tanto, no está claro cómo se puede implementar un lenguaje imperativo con …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

Estoy buscando ejemplos de problemas difíciles (en NP o más difíciles) de la informática que pueden reducirse a modelos de procesos físicos. Por ejemplo, max-2-sat se puede reducir a minimización de energía en un modelo Ising. Me gustaría encontrar más ejemplos de este tipo de reducción.

10 cc.complexity-theory  reductions  physics  formal-modeling 

No estoy seguro si el área correcta, pero aquí va. Comenzar un doctorado en Gestión de confianza y reputación en redes de comunicaciones (mucha teoría de gráficos, análisis probabilístico, etc.) y tener mucha lectura por delante. ¿Alguien puede aconsejar las mejores formas de gestionar la lectura académica y lo que …

10 soft-question  advice-request  research-practice 

¿Existe un algoritmo de tiempo polinómico para encontrar, si existe, una araña de expansión de un gráfico dado ? Una araña es un árbol con a lo sumo un nodo con un grado mayor que 2: sé que varias condiciones de grado en G (esencialmente, grados de nodo suficientemente grandes) …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Dado un conjunto de puntos en un espacio cartesiano 3D, estoy buscando un algoritmo que clasifique estos puntos, de modo que se maximice la distancia euclidiana mínima entre dos puntos consecutivos. También sería beneficioso si el algoritmo tuviera una tendencia hacia una distancia euclidiana promedio más alta entre puntos consecutivos.

10 graph-algorithms  cg.comp-geom  optimization 

Estoy buscando notas de conferencias disponibles en línea u otros recursos que brinden una buena introducción a la programación paralela, al igual que el análogo paralelo de las clases básicas de informática. Mi enfoque es el siguiente: si bien puedo hablar sobre divide y vencerás, algoritmos codiciosos, programación dinámica y …

10 reference-request  soft-question  dc.parallel-comp  survey