Preguntas etiquetadas con reference-request

CMSOL está contando la lógica monádica de segundo orden, es decir, una lógica de gráficos donde el dominio es el conjunto de vértices y bordes, existen predicados para la adyacencia vértice-vértice y la incidencia de borde-vértice, hay cuantificación sobre bordes, vértices, conjuntos de bordes y vértices establece, y hay un …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

La programación lineal es, por supuesto, hoy en día muy bien entendida. Tenemos mucho trabajo que caracteriza la estructura de soluciones factibles y la estructura de soluciones óptimas. Tenemos la fuerte dualidad, algoritmos de poli-tiempo, etc. Pero, ¿qué se sabe sobre las soluciones mínimas máximas de LP? O, de manera …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

Hice esta pregunta hace unas semanas en mathoverflow , pero no obtuve respuesta. Aquí, por rejilla 3D de longitud de lado me refiero a la gráfica G = ( V , E ) con V = { 1 , ... , k } 3 y E = { ( ( …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Estoy buscando un nombre o alguna referencia a este problema. Dado un gráfico ponderado G = ( V, E, W )G=(V,E,w)G = (V, E, w) encuentre una partición de los vértices en hasta n = | VEl |n=|V|n = |V|establece S1, ... , SnorteS1,…,SnS_1,\ldots,S_n para maximizar el valor de los …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

Hace poco me recordaron el problema vs. como lo explicó Stephen A. Cook en el Clay Mathematics Institute.N PPAGP\mathsf{P}N PNP\mathsf{NP} Ha despertado mi interés y me gustaría aprender más al respecto. El primer paso sería obtener una comprensión más profunda del problema y una comprensión del área en general. ¿Me …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

¿Cuáles son los problemas con la relación de aproximación más conocida lograda por un algoritmo que devuelve una solución aleatoria uniforme? Conozco uno de esos ejemplos para el problema del taller de flujo de permutación : en el documento " Límites ajustados para la programación del taller de flujo de …

12 ds.algorithms  reference-request  approximation-algorithms 

Estoy en mi segundo año en una maestría que no se relaciona demasiado con TCS, aunque desearía que lo hiciera. Básicamente se trata de teoría de control, señales y sistemas, y tomé clases en sistemas avanzados (robusto, no lineal, óptimo, estocástico), procesamiento avanzado de señales y optimización convexa. Estoy tratando …

12 reference-request  soft-question 

¿Qué otros problemas de idiomas diferentes al isomorfismo de gráficos hay en ? ¿Puedes dar algunas referencias?nortePAG∩ c o A MNP∩coAMNP\cap coAM Actualización: Olvidé mencionar que estoy interesado en idiomas que no se sabe que están en .c o NPAGcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

¿Cuál es el ancho de árbol mínimo de un circuito sobre {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} para calcular MAJ? Aquí MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} produce 1 si al menos la mitad de sus entradas son 111 . Solo me importa el tamaño del circuito (debe ser polinomial) y que una entrada debe leerse solo …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

He leído sobre la sustitución hereditaria del cálculo simple de Lambda y del marco lógico con términos y tipos distintos. Me pregunto, ¿hay algún ejemplo de sustitución hereditaria en un sistema de tipo dependiente con una jerarquía universal? es decir, donde etc.True:Set0:Set1:Set2True:Set0:Set1:Set2 True : Set_0 : Set_1:Set_2 Me pregunto en …

11 reference-request  lo.logic  pl.programming-languages  type-theory  lambda-calculus 

Estoy interesado en el problema clásico INCLUSIÓN DE IDIOMAS REGULARES. Dada una expresión regular , denotamos por L ( E ) el lenguaje regular asociado a ella. (Las expresiones regulares están en un alfabeto fijo Σ , con la unión de operaciones, Kleene-star y concatenación).miEEL ( E)L(E)L(E)ΣΣ\Sigma Entrada: Dos expresiones …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

La lógica monádica de primer orden, también conocida como la clase monádica del problema de decisión, es donde todos los predicados toman un argumento. Se demostró que era decidible por Ackermann, y está NEXPTIME-complete . Sin embargo, problemas como SAT y SMT tienen algoritmos rápidos para resolverlos, a pesar de …

11 reference-request  lo.logic  automated-theorem-proving  program-verification  first-order-logic 

Tengo un conjunto de vectores binarios S = { s 1 , ... , s n } ⊆ { 0 , 1 } k ∖ { 1 k } y un vector objetivo t = 1 k, que es el vector de todos.nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k …

11 reference-request  linear-algebra  finite-fields 

Sea un lenguaje y una función en dos parámetros con la propiedad de que para todos e , devuelve un elemento de si y solo si tanto como son elementos de :LLLf:Σ⋆×Σ⋆→Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L \iff x\in L\wedge y\in L . Pregunta ¿Estas funciones tienen un nombre en la literatura? …

11 reference-request  fl.formal-languages 

Un anticadena en un DAG (V,E)(V,E)(V, E) es un subconjunto A⊆VA⊆VA \subseteq V de vértices que son pairwise inalcanzable, es decir, no hay v≠v′∈Av≠v′∈Av \neq v' \in A tal que vvv es alcanzable desde v′v′v' en EEE . Por el teorema de Dilworth en la teoría del orden parcial, se …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order