کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4942755 | 1437416 | 2017 | 10 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Experimental analyses of the K-hidden algorithm
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Experimental analyses of the K-hidden algorithm Experimental analyses of the K-hidden algorithm](/preview/png/4942755.png)
چکیده انگلیسی
The K-hidden algorithm is proposed in our previous work, and it is a more fine-grained algorithm for generating negative databases (NDBs). The hardness of reversing the K-hidden-NDB (i.e., the NDB that is generated by the K-hidden algorithm) by the local search strategy and the Unit Clause heuristics has been analyzed in theory in the previous work. It was demonstrated that the K-hidden-NDB could be more hard-to-reverse (with regard to the local search strategy) and diverse than the p-hidden-NDB and q-hidden-NDB (NDBs that are generated by the typical p-hidden algorithm and q-hidden algorithm, respectively). However, no experiments was carried out in the previous work to verify the hardness of reversing the K-hidden-NDB and its diversity. In this paper, several experiments, which employ three SAT solvers, are carried out to verify the hardness of reversing the K-hidden-NDB and its diversity. Two solvers are traditional SAT solvers (i.e., WalkSAT and zChaff) based on the local search strategy and the Unit Clause heuristics, respectively, and they are widely used in verifying the hardness of SAT instances and reversing NDBs. Another one is a state-of-the-art SAT solver, which won the gold prize of the Sequential Random SAT Track in SAT Competition 2014.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Engineering Applications of Artificial Intelligence - Volume 62, June 2017, Pages 331-340
Journal: Engineering Applications of Artificial Intelligence - Volume 62, June 2017, Pages 331-340
نویسندگان
Dongdong Zhao, Wenjian Luo, Ran Liu, Lihua Yue,