Petr Hliněný

Prof. RNDr. Petr Hliněný, Ph.D.

profesor informatiky
@ynenilhfi.muni.cz
Fakulta Informatiky MU Brno
Botanická 68a, 602 00 Brno

Kancelář C418
Budova FI, 4. patro
Kalendář výuky, konzultačních hodin a nepřítomnosti  

Kdo že to prohlásil? "Učit se, učit se, učit se!"
A tak celé nastupující ročníky studentů FI úpí a trpí pod tíhou výuky matematiky... ke které také na FI přispívám. Přesto se občas jiskřička naděje zableskne a poštěstí se mi vidět studenty, kteří mají matematiku rádi - a to za tu námahu určitě stojí. Patříte k takovým?

• Podzimní "masová" výuka zahrnuje každý rok (viz více informací)
  • FI:IB000 Matematické základy informatiky,
    * sylabus * povinně sledované aktuality.

  S tímto předmětem se hned na začátku studia setkají prakticky všichni bakalářští studenti fakulty (v počtu kolem 600-700 studentů každoročně) a těm úspěšným doufejme pomůže v dalších semestrech objevovat hluboké krásy vysokoškolské informatiky.

• Plus další už "nemovasá" každoroční podzimní výuka (opět převzatá od roku 2025)
  • FI:MA010 Graph Theory,
    * sylabus (En).

  Magisterský matematický předmět pokrývající základní poznatky teorie grafů se zaměřením na ty s informatickým potenciálem.

• Výběrové kurzy a semináře pak vážným zájemcům zejména na jaře nabízejí (zase více informací)
  • tematrickou seminární skupinu (nyní i na podzim) ve studentském výzkumném semináři
    FI:IV131 Seminář laboratoře DIMEA
  • a také následující zájmový seminář pro mladé studenty:
• FI:IV119 Seminář z Diskrétních Matematických Metod
  • Máte matematiku rádi natolik, že vám běžná porce a hloubka její výuky na FI nestačí? Přičichli jste někdy dříve k Matematické olympiádě a zajímá vás, jak pokračovat na podobnou notu na VŠ? A chtěli byste vědět, jak rychle se můžete dostat ke skutečné matematické vědě? Pak přijďte do IV119...
• Nakonec FI:MA026 Pokročilá kombinatorika
  • nový předmět (od 2024) pro studenty mající už velmi dobré znalosti běžné kombinatoriky a grafů, kteří se zároveň touží dozvědět ještě více a nebojí se témat jdoucích velmi do hloubky...
• Témata bakalářských a diplomových prací
  
  • Pro bakalářské studium nabízím v zásadě jediné všeobjímající téma, pod kterým se lze věnovat spoustě různých oblastí grafů a algoritmů - podle přání studentů.
  • Nabídka pro diplomové práce je již specifičtější a zahrnuje větší počet konkrétních námětů a problémů, které lze vyhledat v seznamu podle jmen školitelů (mne či mých spolupracovníků).
• Doktorské studium (viz oficiální stránky)
  
  • Studenti mající zájem (a také předpoklady prokázané aspoň trochou předchozích výsledků) pokračovat ve vědecké kariéře v některém mi blízkém směru jsou vřele vítáni na doktorském stupni studia pod mým vedením. Stačí se podívat na aktuální témata a zaměření našeho výzkumu či přijít s vlastním podnětným nápadem na výzkum.
  • V současnosti školení studenti: seznam.
  • Po velké reformě financování v roce 2025 mají všichni doktorandi možnost získat slušné stipendium (odpovídající nejméně 120% minimální mzdy) a studenti s dobrými výzledky získají ještě vyšší částky a případně také souběžné úvazky na výzkumných projektech.
  • K doktorskému studiu (internímu se stipendiem) na FI MU Brno lze nastupovat v zimě i v létě a přijímací procedura je po domluvě se školitelem poměrně neformální, jen je třeba dodržet termín přihlášek.
• A nezávisle na předchozí nabídce...
  Garant doktorského stuijního programu Informatika / Computer Science:
  • jedná se o celkový doktorský studijní program FI MU zahrnující všechny oblasti informatiky, od čisté teorie až po metodologii a průmyslové aplikace,
  • viz jeho Oborová rada.

Aneb znáte tuto? "Vaše odpověď byla naprosto přesná, ale byla úplně k ničemu".
Přesto či právě proto matematický (a hodně teoretický) výzkum považuji za nejdůležitější součást své akademické práce. Aktuální hlavní směry mého výzkumu (ve spolupráci s mými kolegy a studenty) lze stručně shrnout následovně:

• Diskrétní matematika - hlavně teorie grafů
  • problematika strukturálních dekompozic grafů a odvozených tzv. šířkových parametrů, zahrnující známé tree-width, branch-width, rank-width i některé nové parametry (třeba twin-width), také dekompozice pomocí takzvané produktové struktury grafů z ní odvozený nový parametr H-clique-width,
  • v návaznosti na předchozí dekompozice grafů také zkoumání "hloubky" grafu a logické složitosti jeho struktury (či popisu), pokusy přenést užitečné poznatky řídkých grafů na husté grafy, které však stále mají "logicky řídkou" strukturu,
  • otázky věnované průsečíkovému číslu grafů - tj. nejmenšímu počtu křížení hran v nakreslení toho grafu, specificky studium průsečíkově kritických grafů a jejich obecné struktury,
  • také některé otázky diskrétní geometrie, zejména o viditelnostních problémech a hlídání, další otázky geometricky prezentovaných grafů.
• Teoretická informatika - složitost, parametrizovaná složitost a kombinatorické algoritmy
  • využití výše zmíněných strukturálních dekompozic grafů a šířkových parametrů v návrhu rychlejších a elegantnějších parametrizovaných algoritmů (ve třídách FPT a XP), formalizace takových algoritmů,
  • použití logiky (FO, MSO) pro popis algoritmických metavět, tj. obecných algoritmů zahrnujících celé široké třídy problémů,
  • dokazování výpočetní těžkosti kombinatorických problémů (převážně těch vztažených ke zmíněným tématům), meze algoritmické použitelnosti šířkových parametrů,
  • nové, převážně aproximační algoritmy pro výpočet průsečíkového čísla grafů v speciálních případech (grafy nakreslitelné na vyšší plochy, grafy blízké rovinným, grafy s malým vrcholovým pokrytím apod), nové specializované těžkostní výsledky pro určení průsečíkového čísla.
• Výzkumná skupina -- Laboratoř DIMEA:
  • Vedená od roku 2018 společně s prof. Danielem Kráľem (dříve účast v blízké laboratoři Formela), od roku 2025 samostatně s výhledem rozšíření o dr. Jakuba Gajarského.
  • Laboratoř diskrétních metod a algoritmů (DIMEA) se zabývá oblastmi diskrétní matematiky, které jsou významné z hlediska informatiky, a návrhem diskrétních algoritmů. Oblasti výzkumu členů laboratoře zahrnují algoritmickou, geometrickou, strukturální a topologickou teorii grafů, logiku na grafech.
  • Přijďte se podívat na náš spojený teoretický přednáškový seminář na FI...
• Řešené výzkumné projekty:
  • GAČR standardní grant (převzatý od 2025) GA24-11098S Matroid theory problems underpinning discrete optimization.
  • GAČR standardní grant 20-04567S Structure of tractable instances of hard algorithmic problems on graphs.
  • a řada starších projektů v dřívějších letech...
• Krátký přehled nejnovějších vědeckých publikací (všechny publikace EN):
  Petr Hliněný
  • 2025 (spoluautoři J. Bok, J. Fiala, N. Jedličková, J. Kratochvíl):   Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges.  Journal of Computer and System Sciences (2025), bude publikováno.   URL: arxiv.org/abs/2103.15214.
  • 2025 (spoluautor J. Jedelský):   Twin-width of Planar Graphs is at most 8, and some Related Bounds.  SIAM J. Discrete Mathematics (2025), bude publikováno.   URL: arxiv.org/abs/2210.08620.
  • 2025 (spoluautor E. Colin de Verdi`ere):   A Unified FPT Framework for Crossing Number Problems.  In: ESA, LIPiCS Vol. ??, Dagstuhl (2025), bude publikováno.   URL: arxiv.org/abs/2410.00206.
  • 2025 (spoluautor J. Jedelský):   Transductions of Graph Classes Admitting Product Structure.  In: LICS (2025), bude publikováno.   URL: arxiv.org/abs/2501.18326.
  • 2025 (spoluautor M. Korbela):   On 13-Crossing-Critical Graphs with Arbitrarily Large Degrees.  Discrete Mathematics 348 (2025), 114347.   URL: arxiv.org/abs/2105.01104. DOI 10.1016/j.disc.2024.114347.
  • 2025 (spoluautor A. Straka):   Stack and Queue Numbers of Graphs Revisited.  European J. Combinatorics 129 (2025), 104094.   URL: arxiv.org/abs/2303.10116. DOI 10.1016/j.ejc.2024.104094.
  • 2025:   Twin-width of Planar Graphs; a Short Proof.  European J. Combinatorics 129 (2025), 104036.   URL: arxiv.org/abs/2302.08938. DOI 10.1016/j.ejc.2024.104036.
  • 2024 (spoluautoři M. Bekos, G. Da Lozzo, M. Kaufmann):   Graph Product Structure for h-Framed Graphs.  Electronic J. Combinatorics 31 (2024), #P4.56.   URL: arxiv.org/abs/2204.11495. DOI 10.37236/12123.
  • 2024 (spoluautor J. Jedelský):   H-Clique-Width and a Hereditary Analogue of Product Structure.  In: MFCS 2024, LIPiCS Vol. 306, Dagstuhl (2024), 61:1--61:16.   URL: arxiv.org/abs/2403.16789. DOI 10.4230/LIPIcs.MFCS.2024.61.
  • 2024 (spoluautoři J. Balabán, J. Jedelský):   Twin-width and Transductions of Proper k-Mixed-Thin Graphs.  Discrete Mathematics 347 (2024), 113876.   URL: arxiv.org/abs/2202.12536. DOI 10.1016/j.disc.2024.113876.
  • 2024 (spoluautoři O. Cagirici, B. Roy):   On Colourability of Polygon Visibility Graphs.  European J. Combinatorics 117 (2024), 103820.   URL: arxiv.org/abs/1906.01904. DOI 10.1016/j.ejc.2023.103820.
  • 2023 (spoluautor T. Masařík):   Minimizing an Uncrossed Collection of Drawings.  In: Graph Drawing 2023, Proceedings, Lecture Notes in Computer Science 14465, Springer (2023), 110--123.   URL: arxiv.org/abs/2306.09550. DOI 10.1007/978-3-031-49272-3_8.
  • 2023 (spoluautoři B. Bergougnoux, J. Gajarský, G. Guspiel, F. Pokrývka, M. Sokolowski):   Sparse Graphs of Twin-width 2 Have Bounded Tree-width.  In: ISAAC 2023, LIPiCS Vol. 283, Dagstuhl (2023), 11:1--11:13.   URL: arxiv.org/abs/2307.01732. DOI 10.4230/LIPIcs.ISAAC.2023.11.
  • 2023 (spoluautor M. Chimani):   Inserting Multiple Edges into a Planar Graph.  Journal of Graph Algorithms and Applications 27 (2023), 489--522.   URL: arxiv.org/abs/1509.07952. DOI 10.7155/jgaa.00631.
  • 2023 (spoluautor J. Jedelský):   Twin-width of Planar Graphs is at most 8, and at most 6 when Bipartite Planar.  In: ICALP 2023, LIPiCS Vol. 261, Dagstuhl (2023), 75:1--75:18.   URL: arxiv.org/abs/2210.08620. DOI 10.4230/LIPIcs.ICALP.2023.75.
  • 2023 (spoluautor D. Agaoglu Cagirici):   Efficient Isomorphism for Sd-graphs and T-graphs.  Algorithmica 85 (2023), 352--383.   URL: arxiv.org/abs/1907.01495. DOI 10.1007/s00453-022-01033-8.
  • 2023 (spoluautoři O. Cagirici, F. Pokrývka, A. Sankaran):   Clique-Width of Point Configurations.  J. of Combinatorial Theory ser. B 158 (2023), 43--73.   URL: arxiv.org/abs/2004.02282. DOI 10.1016/j.jctb.2021.09.001.
  • 2022 (spoluautoři D. Bokal, Z. Dvořák, J. Leanos, B. Mohar, T. Wiedera):   Bounded degree conjecture holds precisely for c-crossing-critical graphs with c <= 12.  Combinatorica 42 (2022), 701--728.   URL: arxiv.org/abs/1903.05363. DOI 10.1007/s00493-021-4285-3.
  • 2022 (spoluautor T. Hamm):   Parameterised Partially-Predrawn Crossing Number.  In: 38th International Symposium on Computational Geometry (SoCG 2022), LIPIcs Vol. 224, Dagstuhl (2022), 46:1--46:15.   URL: arxiv.org/abs/2202.13635. DOI 10.4230/LIPIcs.SoCG.2022.46.