\documentclass[11pt,oneside,a4paper]{article}
\usepackage[margin=2cm]{geometry}
\usepackage{fancyhdr}
\usepackage{amsmath,amsthm,amssymb}
\usepackage{graphicx}
\usepackage{hyperref}

\usepackage{mathtext}
\usepackage[T1,T2A]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[english,bulgarian]{babel}
\usepackage{setspace}

%\usepackage{array}

%\usepackage[chapter]{algorithm}
%\usepackage[noend]{algpseudocode}
%\usepackage{float}
%\floatname{algorithm}{Алгоритъм}

%\usepackage{myalg}

\setlength{\parindent}{10pt} 
\setlength{\parskip}{1ex}

\begin{document}

\begin{center}
\begin{spacing}{2}
Второ контролно (теория) по Дискретни структури, 14.01.2019 г.
\end{spacing}
Име: \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_, ФН:\_\_\_\_\_, Група:\_\_\_\_\_\_\_ 
\end{center}

\begin{center}
\begin{tabular}{|l|c|c|c|c|c|c||c|}
\hline
Задача & 1a & 1b & 2a & 2b & 3 & Общо \\ 
\hline
\hline
получени точки & $\quad \quad$ & $\quad \quad$ & $\quad \quad$ & $\quad \quad$ & $\quad \quad$ & \\
\hline
максимум точки &  1 & 1 & 1 & 1 & 1 & 5 \\
\hline
\end{tabular}
\end{center}

%\emph{Забележка:} За отлична оценка са достатъчни 100 точки!

\paragraph{Задача 1.}  \mbox{}

(a) Дефинирайте дърво и покриващо дърво.

(b) Отговорете на следните въпроси:

Колко ребра има дърво с $n$ върха?

Колко пътища има между два върха на едно дърво?

Кога един неориентиран граф има покриващо дърво?


\paragraph{Задача 2.} \mbox{}

(a) Дефинирайте функцията на Шефер, означавана с $x|y$, чрез таблица.

(b) Изразете функциите отрицание, конюнкция и дизюнкция като формули над $\{|\}$.

\paragraph{Задача 3.}  \mbox{}

Дефинирайте понятието хамилтонов цикъл.
 
Кога в $k$-мерния граф на хиперкуба $B_k$ има хамилтонов цикъл?

\end{document}