• Keine Ergebnisse gefunden

Homework 10: Separators and Cuts Part I

N/A
N/A
Protected

Academic year: 2021

Aktie "Homework 10: Separators and Cuts Part I"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Homework 10: Separators and Cuts Part I

Algorithms on Directed Graphs, Winter 2018/9 Due: 26.01.2019 by 16:00

For definitions please take a look at the chapter 8 of the parametrized algorithm book.

Most of the upcoming exercises are the missing proofs from the lecture and you can find them in the book. Your actual task is to read and understand them and express your understanding.

Exercise 1 (Pushing lemmas).Prove the followings.

1. Prove correctness of pushing lemma forEdge Multiway Cutproblem.

(lemma 8.18)

2. Prove correctness of pushing lemma for Skew Edge Multicutprob- lem.

Exercise 2 (Reduce FVS to FAS).We discussed a sketch of a parameter preserving reduction from FVS to FAS (Proposition 8.42); provide a full proof for it.

Exercise 3 (FPT algorithm for FAS). I had an impression that not every- body understood the proof of the last theorem in the lecture. So this exercise is for you to prove me wrong.

Assuming existence of FPT algorithm with running timef(k+|W|)P oly(n) for Directed Feedback Arc Set Compression problem, provide an FPT algorithm for FAS with running time g(k)P oly(n) (f, g :N → N). I basically ask for the proof of Theorem 8.46.

1

Referenzen

ÄHNLICHE DOKUMENTE

Depending on method, arguments, and proof state the application can fail.... Method “rule”:

To shuffle the list of input ciphertexts u, a re-encryption mixer is instantiated ¯ based on the ElGamal encryption scheme, the public key pk, and the shuffle size N... The first

Let C 0 be an arbitrary small cube in + j and consider the 2 n rays from the above family which contain the centre of C 0.. We claim that at least one of these rays intersects

It becomes clear that for a sufficiently wide class of inverse problems, a control law for the model can be chosen in such a way that a control realization approximates

It is possible to transform any SAT formula F into k-colorable graph, generate a graph G = (V,E) with number of colors k, such that G is k-colorable only in the case of F

Items used in parsing are indexed for their position in the string in order to check adjacency, whereas items used for generation carry information about the string they cover,

Stochastic optimization problems with partially known distribution functions, CP-02-60, International Institute for Applied Systems Analysis,

If the subproblem is created, it has only n non basic variables and hence can be solved finitely so that each repetition of step 1 occurs after a finite number of L.P. Note that