Moderní metody řešení problému pokrytí (Modern Covering Problem Solving Methods)

Cílem této bakalářské práce je naprogramovat metody zabývající se řešením minimálního pokrytí. Problém pokrytí se objevuje v mnoha oblastech počítačového výzkumu, syntéze logických obvodů a analýze spolehlivosti. Řešení problému pokrytí je obecně velmi zdlouhavá a nákladná záležitost, založená na prohledávání celého vyhledávacího prostoru. Cílem je tedy naprogramovat nové metody, které pro zadanou matici naleznou její minimální pokrytí, důraz je kladen na rychlost. K tomuto účelu mi byly poskytnuty na prostudování materiály uvedené v seznamu literatury. Nakonec jsem zde uvedl výsledky porovnání času běhu těchto algoritmů oproti standardním metodám.

The aim of this work is to program methods solving the covering problem. Covering problem occurs in several fields of computer science, logic synthesis and reliability analysis. Solving the covering problem may be sometimes rather time-consuming, when based on exploring whole state space. The aim is to program new methods solving the covering problem with accent to solving speed. I have been given materials mentioned in the References. Finally, I mentioned experimental results and compared with the results of standard methods.