Tecnologías Específicas

Computación

Descripcion y Objetivos

El principio de dualidad que nos ocupa alude a la propiedad de una función Booleana según la cual cada resultado teórico en Álgebra Booleana tiene otro resultado dual. El dual de una función Booleana se calcula intercambiando operadores de conjunción y disyunción, así como 0 y 1.

Se trata de comparar soluciones mediante recocidos para computación clásica y cuántica al problema de dualización de funciones Booleanas Positivas.

Se espera del proyectando que realice una aproximación práctica mediante los ordenadores de D-Wave y que verifique los resultados teóricos a este respecto que la más reciente bibliografia científica ofrece.

 

Metodología y Competencias

Metodología:

1. Estudio del problema con especial atención a la solución propuesta en Quantum Machine Intelligence Journal.
2. Estudio de los principios básicos de Computación Cuántica
3. Estudio de los principios básicos de Quantum Annealers
4. Estudio de la oferta de computación de D-WAVE systems
5. Describirá el proceso para implementar problemas QUBO en D-Wave
6. Comparación de resultados sobre ambos tipos de Annealers

Con este TFG el alumnos adquirirá las siguientes competencias de la tecnologia especifica de Computación:

• [CM1] Capacidad para tener un conocimiento profundo de los principios fundamentales y modelos de la computación y saberlos aplicar para interpretar, seleccionar, valorar, modelar, y crear nuevos conceptos, teorías, usos y desarrollos tecnológicos relacionados con la informática.
• [CM3] Capacidad para evaluar la complejidad computacional de un problema, conocer estrategias algorítmicas que puedan conducir a su resolución y recomendar, desarrollar e implementar aquella que garantice el mejor rendimiento de acuerdo con los requisitos establecidos.

 

Medios a utilizar

Se necesitará un ordenador con acceso a internet para poder acceder a las fuentes de información y
servicios prestados por las empresas.
El ordenador deberá tener una capacidad suficiente que permita ejecutar en el entorno proporcionado por D-Wave.
Todos los medios necesarios se encuentran disponibles en el grupo de investigación de los directores.

 

Bibliografía

• Nielsen, Michael A. and Chuang, Isaac L.
  • Quantum Computation and Quantum Information, 2000. Cambridge University Press
• D-Wave
  • https://www.dwavesys.com/
• Kochenberger, Gary; Hao, Jin-Kao (2014)
  • "The unconstrained binary quadratic programming problem: a survey"
• Glover, Fred; Kochenberger, Gary (2019)
  • "A Tutorial on Formulating and Using QUBO Models"
• Mauro Mezzini, Fernando Cuartero Gomez, Fernando Lopez Pelayo, Jose Javier Paulet Gonzalez, Hernan Indibil de la Cruz Calvo, Vicente Pascual(2023)
  • "A polynomial quantum computing algorithm for solving the dualization problem for positive boolean functions"