Editar: Creo que el espíritu de la pregunta era bueno, pero debe mejorarse. Las suposiciones hechas para el lanzamiento de la moneda hicieron esa pregunta trivial, y la tirada del dado todavía no está suficientemente definida. ¿Cuáles son las suposiciones razonables que podemos hacer sobre una...
Es bien sabido que las gráficas planas de una familia cerrada con menores prohibidos , gráficas con ancho de árbol acotado también son gráficas familiares cerradas sin H k como menor.K3 , 3, K5 5K3,3,K5K_{3,3}, K_{5}HkHkH_{k} Supongo que los gráficos con corte máximo acotado forman gráficos...
Estamos trabajando en un documento que presenta algunos algoritmos para encontrar triángulos y motivos de red (subgráficos de tamaño constante, también conocidos como grafitos) en un entorno distribuido. Caracterizamos la compensación entre el número de triángulos en el gráfico y la carga de...
El lema de corte (también conocido como lema de descomposición celular) establece que dadas líneas en el plano, es posible dividirlo en regiones O ( r 2 ) (incluso triángulos) para cualquier 1 ≤ r ≤ n de manera que el interior de cualquier región esté intersectado por líneas O ( n / r ) . Para más...
La idea de un MST de diámetro restringido es que mantenga todos los vértices conectados y dentro de una cierta distancia el uno del otro. Pero todos los papeles que he visto mantienen el requisito de que produzcas un árbol, cuando permitir ciclos podría ayudar a reducir el diámetro. ¿Alguien sabe...
Si bien es muy común ver a músicos, pintores, autores y arquitectos autodidactas exitosos, no estoy familiarizado con ningún autodidacta famoso en el campo de TCS. ¿Hay algún ejemplo de un experto en informática teórica autodidacta (es decir, alguien que publicó un artículo importante, sin ir a la...
Un estudiante me pidió lo siguiente y no pude encontrar una respuesta completa: ¿Existen propiedades de cierre para la clase de idiomas que no están libres de contexto? Es bastante fácil encontrar ejemplos que muestren que no está cerrado bajo intersección e iteración (operador estrella de...
Supongamos que hay partes p j , cada una con un bit b j ∈ { 0 , 1 } . Quiero calcular la multiplicación del número de unidades por ceros, es decir, R = ( ∑ b j ) × ( N - ∑ b j ) .N>2N>2N>2pjpjp_jbj∈{0,1}bj∈{0,1}b_j\in{\{0,1\}}R=(∑bj)×(N−∑bj)R=(∑bj)×(N−∑bj)R=(\sum{b_j})\times(N-\sum{b_j}) El...
esta es una reescritura de otra pregunta reciente mía [1] que no se dijo bien (tenía una simplificación semi obvia, mea culpa) pero creo que todavía hay una pregunta no trivial en el fondo. He visto problemas similares en la literatura pero no este en particular. lo escribirá en términos de...
Esta es una pregunta algo subjetiva. Estoy interesado en estudiar la literatura sobre resultados de corte de flujo de productos múltiples, especialmente los resultados 'positivos' que muestran que el flujo es una buena aproximación al corte (digamos, dentro de un factor que es constante o...
Por "bueno", quiero decir que el algoritmo proporciona un límite relativamente estrecho o tiene un tiempo de ejecución relativamente rápido. Cualquier referencia es
Estoy buscando ML para generar código más eficiente (es decir, heurística de tiempo de compilación y tiempo de ejecución). Tengo un phd (compiladores, hpc), pero muy poca experiencia en ML. Agradecería cualquier referencia al trabajo existente. Más importante aún, ¿qué técnicas de aprendizaje...
¿Qué algoritmos / técnicas matemáticas están disponibles para contar exactamente / aproximadamente el número de conjuntos independientes? ¿Hay / hay una buena referencia / buenas referencias sobre este tema? Estoy interesado en gráficos
Existen algoritmos sencillos para calcular la envoltura superior de una disposición de líneas en el plano. Ver, por ejemplo, la sección 2.3 en las secuencias Davenport-Schinzel de la encuesta y sus aplicaciones geométricas . ¿Existen algoritmos / estructuras de datos conocidos para la versión...
Estoy tratando de aclarar mi comprensión en el ejemplo presentado en la Sección 2.2 de Autómatas cuánticos finitos de 1 vía: fortalezas, debilidades y generalizaciones (este enlace alternativo también puede ser útil). Este ejemplo proporciona un ejemplo muy simplificado de un 1-QFA con las...
El teorema del punto de fijación de Tarski establece que los puntos de fijación de un operador monótono en una red completa es una red completa. Como consecuencia, tenemos un punto de fijación máximo único y un punto de fijación mínimo único para un operador monótono en una red completa. Los...
Estoy interesado en punteros a algoritmos (los algoritmos de aproximación están bien) que intentan dividir un gráfico en dos subconjuntos de modo que la suma de los pesos de los bordes dentro de cada subconjunto sea (aproximadamente) igual, y la suma de los pesos de los bordes entre los dos Los...
Un problema de decisión tiene una buena caracterización si está en . Muchos problemas gráficos naturales tienen buenas caracterizaciones. Por ejemplo, el teorema de Kuratuwski ofrece una buena caracterización de los gráficos planos. El teorema de Konig ofrece una buena caracterización de gráficos...
¿Por qué se necesitan valoraciones para definir la semántica de la lógica de primer orden? ¿Por qué no solo definirlo para oraciones y también definir sustituciones de fórmulas (de la forma esperada)? Eso debería bastar: METRO⊨ ∀ x . ϕ⟺para todos los d∈ d o m ( M) , M ⊨ ϕ [ x ↦ d]M⊨∀x.ϕ⟺for...
La suposición decisiva de Diffie-Hellman , o DDH en resumen, es un problema famoso en criptografía. La suposición DDH se mantiene en un grupo cíclico de orden (primo) q , si es para un generador g ∈ G , y para aleatoriamente a , b , c ∈ \ mathbb {Z} _q $$, los siguientes pares son indistinguibles...