Preguntas etiquetadas con algebra

Soy un profesional del software y estoy escribiendo una encuesta sobre estructuras algebraicas para la investigación personal y estoy tratando de producir ejemplos de cómo se utilizan estas estructuras en la informática teórica (y en menor grado, otros subcampos de la informática) . Bajo la teoría de grupo, me he …

67 reference-request  big-list  big-picture  algebra 

¿Alguien sabe de aplicaciones interesantes de las bases de Gröbner a la informática teórica? Las bases de Gröbner se utilizan para resolver ecuaciones polinómicas de múltiples variables, un problema NP-difícil en general. Me preguntaba si se usaron algunos casos especiales manejables para proporcionar algoritmos / construcciones / pruebas eficientes en …

41 cc.complexity-theory  reference-request  algebra  polynomials 

Tengo una base muy fuerte en álgebra, a saber álgebra conmutativa, álgebra homológica, teoría de campo, teoría de la categoría, y actualmente estoy aprendiendo geometría algebraica. Soy un experto en matemáticas con una inclinación a cambiar a la informática teórica. Teniendo en cuenta los campos mencionados anteriormente, ¿qué campo sería …

33 soft-question  algebra  advice-request  ct.category-theory 

Solo conozco dos pruebas del lema de Schwartz-Zippel. La primera prueba (más común) se describe en la entrada de wikipedia . La segunda prueba fue descubierta por Dana Moshkovitz. ¿Hay alguna otra prueba que use ideas sustancialmente diferentes?

28 cc.complexity-theory  reference-request  algebra  polynomials  finite-fields 

Hace poco estuve leyendo Las dos dualidades de la computación: tipos negativos y fraccionarios . El documento se expande sobre tipos de suma y tipos de producto, dando semántica a los tipos a - by a/b. A diferencia de la suma y la multiplicación, no hay uno sino dos inversos …

27 lo.logic  pl.programming-languages  type-theory  algebra 

Descargo de responsabilidad: no soy un teórico de CS. Viniendo del álgebra abstracta, estoy acostumbrado a lidiar con cosas que son iguales a un isomorfismo, pero tengo problemas para traducir este concepto a estructuras de datos. Primero pensé que los morfismos biyectivos teóricos establecidos serían suficientes, pero me encontré con …

20 ds.data-structures  algebra  ct.category-theory 

Tengo una educación matemática de pregrado razonable, pero nunca me he sentido 100% cómodo con el álgebra abstracta (las matemáticas de grupos, anillos, campos, etc.). Creo que esto se debió en parte a que necesitaba ver aplicaciones y cualquiera que pudiera encontrar estaba en física, no en CS. Como mi …

19 soft-question  algebra  teaching 

La teoría de categorías y el álgebra abstracta tratan la forma en que las funciones se pueden combinar con otras funciones. La teoría de la complejidad trata de cuán difícil es calcular una función. Es extraño para mí que no haya visto a nadie combinar estos campos de estudio, ya …

18 cc.complexity-theory  algebra  algebraic-complexity 

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

2 preguntas para los geómetras computacionales o algebraistas: Estoy empezando a sumergirme en la geometría computacional y me encanta =) Estoy intentando leer el famoso artículo de Guibas y Stolfi llamado "Primitivas para la manipulación de subdivisiones generales y el cálculo de Diagramas de Voronoi" para implementar un algoritmo de …

18 reference-request  cg.comp-geom  algebra 

Supongamos que tenemos polinomios p1,...,pmp1,...,pmp_1,...,p_m de grado como máximo nnn , n>mn>mn>m , de modo que el número total de coeficientes distintos de cero es nnn (es decir, los polinomios son escasos). Estoy interesado en un algoritmo eficiente para calcular el polinomio: ∑ipi(x)2∑ipi(x)2\sum_i p_i(x)^2 Como este polinomio tiene un grado …

18 ds.algorithms  algebra  polynomials 

Al leer un documento sobre el uso de métodos algebraicos para detectar algunos subgrafos inducidos, parece que el ideal de borde es una herramienta importante que conecta el álgebra conmutativa y la teoría de grafos. Como no estoy familiarizado con los cálculos de objetos algebraicos, ¿hay alguna buena referencia o …

17 ds.algorithms  reference-request  algebra  algebraic-complexity 

¿Existe , un lenguaje completo NP o P que tiene una familia de grupos de simetría (o grupoide , pero luego las preguntas algorítmicas se vuelven más abiertas) actuando (en tiempo polinómico) en conjuntos tal que hay pocas órbitas, es decir, tal que para suficientemente grande algunosLLLGnGnG_nLn={l∈L∣|l|=n}Ln={l∈L∣|l|=n}L_n = \{ l …

14 np  algebra  gr.group-theory  complexity  symmetry 

Let ser un lenguaje, entonces definimos la congruencia sintáctica como u ~ v : ⇔ ∀ x , y ∈ X * : x T y ∈ L ↔ x v y ∈ L y el cociente monoid X * / ~ L es llamado el monoide sintáctica de L …

14 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

Muchos criptosistemas de clave pública tienen algún tipo de seguridad demostrable. Por ejemplo, el criptosistema Rabin es probablemente tan difícil como factorizar. Me pregunto si existe ese tipo de seguridad comprobable para los criptosistemas de clave secreta, como AES. Si no es así, ¿cuál es la evidencia de que romper …

14 cr.crypto-security  algebra  algebraic-complexity