Ciencias de la computación teórica

Esta pregunta está estrechamente relacionada con otra publicación: Transiciones de fase en problemas difíciles de NP, pero es algo diferente. Si bien esa pregunta es sobre la dureza de instancias particulares de problemas difíciles de NP, se trata de clasificar la dificultad de las mismas instancias. Hay mucha bibliografía sobre …

15 cc.complexity-theory  np-hardness  sat 

Necesito almacenar conjuntos de elementos de tipo a. El tipo a está parcialmente ordenado, por lo que comparar y puede devolver menor, mayor, igual o incomparable.un1a1a_1un2a2a_2 Un problema con las tablas hash es que dos elementos iguales se pueden representar de manera diferente, y no tengo acceso a una función …

15 ds.data-structures  functional-programming  sorting 

El problema de mantenimiento de la orden (o "mantener el orden en una lista") es apoyar las operaciones: singleton: crea una lista con un elemento, le devuelve un puntero insertAfter: dado un puntero a un elemento, inserta un nuevo elemento después de él, devolviendo un puntero al nuevo elemento delete: …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Una categoría tiene biproductos cuando los mismos objetos son tanto productos como coproductos. ¿Alguien ha investigado la teoría de la prueba de categorías con biproductos? Quizás el ejemplo más conocido es la categoría de espacios vectoriales, en la que la suma directa y las construcciones de producto directo dan el …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

En realidad tengo dos preguntas: ¿Quién utilizó primero las relaciones lógicas para relacionar la semántica? Los rastreé hasta " La relación entre la semántica directa y de continuación " de Reynold , pero no puedo afirmar que haya hecho una búsqueda exhaustiva. He encontrado referencias a relaciones lógicas que datan …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Se sabe a través del teorema de aproximación universal que una red neuronal con incluso una sola capa oculta y una función de activación arbitraria puede aproximarse a cualquier función continua. ¿Qué otros modelos hay que también son aproximadores de función universal?

15 machine-learning  function  approximation 

Uso el término del título en un sentido muy laxo. Hay una gran cantidad de trabajo sobre la teoría de los juegos evolutivos, incluidos sus fundamentos matemáticos. Me recomendaron "Juegos evolutivos y dinámica de población", pero aún no he profundizado en ello. También hay una gran cantidad de trabajo sobre …

15 reference-request  gt.game-theory  genetic-algorithms  evolutionary-game-theory 

Antecedentes Las funciones en son PAC que se pueden aprender en tiempo cuasipolinomial con un algoritmo clásico que requiere consultas elegidas al azar para aprender un circuito de profundidad d [1]. Si no hay un algoritmo de factorización , entonces esto es óptimo [2]. Por supuesto, en una computadora cuántica …

15 quantum-computing  lg.learning  machine-learning  open-problem  ne.neural-evol 

¿Puede indicar cómo construir la función Ackerman (en realidad estoy interesado en una versión propuesta por Rózsa Péter y Raphael Robinson) a través de operadores mu-recursivos estándar? Probé documentos originales de Péter y Robinson, pero el papel de Péter usa un idioma diferente al inglés y los documentos de Robinson …

15 computability 

La desfuncionalización es una transformación de programa que convierte los programas de orden superior en programas de primer orden. La idea es que, dado un programa, solo hay finitamente muchas abstracciones lambda, por lo que puede reemplazar cada lambda con un id, y cada aplicación de función con una llamada …

15 pl.programming-languages  compilers 

Estoy tratando de entender algunos conceptos sobre la descomposición modular y los gráficos de ancho de camarilla. En este documento ("En gráficos P4-tidy"), hay una prueba de cómo resolver problemas de optimización como el número de camarilla o el número cromático usando la descomposición modular. Resolver estos problemas componiendo (usando …

15 graph-theory  graph-algorithms  cliquewidth 

Un conjunto de bateo de una familia S= { S1, ... , Snorte}S={S1,...,Snorte}\mathcal{S} = \{S_1, \dots, S_n\} es un subconjunto HHH de ⋃nortei = 1Syo⋃yo=1norteSyo\bigcup_{i=1}^{n} S_i tal que H∩ Syo≠ ∅H∩Syo≠∅H \cap S_i \ne \emptyset para 1 ≤ i ≤ n1≤yo≤norte1 \le i \le n . El problema para encontrar …

15 cc.complexity-theory  np-hardness  approximation-hardness 

¿Cuáles son buenos documentos / libros para comprender mejor el poder de la descomposición modular y sus propiedades? Estoy particularmente interesado en los aspectos algorítmicos de la descomposición modular. He oído que es posible encontrar una descomposición modular de un gráfico en tiempo lineal. ¿Hay un algoritmo relativamente simple para …

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

Algunos antecedentes: las lógicas de muchos valores logukasiewicz fueron concebidas como lógicas modales, y Łukasiewicz dio una definición extensional del operador modal: (que atribuye a Tarski).◊ A =ree f¬ A → A◊A=def¬A→A\Diamond A =_{def} \neg A \to A Esto proporciona una lógica modal extraña, con algunos teoremas paradójicos, si no …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic 

Estoy buscando documentos y artículos sobre lógicas subestructurales modales, no sobre la semántica de las modalidades de lógica lineal, sino sobre lógicas subestructurales aumentadas con operadores modales estándar, por ejemplo, K estructural (algo así como MALL con operador de caja, necesidad y reglas K).

15 reference-request  lo.logic  proof-theory