Ciencias de la computación teórica

La mayoría de los recursos con respecto a las nociones categóricas en la programación describen mónadas, pero nunca he visto una descripción categórica de los transformadores de mónadas. ¿Cómo podrían describirse los transformadores de mónada en los términos de la teoría de categorías? En particular, me interesaría: la relación entre …

8 type-theory  functional-programming  ct.category-theory  haskell  monad 

¿Hay alguna semántica categórica para las lógicas no monotónicas? Parece que la respuesta simple a esto es "No" ya que la noción obvia de composición falla para cualquier modelo de lógica no monotónica. Pero, ¿hay un modelo que realmente funcione con una noción de composición adecuadamente definida?

8 ct.category-theory  semantics  denotational-semantics 

He estado mirando una lógica modal con el axioma (◊A∧◊B)→◊((A∧◊B)∨(A∧B)∨(A∧◊B))(◊A∧◊B)→◊((A∧◊B)∨(A∧B)∨(A∧◊B)) (\Diamond A \land \Diamond B) \to \Diamond((A \land \Diamond B) \vee (A \land B) \vee (A \land \Diamond B)) Aproximadamente, esto dice que la relación de accesibilidad es lineal. Parece que puedes dar una teoría de prueba para este lenguaje …

8 lo.logic  pl.programming-languages  proof-theory 

Tengo un conjunto de agentes y un conjunto de n tareas, y necesito asignar a cada agente exactamente una tarea de manera que se minimice el costo. Algunos agentes son incompatibles con algunas tareas.nortenortennortenorten Tengo una implementación del algoritmo húngaro que tarda aproximadamente un minuto en resolver mi matriz . …

8 graph-algorithms  optimization  matching 

El problema de máxima satisfacción (Max-Sat) es el problema de encontrar el número máximo de cláusulas que se pueden satisfacer en una instancia de satisfacción booleana. El problema exacto 1 en 2 Sat pregunta, dado un conjunto de cláusulas cada una con dos literales, ¿hay un conjunto de literales de …

8 graph-algorithms  sat  max2sat 

Supongamos que tiene varios conjuntos de enteros ( ) y desea calcular las intersecciones de algunos de ellos ( podría ser una consulta, pero desea admitir muchas de esas consultas , o tal vez incluso todas las consultas posibles)S1, S2. . . SnorteS1,S2...SnorteS_1, S_2 ... S_n∩ S1, S3, S7 7∩S1,S3,S7 …

8 cc.complexity-theory  ds.data-structures 

Dado un número algebraico , estoy interesado en encontrar una aproximación de ℜ ( e α ) hasta una precisión dada, donde ℜ ( ) se refiere a la parte real del número complejo.αα\alphaR ( eα)ℜ(eα)\Re(e^\alpha)R ( )ℜ()\Re() Formalmente, quiero calcular un número racional tal que | ℜ ( e …

8 cc.complexity-theory  na.numerical-analysis  computing-over-reals 

Dada una tabla de datos que contiene un número muy grande de filas, con cada fila que contiene un gran número k de campos, con cada campo que contiene un número grande pero fijo de bits, existen varios métodos para construir una estructura de "índice". que las operaciones siguientes se …

8 ds.algorithms  ds.data-structures 

Cuando intentamos construir un algoritmo para un nuevo problema, dividir y conquistar (usando la recursividad) es uno de los primeros enfoques que intentamos. Pero en algunos casos, este enfoque parece infructuoso ya que el problema se vuelve mucho más complicado a medida que crece su aporte. Mi pregunta es: ¿hay …

8 cc.complexity-theory  recursion 

Cuando se establece la conjetura o P ≠ N P (por ejemplo, por el Clay Mathematical Institute de S. Cook, ver aquí ) ¿qué sistema axiomático matemático se supone?P=NPP=NP\mathbf{P} = \mathbf{NP}P≠NPP≠NP\mathbf{P} \neq \mathbf{NP} Para probar o refutar tales afirmaciones, debe asumir algunos axiomas. ¿Cuáles? ¿Solo la aritmética de Peano (lenguaje …

8 cc.complexity-theory  model-theory 

Para una clase de permutaciones, no podemos esperar clasificar las permutaciones de C con menos de O ( log | C n | ) comparaciones, donde por convención C n : = C ∩ S n .CC\mathcal{C}CC\mathcal{C}O ( logEl | CnorteEl | )O(log⁡|Cn|)O(\log |\mathcal{C}_n|)Cnorte: = C∩ SnorteCn:=C∩Sn\mathcal{C}_n := \mathcal{C} \cap …

8 ds.algorithms  sorting  permutations 

Para , deje que sea ​​el conjunto de vértices del cubo dimensional escalado en la dirección de la coordenada por , es decir, .d⃗ ∈Nnd→∈Nn\vec{d} \in \mathbb{N}^nQ(d⃗ )⊂NnQ(d→)⊂NnQ(\vec{d}) \subset \mathbb{N}^nnnniiididid_iQ(d⃗ ={⟨±d1,…,±dn⟩}Q(d→={⟨±d1,…,±dn⟩}Q(\vec{d} = \{\langle \pm d_1, \ldots, \pm d_n\rangle\} Considere el siguiente problema: Dado un conjunto de puntos en número , …

8 cc.complexity-theory  reference-request  co.combinatorics  cg.comp-geom  time-complexity 

¿Cuáles son los ejemplos de problemas conocidos en (resp. ) que no se sabe que están en ni en ?M A N P B P PAMAM\mathsf{AM}MAMA\mathsf{MA}NPNP\mathsf{NP}BPPBPP\mathsf{BPP} Para , conozco los siguientes dos ejemplos:AMAM\mathsf{AM} No isomorfismo gráfico: dados dos gráficos etiquetados y , ¿son el mismo gráfico hasta la permutación de …

8 cc.complexity-theory  complexity-classes 

Si N PnortePAGS\mathsf{NP} contiene una clase de problemas de tiempo superpolinomial, es decir para alguna función t ∈ nω ( 1 )t∈norteω(1)t \in n^{\omega(1)} , ,D T I M E ( t ) ⊆ N PreTyoMETROmi(t)⊆nortePAGS\mathsf{DTIME}(t) \subseteq \mathsf{NP} entonces, si se sigue del teorema de la jerarquía de tiempo determinista …

8 cc.complexity-theory  time-complexity  nondeterminism 

Usando homología persistente, podemos analizar la forma (topológica) de una nube de puntos usando el siguiente método de tres pasos: convertir el conjunto de puntos en un complejo simplicial (y hay algunas formas diferentes de hacerlo) parametrizado por un parámetro de "ruido" Calcule los grupos de homología de este complejo …

8 cg.comp-geom  topology