TITLE: Graph theory in logical problems