Preguntas etiquetadas con reference-request

La computación cuántica es un área activa de investigación que tiene como objetivo aprovechar la física cuántica (por ejemplo, entrelazamiento cuántico) para avanzar en las capacidades de eficiencia de las computadoras (no altera la tesis de Church-Turing ). ¿Cuáles son los experimentos más significativos que se han llevado a cabo …

17 reference-request  quantum-computing 

Suponga que se le da un gráfico H, simple, conectado y no dirigido. El problema del corte sin H se define de la siguiente manera: Dado un gráfico simple, no dirigido G, ¿hay un corte (partición de vértices en dos conjuntos no vacíos, L, R) de tal manera que los …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Conozco al menos dos enfoques teóricos diferentes para comprender las bases de datos relacionales: álgebra / cálculo relacional de Codd y teoría de categorías. ¿Hay alguna relación entre estos dos enfoques? ¿Son en algún sentido equivalentes? ¿Existe algún trabajo introductorio que explique cómo ambos marcos explican las bases de datos …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Antecedentes . Soy un estudiante de licenciatura que está interesado en investigaciones relacionadas con la teoría de categorías, mónadas y Haskell, y quiero encontrar un tema para mi tesis de licenciatura en esa área. He mirado el papel Eugenio Moggi , " Nociones de computaciones y mónadas ", 1991, y …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Se sabe que la intersección de tres matroides generales es NP-hard ( fuente ), que se realiza a través de la reducción del ciclo hamiltoniano. La reducción utiliza un matroide gráfico y dos matroides de conectividad. Un caso especial de un problema en el que estoy trabajando puede resolverse mediante …

16 reference-request  np-hardness  reductions 

Estoy interesado en ordenar una matriz de valores enteros positivos L=v1,…,vnL=v1,…,vnL = v_1, \ldots, v_n en tiempo lineal (en el modelo RAM con una medida de costo uniforme, es decir, los enteros pueden tener un tamaño logarítmico pero se supone que las operaciones aritméticas en ellos tomar unidad de tiempo). …

16 reference-request  time-complexity  sorting 

Muchas publicaciones de ciencias de la computación de las décadas de 1950 y 1960 contienen especulaciones filosóficas fascinantes sobre la naturaleza de la mente y el significado de la información en relación con el mundo físico. Ejemplos famosos son la "Prueba de Turing", el "Espacio de cálculo" de Zuse, "It …

16 reference-request  soft-question  philosophy 

Un gráfico mixto es un gráfico que puede tener bordes tanto dirigidos como no dirigidos. Su gráfico subyacente no dirigido se obtiene olvidando las orientaciones de los bordes dirigidos, y en la otra dirección se obtiene una orientación de un gráfico mixto al asignar una dirección a cada borde no …

16 ds.algorithms  reference-request  graph-theory  graph-algorithms  directed-acyclic-graph 

El recuento de triángulos en gráficos generales se puede hacer trivialmente en el tiempo y creo que hacer mucho más rápido es difícil (se aceptan referencias). ¿Qué pasa con los gráficos planos? El siguiente procedimiento sencillo muestra que se puede hacer en tiempo . Mi pregunta es doble:O(n3)O(n3)O(n^3)O(nlogn)O(nlog⁡n)O(n\log{n}) ¿Qué es …

16 reference-request  graph-algorithms  planar-graphs 

Introduciré mi problema con un ejemplo. Supongamos que está diseñando un examen, que consiste en un cierto conjunto de preguntas independientes (que los candidatos pueden obtener bien o mal) Desea decidir sobre un puntaje para dar a cada una de las preguntas, con la regla de que los candidatos con …

16 reference-request  boolean-functions 

Sea un dígrafo (no necesariamente un DAG) y sea s , t ∈ V ( G ) . ¿Cuál es la complejidad de contar el número de rutas s - t simples en G ? GGGs,t∈V(G)s,t∈V(G)s,t \in V(G) s−ts−ts-tGGG Esperaría que el problema sea # completo pero no he podido …

16 ds.algorithms  reference-request  counting-complexity 

Estoy tratando de entender la complejidad de las funciones que se expresan a través de las puertas de umbral y esto me llevó a . En particular, estoy interesado en lo que se sabe actualmente sobre el aprendizaje dentro de T C 0 , ya que no soy un experto …

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions 

Me interesa si existen buenos artículos o encuestas expositivas a los que me pueda referir cuando escribo sobre operadores de clase de complejidad : operadores que transforman las clases de complejidad haciendo cosas como agregarles cuantificadores. Ejemplos de operadores. Lo siguiente se puede interpretar como una lista mínima mínima de …

16 reference-request  complexity-classes 

Una cubierta de borde es un subconjunto de bordes de un gráfico de tal manera que cada vértice del gráfico es adyacente al menos a un borde de la cubierta. Los siguientes dos artículos dicen que las cubiertas de borde de conteo, se #P -Complete: A FPTAS simples para el …

16 reference-request  graph-algorithms  counting-complexity  proofs 

Hay muy poca información que puedo encontrar sobre el problema NP-completo de resolver la ecuación lineal de diofantina en enteros no negativos. Es decir, ¿hay una solución en no negativo para la ecuación , donde todas las constantes son positivas? La única mención notable de este problema que conozco está …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity