WO2009097290A3 - Data processing system for solving np problems without hyper-polynomial cost - Google Patents
Data processing system for solving np problems without hyper-polynomial cost Download PDFInfo
- Publication number
- WO2009097290A3 WO2009097290A3 PCT/US2009/032153 US2009032153W WO2009097290A3 WO 2009097290 A3 WO2009097290 A3 WO 2009097290A3 US 2009032153 W US2009032153 W US 2009032153W WO 2009097290 A3 WO2009097290 A3 WO 2009097290A3
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- data processing
- analysis
- design
- software
- devices
- Prior art date
Links
- 238000000034 method Methods 0.000 abstract 3
- 238000004458 analytical method Methods 0.000 abstract 2
- 238000013473 artificial intelligence Methods 0.000 abstract 1
- 230000006835 compression Effects 0.000 abstract 1
- 238000007906 compression Methods 0.000 abstract 1
- 230000008094 contradictory effect Effects 0.000 abstract 1
- 238000010191 image analysis Methods 0.000 abstract 1
- 102000004169 proteins and genes Human genes 0.000 abstract 1
- 108090000623 proteins and genes Proteins 0.000 abstract 1
- 239000004065 semiconductor Substances 0.000 abstract 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/10—Complex mathematical operations
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- Mathematical Physics (AREA)
- Theoretical Computer Science (AREA)
- Data Mining & Analysis (AREA)
- General Physics & Mathematics (AREA)
- Pure & Applied Mathematics (AREA)
- Mathematical Optimization (AREA)
- Algebra (AREA)
- Computational Mathematics (AREA)
- Databases & Information Systems (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Mathematical Analysis (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
Within satisfaction problems or any decision or other problem which is reducible to a satisfaction problem, the invention tracks the sources of implications and identifies proximal parameterizations of conditional contradictions and subsequently avoids those contradictory conditions. The action is completed in less time than is incurred by existing methods and thus provides a performance improvement to the devices, software, or processes which address such problems. Such problems are addressed by devices, software, and processes related to many technical fields, including: image compression; image analysis; cryptanalysis; telecommunications routing; generic control systems for data processing; structural design of data processing systems; design and analysis of circuit or semiconductor mask; artificial intelligence; logistic scheduling and routing; design and analysis of proteins.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US12/823,652 US8577825B2 (en) | 2008-01-29 | 2010-06-25 | System, method and device for solving problems in NP without hyper-polynomial cost |
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US6264608P | 2008-01-29 | 2008-01-29 | |
US61/062,646 | 2008-01-29 |
Related Child Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
US12/823,652 Continuation-In-Part US8577825B2 (en) | 2008-01-29 | 2010-06-25 | System, method and device for solving problems in NP without hyper-polynomial cost |
Publications (2)
Publication Number | Publication Date |
---|---|
WO2009097290A2 WO2009097290A2 (en) | 2009-08-06 |
WO2009097290A3 true WO2009097290A3 (en) | 2010-05-20 |
Family
ID=40913476
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PCT/US2009/032153 WO2009097290A2 (en) | 2008-01-29 | 2009-01-27 | Data processing system for solving np problems without hyper-polynomial cost |
Country Status (1)
Country | Link |
---|---|
WO (1) | WO2009097290A2 (en) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10528868B2 (en) | 2010-06-25 | 2020-01-07 | Clayton Gillespie | Solving NP-complete problems without hyper polynomial cost |
AU2015236144B2 (en) * | 2014-03-25 | 2020-04-30 | Clayton Gillespie | Solving NP-complete problems without hyper polynomial cost |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20020143754A1 (en) * | 2001-01-11 | 2002-10-03 | Glenn Paulley | Prime implicates and query optimization in relational databases |
US20040103108A1 (en) * | 2000-09-05 | 2004-05-27 | Leonid Andreev | Method and computer-based sytem for non-probabilistic hypothesis generation and verification |
-
2009
- 2009-01-27 WO PCT/US2009/032153 patent/WO2009097290A2/en active Application Filing
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20040103108A1 (en) * | 2000-09-05 | 2004-05-27 | Leonid Andreev | Method and computer-based sytem for non-probabilistic hypothesis generation and verification |
US20020143754A1 (en) * | 2001-01-11 | 2002-10-03 | Glenn Paulley | Prime implicates and query optimization in relational databases |
Also Published As
Publication number | Publication date |
---|---|
WO2009097290A2 (en) | 2009-08-06 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
TW200735583A (en) | I/O systems, methods and devices for interfacing a pump controller | |
TW200718210A (en) | Video image processing with parallel processing | |
WO2007114911A3 (en) | Driver interface for data capture systems | |
WO2007125527A3 (en) | Method, device and system of scheduling data transport over a fabric | |
WO2004088462A3 (en) | Hardware assisted firmware task scheduling and management | |
TW200718209A (en) | Video image processing with processing time allocation | |
GB2481772A (en) | Bios image manager | |
MX2009008376A (en) | Behavioral recognition system. | |
GB2447402A (en) | Processing video data | |
MY196384A (en) | Method and Apparatus for Transmitting and Receiving Wireless Signal in Wireless Communication System | |
EP2114014A3 (en) | Systems and methods for iterative data detection and/or decoding | |
MY138874A (en) | Predication instruction within a data processing system | |
BRPI0514786A (en) | method for distributing electronic service guide data, computer readable medium, and method for receiving data, system for distributing data, mobile terminal for receiving data and system for transmitting electronic service guide data | |
MX2013002128A (en) | Transmission device, transmission method, reception device, reception method, program, and broadcast system. | |
WO2011135452A3 (en) | An ip-closed circuit system and method | |
WO2010131842A3 (en) | Navigation apparatus, navigation system, and method for operating same | |
TW200718208A (en) | Video image processing with utility processing stage | |
WO2009059918A3 (en) | Data processing system and method for managing available resources of a data processing system provided, in particular, for controlling an industrial robot | |
EP2033334A4 (en) | System, method and device of receiving signals of a plurality of communication services | |
WO2013177347A3 (en) | Dynamically erectable computer system | |
ATE491183T1 (en) | METHOD AND DEVICE FOR ACCESS CONTROL OF SEVERAL APPLICATIONS | |
WO2006128183A3 (en) | Method and apparatus for cross-referencing important ip relationships | |
EP1906305A3 (en) | Method and system for data preparation and communication between software applications | |
SG162641A1 (en) | System and process for imate rescaling using adaptive interpolation kernel with sharpness and overshoot control | |
WO2009097290A3 (en) | Data processing system for solving np problems without hyper-polynomial cost |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
121 | Ep: the epo has been informed by wipo that ep was designated in this application |
Ref document number: 09705334 Country of ref document: EP Kind code of ref document: A2 |
|
WWE | Wipo information: entry into national phase |
Ref document number: 2010545088 Country of ref document: JP |
|
NENP | Non-entry into the national phase |
Ref country code: DE |
|
122 | Ep: pct application non-entry in european phase |
Ref document number: 09705334 Country of ref document: EP Kind code of ref document: A2 |
|
NENP | Non-entry into the national phase |
Ref country code: JP |