Dado un grafo dirigido fijo (dígrafo) , la problema de decisión -Coloreado pregunta si un dígrafo entrada tiene un homomorfismo a . (Un homomorfismo de a es un mapeo de a que conserva los arcos, es decir, si es un arco de , entonces es un arco de )D G D G D f V ( G ) V ( D ) u v G f ( u ) f ( v )...
El documento SODA de 2 páginas de Kalai ofrece un algoritmo simple y eficiente para la coincidencia de patrones con no importa (comodines que coinciden con un carácter). En esencia, es tan fácil como la convolución. Pero, ¿qué sucede si estamos buscando patrones múltiples que no le importan?...
Deje que sea un lenguaje y defina por iff . Estoy buscando una referencia para:f L : A ∗ × A ∗ → { 0 , 1 } f L ( x , y ) = 1 x ⋅ y ∈ LL⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}fL(x,y)=1fL(x,y)=1f_L(x, y) = 1x⋅y∈Lx⋅y∈Lx\cdot y \in L Proposición. es...
Para un lenguaje fijo en algún alfabeto , consideremos el siguiente problema, que llamo -INTERLEAVING :A LLLLUNAAALLL Entrada: dos palabras u , v ∈ A∗u,v∈A∗u, v \in A^* Salida: si existe un entrelazado de tuuu y vvv que está en LLL . Aquí, un entrelazado de dos palabras tuuu y vvv es una...
¿Existe un marco / formalismo que defina modelos computacionales basados en proteínas distintas al modelo de ADN de Adleman o este trabajo de Cherry y Qian
En una teoría intuitiva de tipos: parte predictiva de Martin-Löf, se demuestra que la comprobación de tipo es decidible sujeto a ser escribible en primer lugar, demostrando un teorema de normalización para términos de tipo cerrado. Por otro lado, lo he visto escrito en varios lugares (Wikipedia,...
¿Cuáles son los límites superiores asintóticos más conocidos en tamaños de pruebas probabilísticamente comprobables? Idealmente, estoy buscando una encuesta contemporánea sobre esta amplia pregunta, pero si no hay ninguna, estoy especialmente interesado en la inaccesibilidad de 3-SAT. Deje que 7/8...
En [1], Garey et al. identifique lo que luego se conocería como el problema de la suma de las raíces cuadradas en el curso de la determinación de la integridad de NP del TSP euclidiano. Dados los enteros y , determine sia1,a2,…,ana1,a2,…,anortea_1, a_2, \ldots, a_nLLLuna1--√+a2−-√+ ⋯ +...
Al presentar la descomposición modular del gráfico , la mayoría de los autores utilizan el gráfico de 11 vértices, que copio de wikipedia. La pregunta es quién es (son) el diseñador original de la misma. (No estoy preguntando quién dibujó este gráfico para Wikipedia, sino la fuente original del...
Comencé a buscar estructuras de incidencia y diseños combinatorios (posible motivación: para enlazar algunas estructuras en el autoensamblaje generalizado), y el artículo de Wikipedia hace la siguiente declaración interesante pero inexplicable: los diseños de bloques tienen aplicación en las...
Se necesita una referencia a las técnicas para demostrar que el tamaño de una brecha de integralidad está limitado por alguna expresión para un LP particular (o SDP, pero menos importante). También sería bueno tener una referencia a un lugar donde se describan técnicas para minimizar las brechas de...
¿Podría recomendar un artículo de encuesta o un capítulo de libro de texto que presente la teoría de las funciones recursivas?
Espero haber llegado al lugar correcto ... es (probablemente) una pregunta de programación lógica bastante sencilla. Si tengo dos cláusulas de la forma: B:-A C:-A puedo transformarlas en: B,C:-A ( Editar: dónde B,Ces una conjunción. Estoy haciendo una evaluación de abajo hacia arriba y me es...
¿Existe una base de datos de problemas conocidos con información sobre su complejidad y algoritmos, problemas relacionados, referencias, etc. que está disponible para nosotros? [Si no, ¿podemos hacer uno? Sé que esto está fuera de tema, pero sería TAN
Me imagino que esta debe ser una pregunta introductoria de geometría computacional, pero no estoy seguro de las mejores frases de búsqueda, y también estoy interesado en las variaciones de la pregunta, por lo que espero punteros a referencias útiles. Estoy interesado en algoritmos factibles para el...
Estoy buscando una referencia para la complejidad de la comunicación aleatoria unidireccional (clásica) cuando el universo puede ser grande. Digamos que Alice y Bob tienen conjuntos de tamaño elegidos de un universo de tamaño y Bob quiere determinar si la intersección de sus conjuntos está vacía o...
La dimensión VC es una medida de la complejidad de las clases de funciones que está estrechamente vinculada a la complejidad de la muestra. La dimensión de rotura de grasa es una generalización adecuada para dominios ordenados más ricos: es decir, . ¿Existe una generalización estándar de la...
El siguiente lema no es difícil de probar. Lema : Sea y k ∈ [ n ] . Si m 1 , m 2 , ... , m r son enteros (algunos de ellos pueden ser negativos) de modo que m 1 c 1 + m 2 c 2 + ⋯ + m r c r = k , entonces ∃ enterosc1≠c2≠⋯≠cr∈[n]c1≠c2≠⋯≠cr∈[n]c_1 \neq c_2 \neq \dots \neq c_r \in [n]k∈[n]k∈[n]k \in...
¿Cuáles son las mejores referencias para el autoestudio en DATALOG? Estoy particularmente interesado en el poder expresivo, los resultados de complejidad, los métodos de evaluación, las extensiones de DATALOG con negación, etc. ¿Hay libros o documentos que cubran todo
Estoy buscando trabajo en sistemas que sean similares a los secuenciantes de orden superior de K. Dosen ("Sistemas secuenciales para lógica modal", JSL 50 ). El único trabajo que conozco es el reciente trabajo de Iemhoff y Metcalfe ("Teoría de la prueba de reglas admisibles", Annals of Pure and...