EP3341325A4 - System und verfahren zur 3sat-lösung mit einem quantencomputer - Google Patents

System und verfahren zur 3sat-lösung mit einem quantencomputer Download PDF

Info

Publication number
EP3341325A4
EP3341325A4 EP16845293.6A EP16845293A EP3341325A4 EP 3341325 A4 EP3341325 A4 EP 3341325A4 EP 16845293 A EP16845293 A EP 16845293A EP 3341325 A4 EP3341325 A4 EP 3341325A4
Authority
EP
European Patent Office
Prior art keywords
sat
resolving
quantum computer
quantum
computer
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Withdrawn
Application number
EP16845293.6A
Other languages
English (en)
French (fr)
Other versions
EP3341325A1 (de
Inventor
Zachary B. Walters
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Individual
Original Assignee
Individual
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Individual filed Critical Individual
Priority claimed from PCT/US2016/051376 external-priority patent/WO2017044974A1/en
Publication of EP3341325A1 publication Critical patent/EP3341325A1/de
Publication of EP3341325A4 publication Critical patent/EP3341325A4/de
Withdrawn legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N10/00—Quantum computing, i.e. information processing based on quantum-mechanical phenomena
    • G06N10/40—Physical realisations or architectures of quantum processors or components for manipulating qubits, e.g. qubit coupling or qubit control
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N7/00—Computing arrangements based on specific mathematical models
    • G06N7/01—Probabilistic graphical models, e.g. probabilistic networks
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N10/00—Quantum computing, i.e. information processing based on quantum-mechanical phenomena
    • G06N10/20—Models of quantum computing, e.g. quantum circuits or universal quantum computers

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Artificial Intelligence (AREA)
  • Mathematical Physics (AREA)
  • Data Mining & Analysis (AREA)
  • Evolutionary Computation (AREA)
  • Software Systems (AREA)
  • Mathematical Analysis (AREA)
  • Mathematical Optimization (AREA)
  • Pure & Applied Mathematics (AREA)
  • Computing Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Computational Mathematics (AREA)
  • Condensed Matter Physics & Semiconductors (AREA)
  • Algebra (AREA)
  • Probability & Statistics with Applications (AREA)
  • Complex Calculations (AREA)
EP16845293.6A 2015-09-11 2016-09-12 System und verfahren zur 3sat-lösung mit einem quantencomputer Withdrawn EP3341325A4 (de)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US201562217432P 2015-09-11 2015-09-11
US201562249438P 2015-11-02 2015-11-02
PCT/US2016/051376 WO2017044974A1 (en) 2015-09-11 2016-09-12 System and method for solving 3sat using a quantum computer

Publications (2)

Publication Number Publication Date
EP3341325A1 EP3341325A1 (de) 2018-07-04
EP3341325A4 true EP3341325A4 (de) 2019-05-15

Family

ID=62083369

Family Applications (1)

Application Number Title Priority Date Filing Date
EP16845293.6A Withdrawn EP3341325A4 (de) 2015-09-11 2016-09-12 System und verfahren zur 3sat-lösung mit einem quantencomputer

Country Status (2)

Country Link
EP (1) EP3341325A4 (de)
CN (1) CN108025911B (de)

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP3975073B1 (de) * 2020-09-29 2024-02-28 Terra Quantum AG Hybride quantenberechnungsarchitektur zur lösung quadratischer uneingeschränkter binärer optimierungsprobleme
CN114202117B (zh) * 2021-12-07 2022-06-28 北京量子信息科学研究院 数据处理方法、装置、计算机设备和存储介质
CN114334018B (zh) * 2021-12-29 2024-09-06 深圳晶泰科技有限公司 获取分子特征描述的方法、装置及存储介质
CN114446414B (zh) * 2022-01-24 2023-05-23 电子科技大学 基于量子循环神经网络的逆向合成分析方法
CN116541947B (zh) * 2022-01-25 2024-07-16 本源量子计算科技（合肥）股份有限公司 车辆配置的SAT或MAX-SAT问题的Grover求解方法及装置
CN116167449B (zh) * 2022-11-24 2025-05-30 阿里巴巴达摩院(杭州)科技有限公司 量子处理器中比特量子门的保真度的确定方法和存储介质

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050167658A1 (en) * 2003-12-09 2005-08-04 Williams Colin P. Non-unitary probabilistic quantum computing circuit and method
US20140187427A1 (en) * 2011-07-06 2014-07-03 D-Wave Systems Inc. Quantum processor based systems and methods that minimize an objective function

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE10194333T1 (de) * 2000-09-26 2003-08-28 Robert Raussendorf Methode des Quantenrechnens
US20030093451A1 (en) * 2001-09-21 2003-05-15 International Business Machines Corporation Reversible arithmetic coding for quantum data compression
US20090182542A9 (en) * 2001-12-22 2009-07-16 Hilton Jeremy P Hybrid classical-quantum computer architecture for molecular modeling
DE04711889T1 (de) * 2003-02-14 2006-11-30 Clearsight Systems Inc., Bellevue Verfahren und programmierbare Vorrichtung zur Quantenberechnung
US7376547B2 (en) * 2004-02-12 2008-05-20 Microsoft Corporation Systems and methods that facilitate quantum computer simulation
CN101118608B (zh) * 2007-08-23 2011-07-20 清华大学 任意量子比特门的分解方法

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050167658A1 (en) * 2003-12-09 2005-08-04 Williams Colin P. Non-unitary probabilistic quantum computing circuit and method
US20140187427A1 (en) * 2011-07-06 2014-07-03 D-Wave Systems Inc. Quantum processor based systems and methods that minimize an objective function

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
GREENWOOD G W: "Finding solutions to NP problems: philosophical differences between quantum and evolutionary search algorithms", EVOLUTIONARY COMPUTATION, 2001. PROCEEDINGS OF THE 2001 CONGRESS ON MAY 27-30, 2001, PISCATAWAY, NJ, USA,IEEE, vol. 2, 27 May 2001 (2001-05-27), pages 815 - 822, XP010551884, ISBN: 978-0-7803-6657-2 *
See also references of WO2017044974A1 *
ZACHARY B WALTERS: "A linear time quantum algorithm for 3SAT using irreversible quantum operations", 28 September 2015 (2015-09-28), XP055574547, Retrieved from the Internet <URL:https://arxiv.org/pdf/1510.00409v6.pdf> [retrieved on 20190325] *

Also Published As

Publication number Publication date
CN108025911B (zh) 2022-04-19
CN108025911A (zh) 2018-05-11
EP3341325A1 (de) 2018-07-04

Similar Documents

Publication Publication Date Title
EP3481294A4 (de) Verfahren und system zur bereitstellung einer gehirn-computer-schnittstelle
EP3334157A4 (de) Interprädiktionsverfahren und -vorrichtung in einem videocodierungssystem
EP3334158A4 (de) Inter-prädiktionsverfahren und -vorrichtung in einem videocodierungssystem
EP3507672A4 (de) Schnittstellensystem und -verfahren für softwaredefinierte vorrichtung
EP3352094A4 (de) Bildabrufverfahren und -system
EP3608864A4 (de) Händlerbewertungsverfahren und -system
EP3336694A4 (de) Verfahren und system zur durchführung von datenverfolgung anhand eines softwareentwicklungskits
EP3307353A4 (de) Einführsystem und verfahren
EP3503980A4 (de) Trainingssystem und verfahren
EP3420457A4 (de) System und verfahren eines tracers on cloud-dienst-anbietern
EP3420466A4 (de) Verfahren und system zur lösung der lagrange-dualität eines binären polynomisch gebundenen polynomialen programmierungsproblems unter verwendung eines binären optimierers
EP3506974A4 (de) Patientenschnittstelle, system und verfahren
EP3379478A4 (de) Registervorrichtung, programm, abrechnungshilfesystem und abrechnungshilfeverfahren
EP3308159A4 (de) Bodenzustandsanalysesystem und verfahren
EP3356003A4 (de) Verfahren und system zur interaktion mit einer virtuellen umgebung
EP3326528A4 (de) Ganganalyseverfahren und ganganalysesystem
EP3335440A4 (de) System und verfahren zur positionsbestimmung mittels mesh-routing
EP3342280A4 (de) Viehregistrierungssystem und viehregistrierungsverfahren
EP3341325A4 (de) System und verfahren zur 3sat-lösung mit einem quantencomputer
EP3325990A4 (de) Gradiometersystem und -verfahren
EP3537962A4 (de) Verfahren und system zur beurteilung von blutgefässen
EP2996366A4 (de) Anwendungsempfehlungverfahren, -system und -server
EP3294112A4 (de) Vorrichtung, system und verfahren zur bestimmung einer pupillardistanz
EP3241074A4 (de) System und verfahren für interaktive projektion
EP3451278A4 (de) System zur erstellung eines lieferplans und verfahren zur erstellung eines lieferplans

Legal Events

Date Code Title Description
STAA Information on the status of an ep patent application or granted ep patent

Free format text: STATUS: THE INTERNATIONAL PUBLICATION HAS BEEN MADE

PUAI Public reference made under article 153(3) epc to a published international application that has entered the european phase

Free format text: ORIGINAL CODE: 0009012

STAA Information on the status of an ep patent application or granted ep patent

Free format text: STATUS: REQUEST FOR EXAMINATION WAS MADE

17P Request for examination filed

Effective date: 20180329

AK Designated contracting states

Kind code of ref document: A1

Designated state(s): AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO RS SE SI SK SM TR

AX Request for extension of the european patent

Extension state: BA ME

DAV Request for validation of the european patent (deleted)
DAX Request for extension of the european patent (deleted)
A4 Supplementary search report drawn up and despatched

Effective date: 20190411

RIC1 Information provided on ipc code assigned before grant

Ipc: G06N 10/00 20190101AFI20190405BHEP

STAA Information on the status of an ep patent application or granted ep patent

Free format text: STATUS: EXAMINATION IS IN PROGRESS

17Q First examination report despatched

Effective date: 20210929

STAA Information on the status of an ep patent application or granted ep patent

Free format text: STATUS: THE APPLICATION IS DEEMED TO BE WITHDRAWN

18D Application deemed to be withdrawn

Effective date: 20220210