dc.contributor.advisor | Koutecký, Martin | |
dc.creator | Hladík, Richard | |
dc.date.accessioned | 2021-07-23T10:00:42Z | |
dc.date.available | 2021-07-23T10:00:42Z | |
dc.date.issued | 2021 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11956/127943 | |
dc.description.abstract | Problém multikomoditního toku (MCF) a problém K-omezeného toku (LBF) jsou dvě zobecnění problému maximálního toku. Oba problémy jdou řešit pomocí lineárního programování a aproximovat plně polynomiálními aproximačními schématy (FPTAS). Není však pro ně znám žádný algoritmus, který je zároveň 1) exaktní, 2) polynomiální a 3) kombinatorický a/nebo nepoužívající obecné metody jako lineární programování. O multikomoditním toku se někdy mluví jako o "nejsnazším problému, který nemá kombi- natorický algoritmus". V této práci shrnujeme specializované i obecné metody pro řešení obou problémů. Přinášíme dva nové kombinatorické algoritmy, první založený na metodě Frank-Wolfe pro konvexní optimalizaci (pro MCF i LBF), druhý založený na most helpful cycle cancelling (pro MCF), a dokazujeme, že v sítích s polynomiálními poptávkami oba algoritmy běží v čase poly(délka vstupu, 1/ε). Také přinášíme výsledky v polyhedrální teorii, zejména v souvislosti s kružnicemi MCF- a LBF-mnohostěnů. Na jednu stranu dokazujeme, že existence množiny zobecňující množinu kružnic sestávající se pouze z vektorů malé normy by už zaručila "skoro-exaktnost" obou algoritmů (resp. konvergenci v ‰(log 1/ε) krocích). Na druhou stranu dokazujeme existenci exponenciálně velkých kružnic pro MCF i LBF. Existence množiny zobecňující množinu kružnic jiné... | cs_CZ |
dc.description.abstract | The multicommodity flow problem (MCF) and the length-bounded flow problem (LBF) are two generalisations of the maximum flow problem. Both can be solved us- ing linear programming and approximated using fully polynomial-time approximation schemes (FPTASs). However, there are no known algorithms for them that are at the same time 1) exact, 2) polynomial, and 3) combinatorial and/or not relying on general methods like linear programming. Multicommodity flow is sometimes called "the easiest problem with no combinatorial algorithm". In this thesis, we summarise problem-specific as well as general methods used to solve these problems. We propose two new combi- natorial algorithms, one based on the Frank-Wolfe method for convex optimisation (for MCF and LBF), and the other one based on most helpful cycle cancelling (for MCF), and prove that in networks with polynomial demands they both run in poly(input size, 1/ε) time. We also present some results from polyhedral theory, examining the circuits of MCF and LBF polyhedra. On the one hand, we prove that the existence of a circuit-like set consisting of vectors of small norm would make both algorithms nearly-exact (i.e., with ‰(log 1/ε) convergence). On the other hand, we prove that exponential circuits exist for both MCF and LBF. The existence of a circuit-like set... | en_US |
dc.language | English | cs_CZ |
dc.language.iso | en_US | |
dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
dc.subject | algoritmus|tok|kombinatorický|frank-wolfe|most helpful cycles | cs_CZ |
dc.subject | algorithm|flow|combinatorial|frank-wolfe|most helpful cycles | en_US |
dc.title | Combinatorial Algorithms for Flow Problems | en_US |
dc.type | bakalářská práce | cs_CZ |
dcterms.created | 2021 | |
dcterms.dateAccepted | 2021-07-02 | |
dc.description.department | Computer Science Institute of Charles University | en_US |
dc.description.department | Informatický ústav Univerzity Karlovy | cs_CZ |
dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
dc.description.faculty | Faculty of Mathematics and Physics | en_US |
dc.identifier.repId | 224119 | |
dc.title.translated | Kombinatorické algoritmy pro tokové problémy | cs_CZ |
dc.contributor.referee | Vegh, Laszlo | |
thesis.degree.name | Bc. | |
thesis.degree.level | bakalářské | cs_CZ |
thesis.degree.discipline | General Computer Science | en_US |
thesis.degree.discipline | Obecná informatika | cs_CZ |
thesis.degree.program | Informatika | cs_CZ |
thesis.degree.program | Computer Science | en_US |
uk.thesis.type | bakalářská práce | cs_CZ |
uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Informatický ústav Univerzity Karlovy | cs_CZ |
uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Computer Science Institute of Charles University | en_US |
uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
uk.faculty-abbr.cs | MFF | cs_CZ |
uk.degree-discipline.cs | Obecná informatika | cs_CZ |
uk.degree-discipline.en | General Computer Science | en_US |
uk.degree-program.cs | Informatika | cs_CZ |
uk.degree-program.en | Computer Science | en_US |
thesis.grade.cs | Výborně | cs_CZ |
thesis.grade.en | Excellent | en_US |
uk.abstract.cs | Problém multikomoditního toku (MCF) a problém K-omezeného toku (LBF) jsou dvě zobecnění problému maximálního toku. Oba problémy jdou řešit pomocí lineárního programování a aproximovat plně polynomiálními aproximačními schématy (FPTAS). Není však pro ně znám žádný algoritmus, který je zároveň 1) exaktní, 2) polynomiální a 3) kombinatorický a/nebo nepoužívající obecné metody jako lineární programování. O multikomoditním toku se někdy mluví jako o "nejsnazším problému, který nemá kombi- natorický algoritmus". V této práci shrnujeme specializované i obecné metody pro řešení obou problémů. Přinášíme dva nové kombinatorické algoritmy, první založený na metodě Frank-Wolfe pro konvexní optimalizaci (pro MCF i LBF), druhý založený na most helpful cycle cancelling (pro MCF), a dokazujeme, že v sítích s polynomiálními poptávkami oba algoritmy běží v čase poly(délka vstupu, 1/ε). Také přinášíme výsledky v polyhedrální teorii, zejména v souvislosti s kružnicemi MCF- a LBF-mnohostěnů. Na jednu stranu dokazujeme, že existence množiny zobecňující množinu kružnic sestávající se pouze z vektorů malé normy by už zaručila "skoro-exaktnost" obou algoritmů (resp. konvergenci v ‰(log 1/ε) krocích). Na druhou stranu dokazujeme existenci exponenciálně velkých kružnic pro MCF i LBF. Existence množiny zobecňující množinu kružnic jiné... | cs_CZ |
uk.abstract.en | The multicommodity flow problem (MCF) and the length-bounded flow problem (LBF) are two generalisations of the maximum flow problem. Both can be solved us- ing linear programming and approximated using fully polynomial-time approximation schemes (FPTASs). However, there are no known algorithms for them that are at the same time 1) exact, 2) polynomial, and 3) combinatorial and/or not relying on general methods like linear programming. Multicommodity flow is sometimes called "the easiest problem with no combinatorial algorithm". In this thesis, we summarise problem-specific as well as general methods used to solve these problems. We propose two new combi- natorial algorithms, one based on the Frank-Wolfe method for convex optimisation (for MCF and LBF), and the other one based on most helpful cycle cancelling (for MCF), and prove that in networks with polynomial demands they both run in poly(input size, 1/ε) time. We also present some results from polyhedral theory, examining the circuits of MCF and LBF polyhedra. On the one hand, we prove that the existence of a circuit-like set consisting of vectors of small norm would make both algorithms nearly-exact (i.e., with ‰(log 1/ε) convergence). On the other hand, we prove that exponential circuits exist for both MCF and LBF. The existence of a circuit-like set... | en_US |
uk.file-availability | V | |
uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Informatický ústav Univerzity Karlovy | cs_CZ |
thesis.grade.code | 1 | |
uk.publication-place | Praha | cs_CZ |
uk.thesis.defenceStatus | O | |