Vítejte na mé akademické stránce!

[foto]
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  

Česky jen stručně (a většinou neaktuálně), pokud se chcete dozvědět více, zkuste to anglicky.

Jen pár slov k mému výzkumu česky... (my research in English)

Výuka na FI MU Brno (více)

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é" kurzy zahrnují každý rok (více informací)

    S prvním z těchto kurzů se hned na začátku setkají prakticky všichni bakalářští studenti fakulty (v počtu kolem 500-600 každoročně) a druhý je nabízen široké škále oborů hlavně magisterského studia (účast ke 200 studentům každoročně).

  • Jarní výběrové kurzy pak vážným zájemcům nabízejí (více informací)
  • FI:IV119 Seminář z Diskrétních Matematických Metod (viz IS)
    • 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 k nám a uvidíte více...
    • Další informace k semináři najdete zde.
  • 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 (mé oficiální zaměření)
    • 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.
    • Šikovní studenti mají možnost získat nadstandardní stipendium 20000CZK v této výzvě.
    • 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í.

Vědecký výzkum v matematice a informatice (více En)

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 DAG-depth), hry na "četníky a zloděje" vztažené k těmto dekompozicím apod.,
    • v návaznosti na předchozí dekompozice grafů také zkoumání "hloubky" grafu a logické složitosti jeho struktury (či popisu),
    • 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,
    • některé další hezké problémy jako například rovinná pokrytí a emulátory grafů (docelá pěkná matematická hříčka nevyžadující hluboké matematické znalosti, ale stále hodně těžká).
  • 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 (MSO, FO) pro popis algoritmických metavět, tj. obecných algoritmů zahrnujících celé široké třídy problémů,
    • takzvaná kernelizace těžkých problémů, neboli "chytré" předzpracování vstupů, které výrazně zmenší velikost problému až na jeho jádro,
    • 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, apod).
  • Trochu (ale opravdu jen trošku) programátorské výsledky
    • systém MACEK - programové prostředí pro výpočty s matroidy (třebaže vývoj již dávno umřel, systém pořád funguje...),
    • route planning - plánování cest (například pro potřeby GPS navigací), nové přístupy a experimentální vyhodnocení algoritmů, viz doktorský student O. Moriš,
    • generování malých vícesměrných řezů v grafech (třeba cestních sítí), pro potřeby analýzy kritických řezů.
  • Řešené výzkumné granty:
    • GAČR standardní grant 17-00837S Structural properties, parameterized tractability and hardness in combinatorial problems.
    • GAČR standardní grant 14-03501S Parameterized algorithms and kernelization in the context of discrete mathematics and logic.
    • OPVK projekt MU: Zaměstnáním čerstvých absolventů doktorského studia k vědecké excelenci (POSTDOC I).
    • GAČR standardní grant P202/11/0196 Well-structured combinatorial classes, width parameters, and design of efficient algorithms (2011-2013).
    • EUROCORES (EuroGIGA) projekt Graph Drawings and Representations (2011-2013).
  • Krátký přehled nejnovějších vědeckých publikací (všechny publikace En):
    Petr Hliněný
    • 2017:   A Short Proof of Euler-Poincaré Formula.  manuscript (2017), 5 s.   URL: arxiv.org/abs/1612.01271.
    • 2017 (spoluautoři J. Gajarský, M. Koutecký, S. Onn):   Parameterized Shifted Combinatorial Optimization.  In: COCOON 2017, Lecture Notes in Computer Science 10392, Springer (2017), 224-236.   URL: arxiv.org/abs/1702.06844. DOI 10.1007/978-3-319-62389-4_19.
    • 2017 (spoluautoři J. Gajarský, H.R. Tiwary):   Parameterized Extension Complexity of Independent Set and Related Problems.  Discrete Applied Mathematics (2017), bude publikováno.   URL: arxiv.org/abs/1511.08841. DOI 10.1016/j.dam.2017.04.042.
    • 2017 (spoluautoři J. Gajarský, T. Kaiser, D. Král', M. Kupec, J. Obdržálek, S. Ordyniak, V. Tuma):   First order limits of sparse graphs: Plane trees and path-width.  Random Structures & Algorithms 50 (2017), 612-635.   URL: arxiv.org/abs/1504.08122. DOI 10.1002/rsa.20676.
    • 2017 (spoluautor M. Chimani):   A Tighter Insertion-based Approximation of the Crossing Number.  Journal of Combinatorial Optimization 33 (2017), 1183-1225.   URL: arxiv.org/abs/1104.5039. DOI 10.1007/s10878-016-0030-z.
    • 2017 (spoluautoři J. Gajarský, J. Obdržálek, S. Ordyniak, F. Reidl, P. Rossmanith, F. Sánchez Villaamil, S. Sikdar):   Kernelization Using Structural Parameters on Sparse Graph Classes.  Journal of Computer and System Sciences 84 (2017), 219-242.   URL: arxiv.org/abs/1302.6863. DOI 10.1016/j.jcss.2016.09.002.
    • 2016 (spoluautoři J. Gajarský, D. Lokshtanov, J. Obdržálek, M.S. Ramanujan):   A New Perspective on FO Model Checking of Dense Graph Classes.  In: LICS 2016, ACM (2016), 176-184.   DOI 10.1145/2933575.2935314.
    • 2016 (spoluautoři O. Kwon, J. Obdržálek, S. Ordyniak):   Tree-depth and Vertex-minors.  European J. Combinatorics 56 (2016), 46-56.   URL: arxiv.org/abs/1403.7024. DOI 10.1016/j.ejc.2016.03.001.
    • 2016 (spoluautor M. Derňár):   Crossing Number is Hard for Kernelization.  In: SoCG 2016, LIPIcs Vol. 51, Dagstuhl (2016), 42:1-42:10.   URL: arxiv.org/abs/1512.02379. DOI 10.4230/LIPIcs.SoCG.2016.42.
    • 2016 (spoluautor M. Chimani):   Inserting Multiple Edges into a Planar Graph.  In: SoCG 2016, LIPIcs Vol. 51, Dagstuhl (2016), 30:1-30:15.   URL: arxiv.org/abs/1509.07952. DOI 10.4230/LIPIcs.SoCG.2016.30.
    • 2016 (spoluautoři R. Ganian, J. Kneis, D. Meister, J. Obdržálek, P. Rossmanith, S. Sikdar):   Are there any good digraph width measures?.  J. of Combinatorial Theory ser. B 116 (2016), 250-286.   URL: arxiv.org/abs/1004.1485. DOI 10.1016/j.jctb.2015.09.001.
    • 2015 (spoluautoři J. Gajarský, D. Lokshtanov, J. Obdržálek, S. Ordyniak, M.S. Ramanujan, S. Saurabh):   FO Model Checking on Posets of Bounded Width.  In: IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015, IEEE (2015), 963-974.   URL: arxiv.org/abs/1504.04115. DOI 10.1109/FOCS.2015.63.
    • 2015 (spoluautoři R. Ganian, D. Král', J. Obdržálek, J. Schwartz, J. Teska):   FO Model Checking of Interval Graphs.  Logical Methods in Computer Science 11(4) (2015), paper 11.   URL: arxiv.org/abs/1302.6043. DOI 10.2168/LMCS-11(4:11)2015.
    • 2015 (spoluautoři J. Gajarský, J. Obdržálek, S. Ordyniak):   Faster Existential FO Model Checking on Posets.  Logical Methods in Computer Science 11(4) (2015), paper 8.   URL: arxiv.org/abs/1409.4433. DOI 10.2168/LMCS-11(4:8)2015.
    • 2015 (spoluautor G. Salazar):   On Hardness of the Joint Crossing Number.  In: ISAAC 2015, Lecture Notes in Computer Science 9472, Springer (2015), 603-613.   URL: arxiv.org/abs/1509.01787. DOI 10.1007/978-3-662-48971-0_51.
    • 2015 (spoluautor J. Gajarský):   Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences.  Logical Methods in Computer Science 11(1) (2015), paper 19.   URL: arxiv.org/abs/1204.5194. DOI 10.2168/LMCS-11(1:19)2015.
    • 2015 (spoluautor M. Derka):   Planar Emulators Conjecture Is Nearly True for Cubic Graphs.  European J. Combinatorics 48 (2015), 63-70.   DOI 10.1016/j.ejc.2015.02.009.