Ciencias de la computación teórica

Larry Wasserman tiene una publicación reciente donde habla sobre la "policía de valor p". Él hace un punto interesante (todo el énfasis es mío) (la premisa en cursiva que agregué y su respuesta debajo): La queja más común es que físicos y periodistas explican incorrectamente el significado de un valor …

15 ds.algorithms  soft-question  big-list 

Recientemente me interesé bastante en la parametricidad después de ver el artículo LICS 2012 de Bernardy y Moulin ( https://dl.acm.org/citation.cfm?id=2359499 ). En este documento, internalizan la parametricidad unaria en un sistema de tipo puro con tipos dependientes y dan pistas sobre cómo puede extender la construcción a aridades arbitrarias. Solo …

15 lo.logic  pl.programming-languages  type-systems  logical-relations  parametricity 

Al implementar un filtro Bloom, el enfoque tradicional requiere múltiples funciones hash independientes. Kirsch y Mitzenmacher demostraron que en realidad solo necesitas dos, y puedes generar el resto como combinaciones lineales de los mismos. Mi pregunta es: ¿cuál es realmente la diferencia entre dos funciones hash y una con el …

15 ds.data-structures  it.information-theory  hash-function 

Un gráfico conectado puede descomponerse en sus componentes biconéctados. Este árbol de punto de corte de bloque es único. Del mismo modo, los gráficos biconéctados se pueden descomponer en componentes triconéctados. El árbol SPQR correspondiente describe todos los cortes de 2 vértices en el gráfico y se determina de manera …

15 graph-theory  co.combinatorics 

Los gráficos tienen . Dichos gráficos pueden descomponerse en componentes , que se sabe que son componentes planos o .K3 , 3K3,3K_{3,3}K5 5K5 5K_5 ¿Existe una descomposición tan "agradable" de los gráficos del género uno? En su trabajo seminal sobre gráficos menores, Roberston y Seymour demostraron que cada gráfico libre …

15 graph-theory  co.combinatorics  planar-graphs  graph-minor 

max { k , n / k }max{k,norte/ /k}\max \left\{k, n/k\right\}k = n--√k=nortek=\sqrt n Algoritmo de paso gigante de paso de bebé para calcular el logaritmo discreto en O ( n--√)O(norte)O(\sqrt n) , rango ortogonal 2D estático que cuenta en tiempo O ( n--√)O(norte)O(\sqrt n) y memoria O ( n …

15 ds.algorithms  ds.data-structures  big-list  teaching 

En la perspectiva del lenguaje de programación, ¿qué significa subtipo? Escuché que "La herencia no es subtipo". Entonces, ¿cuáles son las diferencias entre herencia y subtipo?

15 pl.programming-languages  type-theory  type-systems  object-oriented 

El algoritmo Weisfeiler-Lehman 1-dim (WL) se conoce comúnmente como etiquetado canónico o algoritmo de refinamiento de color. Funciona de la siguiente manera: La coloración inicial es uniforme, C 0 ( v ) = 1 para todos los vértices v ∈ V ( G ) ∪ V ( H ) .C0 …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

El álgebra booleana se puede expresar en cálculo lambda sin tipo de (por ejemplo) de esta manera. true = \t. \f. t; false = \t. \f. t; not = \x. x false true; and = \x. \y. x y false; or = \x. \y. x true y; También el álgebra …

15 lo.logic  type-theory  lambda-calculus 

Preámbulo. La clase de complejidad AM son aquellos problemas que pueden resolverse mediante un sistema de prueba interactivo de dos rondas entre un probador "Merlin" y un verificador "Arthur". Un problema, que prueba alguna propiedad de un objeto X , está en AM si: Para casos de SÍ , para …

15 cc.complexity-theory  interactive-proofs  unique-solution 

¿Existe algún paquete de software que permita la descomposición de unidades unitarias de en circuitos cuánticos sobre un conjunto de compuerta universal predefinido?U( 2norte)U(2norte)U(2^n)

15 quantum-computing  software 

Considere el siguiente problema: Entrada : un hiperplano , dado por un vector y en representación binaria estándar.a ∈ Z n b ∈ ZH={y∈Rn:aTy=b}H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\}a∈Zna∈Zn\mathbf{a} \in \mathbb{Z}^nb∈Zb∈Zb \in \mathbb{Z} Salida :x∈Zn=argmind(x,H)x∈Zn=arg⁡mind(x,H)\mathbf{x} \in \mathbb{Z}^n = \arg \min d( \mathbf{x}, H) En la notación anterior …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice 

Q1. ¿Cuándo podemos decir que dos programas (escritos en algún lenguaje de programación como C ++) son diferentes? El primer extremo es decir que dos programas son equivalentes si son idénticos. El otro extremo es decir que dos programas son equivalentes si calculan la misma función (o muestran el mismo …

15 pl.programming-languages  semantics  equivalence 

¿Cuáles son algunos problemas no triviales donde sabemos que el algoritmo actual que tenemos es el asintóticamente óptimo? (Para máquinas de turing) ¿Y cómo se prueba esto?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

Coloquialmente, la definición del exponente de multiplicación de matrices es el valor más pequeño para el cual existe un algoritmo de multiplicación de matrices conocido . Esto no es aceptable como una definición matemática formal, por lo que supongo que la definición técnica es algo así como el infimum sobre …

15 ds.algorithms  linear-algebra