Neúplné vyhledávací algoritmy

• Main Author: Lehotský, Jakub
• Other Authors: Barták, Roman
• Format: Dissertation
• Language: English
• Published: 2011
• Online Access: http://www.nusl.cz/ntk/nusl-295956

Title:Incomplete Search Techniques Author: Jakub Lehotský Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: Doc. RNDr. Roman Barták, Ph.D. Supervisor's email address: [e-mail] Abstract:The constraint satisfaction problems is set of discrete combinatorial problems which address to solve many of the real life problems. They are commonly solved by inference and search algorithms. In most cases the complete search algorithm can find a solution to a problem, but in many cases, search space is too large to be explored completely. In these case the limitation of search space is necessary in a way which gives us some way to still find a solution without having to search whole search space. Discrepancy-based search algorithms limit the search space by limiting the number where search decisions go against the heuristic in given search. Incomplete algorithms don't guarantee finding a solution. Many incomplete algorithms have any-time property useful in optimization problems, where algorithm provides some solution at any time even if it is not an optimal one. Keywords: CSP, incomplete search, discrepancy search 1