Ciencias de la Computación

El modelo de aprendizaje probablemente aproximadamente correcto (PAC) se define como: Se dice que una clase de concepto puede aprenderse con PAC si existe un algoritmo y una función polinómica tal que para cualquier ε> 0 y δ> 0 , para todas las distribuciones D en X y para cualquier …

8 machine-learning 

Tengo un gráfico no ponderado no dirigido y quiero seleccionar nodos de modo que estén en pares lo más lejos posible entre sí, en términos de distancia geodésica . En otras palabras, deben extenderse alrededor del gráfico como sea posible.GGGkkkGGG Que ser la longitud de un camino más corto entre …

8 algorithms  graph-theory  graphs 

Soy estudiante universitario y estoy deseando convertirme en académico; hacer todo el doctorado y comenzar a investigar. Estoy interesado en una variedad de cosas relacionadas con la informática, pero últimamente las tecnologías P2P realmente me han llamado la atención. Tengo la impresión de que necesito elegir uno de los campos …

8 distributed-systems  research 

Me dan n objetos, y un conjunto de n permutaciones de estos n objetos (de n! Permutaciones totales). Hay una verdadera permutación subyacente, que sé que es una entre el conjunto de n permutaciones, pero no sé cuál. Sin embargo, un oráculo conoce la verdadera permutación. Para encontrar la permutación …

8 complexity-theory  lower-bounds  search-problem  permutations 

Según la tesis de Church-Turing, es imposible diseñar un algoritmo para decidir el problema de detención. ¿La palabra algoritmo en este contexto incluye inteligencia artificial o no, es decir, la tesis de Church-Turing también se aplica a la inteligencia artificial? ¿Es posible diseñar un sistema de inteligencia en el futuro …

8 computability  artificial-intelligence  halting-problem  church-turing-thesis 

El ejercicio 4.29 de Computación cuántica e información cuántica de Nielsen y Chuang me tiene perplejo. Encuentre un circuito que contenga Toffoli, CNOT y compuertas qubit simples que implemente una compuerta (para ), sin utilizar qubits de trabajo.O (norte2)O(norte2)O(n^2)Cnorte( X)Cnorte(X)C^n(X)n > 3norte>3n > 3 He descubierto que esto no se …

8 quantum-computing  circuits 

Sé que la Comprobación de modelo simbólico es un recorrido de espacio de estado basado en representaciones de conjuntos de estados y relaciones de transición como fórmulas como en CTL usando modelos como Kripke Model. Conozco la teoría Pero me resulta difícil entender la aplicación real. ¿Dónde se usa exactamente? …

8 formal-methods  model-checking  software-verification 

En un gráfico , hacemos el siguiente proceso:G ( V, E)G(V,E)G(V,E) Inicialmente, todos los nodos en son incoloros.VVV Si bien hay nodos sin color en , cada nodo sin color hace lo siguiente: VVV Selecciona un número real aleatorio y lo envía a todos sus vecinos; Compara su número con …

8 algorithm-analysis  graphs  distributed-systems  parallel-computing  randomized-algorithms 

Parece que la distinción entre fibras e hilos es que las fibras se programan de forma cooperativa, mientras que los hilos se programan de forma preventiva. El punto del planificador parece ser una forma de hacer que un recurso de procesador en serie actúe de manera paralela, "compartiendo el tiempo" …

8 parallel-computing  threads  multi-tasking 

Estoy trabajando en mi propio lenguaje de programación con fines educativos, y me he encontrado con un pequeño problema. Hay algunas soluciones diferentes para ello, pero todas parecen poco elegantes, y por lo que entiendo, innecesarias. Pero leyendo los libros que tengo y las búsquedas en Google, no puedo encontrar …

8 programming-languages  loops  language-design 

He leído muchos documentos y libros sobre ontologías y estoy tratando de entender cómo se usan en un proyecto real. Por ejemplo, ¿cómo se puede definir y utilizar la ontología para un robot jugador de fútbol con una arquitectura cognitiva para que sea inteligente? ¿Son las ontologías relaciones entre los …

8 artificial-intelligence  applied-theory  knowledge-representation  ontologies  robotics 

Un TA llegó hoy para preguntar algunas cosas sobre NP y co-NP. Llegamos a un punto en el que también estaba perplejo: ¿qué aspecto tiene un diagrama de Venn de P, NPI, NP y co-NP suponiendo que P ≠ NP (el otro caso es aburrido)? Parece que hay cuatro opciones …

8 complexity-theory  reference-request  complexity-classes  np 

Este es un problema de ejercicio (Ej. 3) de la excelente nota de lectura de Jeff Erickson Lectura 20: Árboles de expansión mínima [Fa'13] . Probar que un gráfico ponderado por el borde GGG tiene un árbol de expansión mínimo único si y solo si se cumplen las siguientes condiciones …

8 graph-theory  spanning-trees 

Supongamos que ΠΠ\Pi es un problema de decisión decidible. ¿ Π∉NPΠ∉NP\Pi\not \in NP implica ΠΠ\Pi is NPNPNP -Hard? Editar: si suponemos que existe Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus NP entonces hemos terminado. ¿Podemos refutar el reclamo sin suposiciones desconocidas?

8 complexity-theory  np-hard  complexity-classes  np 

Se dice que el Método de Incompresibilidad simplifica el análisis de algoritmos para el caso promedio. Por lo que entiendo, esto se debe a que no hay necesidad de calcular todas las combinaciones posibles de entrada para ese algoritmo y luego derivar una complejidad promedio. En cambio, se toma una …

8 algorithm-analysis  kolmogorov-complexity