TY - GEN

T1 - Solving computational learning problems of boolean formulae on DNA computers

AU - Sakakibara, Yasubumi

N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2001.
Copyright:
Copyright 2016 Elsevier B.V., All rights reserved.

PY - 2001

Y1 - 2001

N2 - We apply a DNA-based massively parallel exhaustive search to solving the computational learning problems of DNF (disjunctive normal form) Boolean formulae. Learning DNF formulae from examples is one of the most important open problems in computational learning theory and the problem of learning 3-term DNF formulae is known as intractable if RP 6 ≠ NP. We propose new methods to encode any k-term DNF formula to a DNA strand, evaluate the encoded DNF formula for a truth-value assignment by using hybridization and PCR, and find a consistent DNF formula with the given examples. By employing these methods, we show that the class of k-term DNF formulae (for any constant k) and the class of general DNF formulae are eficiently learnable on DNA computer.

AB - We apply a DNA-based massively parallel exhaustive search to solving the computational learning problems of DNF (disjunctive normal form) Boolean formulae. Learning DNF formulae from examples is one of the most important open problems in computational learning theory and the problem of learning 3-term DNF formulae is known as intractable if RP 6 ≠ NP. We propose new methods to encode any k-term DNF formula to a DNA strand, evaluate the encoded DNF formula for a truth-value assignment by using hybridization and PCR, and find a consistent DNF formula with the given examples. By employing these methods, we show that the class of k-term DNF formulae (for any constant k) and the class of general DNF formulae are eficiently learnable on DNA computer.

UR - http://www.scopus.com/inward/record.url?scp=33745749072&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33745749072&partnerID=8YFLogxK

U2 - 10.1007/3-540-44992-2_15

DO - 10.1007/3-540-44992-2_15

M3 - Conference contribution

AN - SCOPUS:33745749072

SN - 3540420762

SN - 9783540420767

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 220

EP - 230

BT - DNA Computing - 6th International Workshop on DNA-Based Computers, DNA 2000 Leiden, The Netherlands, June 13-17, 2000 Revised Papers

A2 - Rozenberg, Grzegorz

A2 - Condon, Anne

PB - Springer Verlag

T2 - 6th International Workshop on DNA-Based Computers, DNA 2000

Y2 - 13 June 2000 through 17 June 2000

ER -