minimizing and computing inverse geodesic length on trees ... · thesis b presentation joshua lau...

Minimizing and Computing Inverse Geodesic Length on TreesThesis B Presentation

Joshua LauSupervisor: A/Prof. Serge Gaspers

UNSW Sydney

October 9, 2018

Joshua Lau (UNSW Sydney) Minimizing and Computing IGL on Trees October 9, 2018 1 / 24

Outline

1 Introduction

2 Minimizing IGL on Trees

3 Computing IGL on Treelike Graphs

4 Concluding Remarks

Definitions

Definition (Inverse Geodesic Length)Let G = (V , E ) be an undirected graph, with edges of unit length. Wedefine the Inverse Geodesic Length of G as

IGL(G) =∑

u,v⊆V

1d(u, v)

where d(u, v) is the length of a shortest path from u to v .

Note: If u and v are disconnected then d(u, v) =∞ so we take 1d(u,v) = 0.

Definitions

Problem (MinIGL)Input: A graph G, an integer k ≤ |V | and a target IGL TQuestion: Does there exist X ⊆ V such that |X | ≤ k and IGL(G−X ) ≤

When our budget k is 0, the problem is equivalent to computing the IGL.When our target T is 0, the problem is equivalent to Vertex Cover.

TreeMinIGL is MinIGL where G is a tree.

ExampleConsider the following graph G when k = 2.

IGL(G) = 9× 11 + 5× 1

2 + 5× 13 + 2× 1

4 = 1323

Delete these k = 2 vertices to obtain G ′.IGL(G ′) = 3× 1

1 + 1× 12 = 31

ExampleConsider the following graph G when k = 2.IGL(G) = 9× 1

1 + 5× 12 + 5× 1

3 + 2× 14 = 132

1 + 1× 12 = 31

Example

Consider the following graph G when k = 2.IGL(G) = 9× 1

1 + 5× 12 + 5× 1

3 + 2× 14 = 132

Delete these k = 2 vertices to obtain G ′.

IGL(G ′) = 3× 11 + 1× 1

2 = 312

Example

Consider the following graph G when k = 2.IGL(G) = 9× 1

1 + 5× 12 + 5× 1

3 + 2× 14 = 132

1 + 1× 12 = 31

Outline

1 Introduction

Algorithm

Key ResultWe can solve TreeMinIGL in subexponential time, and polynomialspace.

Idea: combine two different algorithms, each using polynomial space.

Naive O(nk+2) = 2O(k log n) time:(n

= O(nk) subsets and APSP ona tree in O(n2). Useful when k is (somewhat) small.We give an algorithm that runs in time O∗

(2poly( n

. Useful when kis relatively large compared to n. This is FPT for parameter n

Combining these gives a subexponential (2o(n)) time solution.

Algorithm

(2poly( n

Algorithm

= O(nk) subsets and APSP ona tree in O(n2). Useful when k is (somewhat) small.

We give an algorithm that runs in time O∗(

2poly( nk ))

Algorithm

(2poly( n

Algorithm

(2poly( n

Exploiting large k

Define an optimal subset of an instance to be a set of vertices whichminimizes the IGL.

Observation: when k is large compared to n, we expect remainingcomponents (trees) to be small in an optimal solution.

TheoremIf S is an optimal subset of a TreeMinIGL instance (T , k), then everyremaining component has at most L(n, k) = O

((n/k)5) vertices.

Proof.Omitted from presentation (see thesis report).

Exploiting large k

((n/k)5) vertices.

Exploiting large k

((n/k)5) vertices.

Exploiting large k

Root the tree and use DP to determine the optimal structure of remainingcomponents.

State is (subtree, budget of deletions).Recurrence: either subtree root is deleted or it is not.

If deleted, then consider children’s subtrees separately. Optimallydictate how the budget is to be shared, using DP.

Otherwise, root is in some remaining component. We determine this byfinding its structure and mapping (diagram next slide).

Exploiting large kRecurrence (continued):

Try every structure: an ordered tree T ′ with no more thanL = L(n, k) vertices. There are O

)of these, by bounding sum

of Catalan numbers (Topley, 2016).

T ′1

mapping

For each, find optimal mapping: assignment of vertices in T ′ todistinct vertices in T . This forces some vertices to be deleted.Recurse on the remaining subtrees, dictating how the remainingbudget should be shared, using DP once again.

T ′1

mapping

T ′1

mapping

T ′1

mapping

Exploiting large k

For a fixed T ′, we can determine the optimal mapping in polynomialtime and space.We can enumerate all T ′ in polynomial space, so our algorithm usespolynomial space.

Our algorithm takes time O(

= 2O((n/k)5+log n). This is FPT forparameter n

Recall the brute-force algorithm takes time 2O(k log n).

Choosing brute-force whenever k ≤ n5/6 log−1/6 n, and our DP algorithmotherwise, gives a solution in time 2O((n log n)5/6) = 2o(n).

Exploiting large k

For a fixed T ′, we can determine the optimal mapping in polynomialtime and space.We can enumerate all T ′ in polynomial space, so our algorithm usespolynomial space.

Our algorithm takes time O(

= 2O((n/k)5+log n). This is FPT forparameter n

k .Recall the brute-force algorithm takes time 2O(k log n).

Choosing brute-force whenever k ≤ n5/6 log−1/6 n, and our DP algorithmotherwise, gives a solution in time 2O((n log n)5/6) = 2o(n).

A generalisation

Let f be a function mapping forests to reals, such thatf (F1 ⊕ F2) = f (F1) + f (F2) for any vertex-disjoint forests F1, F2.

Consider the Min-f on Trees problem of choosing a set S of k verticesto delete from a tree T of n vertices, such that f (T − S) is minimised.

TheoremIf there is a constant p > 0, such that for any instance, there is an optimalsubset inducing remaining components with no more than

( nk)p vertices,

then we can solve Min-f on Trees in time 2O((n log n)p/(p+1)) = 2o(n),which is subexponential.

A generalisation

Let f be a function mapping forests to reals, such thatf (F1 ⊕ F2) = f (F1) + f (F2) for any vertex-disjoint forests F1, F2.

Consider the Min-f on Trees problem of choosing a set S of k verticesto delete from a tree T of n vertices, such that f (T − S) is minimised.

TheoremIf there is a constant p > 0, such that for any instance, there is an optimalsubset inducing remaining components with no more than

( nk)p vertices,

then we can solve Min-f on Trees in time 2O((n log n)p/(p+1)) = 2o(n),which is subexponential.

Outline

1 Introduction

Distance distributions

The distance distribution of a graph is the sequence ai, where ai is thenumber of pairs of vertices distance i apart (shortest path).

Implies diameter, IGL, Wiener indexImplied by APSP

Q: Can we do better than APSP (Ω(n2)) for computing the distancedistribution on treelike graphs?

Distance distributions

The distance distribution of a graph is the sequence ai, where ai is thenumber of pairs of vertices distance i apart (shortest path).

Implies diameter, IGL, Wiener indexImplied by APSP

Q: Can we do better than APSP (Ω(n2)) for computing the distancedistribution on treelike graphs?

TreewidthThe treewidth k = tw(G) of a graph is a measure of treelike-ness.

There are sets of vertices A and B such that:A ∪ B = V (G)Roughly, |A|, |B| ≤ 2n

3tw(G [A]), tw(G [B]) ≤ tw(G)|A ∩ B| ≤ k + 1. If G is a tree, k = 1, and we can always have|A ∩ B| = 1.

Note: every path from A to B passes through A ∩ B.Joshua Lau (UNSW Sydney) Minimizing and Computing IGL on Trees October 9, 2018 15 / 24

Divide-and-conquer

Idea: Use divide-and-conquer to find contribution from pairs in A× A,B ×B. Remains to find the contribution of shortest paths between pairs inA× B.

Suppose G is a tree. Then A ∩ B is a single vertex s.1 Find SSSP from each vertex in A ∩ B = s.2 Assign the term xd(s,v) to each vertex v .

Divide-and-conquer

Suppose G is a tree. Then A ∩ B is a single vertex s.

1 Find SSSP from each vertex in A ∩ B = s.2 Assign the term xd(s,v) to each vertex v .

Divide-and-conquer

Suppose G is a tree. Then A ∩ B is a single vertex s.1 Find SSSP from each vertex in A ∩ B = s.2 Assign the term xd(s,v) to each vertex v .

Divide-and-conquer3 Let PA(x) and PB(x) be the sums.4 Contribution of A× B found by polynomial multiplication:

(PAPB)(x).

PA(x) = 2x + x2 + x3

PB(x) = x + 2x2

(PAPB)(x) = 2x2 + 5x3 + 3x4 + 2x5

so A×B contributes 2, 5, 3, 2 pairs, distance 2, 3, 4, 5 apart, respectively.

(PAPB)(x).

PA(x) = 2x + x2 + x3

PB(x) = x + 2x2

(PAPB)(x) = 2x2 + 5x3 + 3x4 + 2x5

(PAPB)(x).

PA(x) = 2x + x2 + x3

PB(x) = x + 2x2

(PAPB)(x) = 2x2 + 5x3 + 3x4 + 2x5

(PAPB)(x).

PA(x) = 2x + x2 + x3

PB(x) = x + 2x2

(PAPB)(x) = 2x2 + 5x3 + 3x4 + 2x5

so A×B contributes 2, 5, 3, 2 pairs, distance 2, 3, 4, 5 apart, respectively.Joshua Lau (UNSW Sydney) Minimizing and Computing IGL on Trees October 9, 2018 17 / 24

Divide-and-conquerConsider the case when A ∩ B = i , j.We want to find the contribution among shortest paths between pairs(a, b) ∈ A× B passing through i , then repeat for j .

We require

d(a, i) + d(i , b) ≤ d(a, j) + d(j , b)

⇐⇒ d(a, i)− d(a, j) ≤ d(j , b)− d(i , b)⇐⇒ fij(a) ≤ −fij(b)

We require

d(a, i) + d(i , b) ≤ d(a, j) + d(j , b)

⇐⇒ d(a, i)− d(a, j) ≤ d(j , b)− d(i , b)⇐⇒ fij(a) ≤ −fij(b)

We require

d(a, i) + d(i , b) ≤ d(a, j) + d(j , b)⇐⇒ d(a, i)− d(a, j) ≤ d(j , b)− d(i , b)

⇐⇒ fij(a) ≤ −fij(b)

We require

d(a, i) + d(i , b) ≤ d(a, j) + d(j , b)⇐⇒ d(a, i)− d(a, j) ≤ d(j , b)− d(i , b)

⇐⇒ fij(a) ≤ −fij(b)

Reduction to RedBluePolynomial in 1 dimension

RedBluePolynomial in 1 dimension.1 Create a red point at coordinate fij(a) for each a ∈ A, with value

xd(a,i).2 Create a blue point at coordinate −fij(b) for each b ∈ B, with value

xd(i ,b).3 Problem: Compute

∑fij (a)≤−fij (b) xd(a,i)xd(i ,b).

Using square-root decomposition, and polynomial multiplication, this canbe done in time O(n

√m log n), where n is the number of points, and m is

the size of the range of values.

Reduction to RedBluePolynomial in 1 dimension

RedBluePolynomial in 1 dimension.1 Create a red point at coordinate fij(a) for each a ∈ A, with value

xd(a,i).2 Create a blue point at coordinate −fij(b) for each b ∈ B, with value

xd(i ,b).3 Problem: Compute

∑fij (a)≤−fij (b) xd(a,i)xd(i ,b).

Using square-root decomposition, and polynomial multiplication, this canbe done in time O(n

√m log n), where n is the number of points, and m is

the size of the range of values.Joshua Lau (UNSW Sydney) Minimizing and Computing IGL on Trees October 9, 2018 19 / 24

Implementation details

When |A ∩ B| > 2, we reduce to RedBluePolynomial in multipledimensions. This is done using (more) divide-and-conquer to reduce itto the 1-dimensional case.When recursing on G [A], weighted edges need to be added betweenthe vertices in A ∩ B to include paths passing through B, andvice-versa.Inclusion-exclusion is used to resolve double-counting.Care must be taken when dealing with equal coordinates / values(e.g. equal-length shortest paths passing through different vertices inA ∩ B).A 5-approximation of treewidth is used, as it is faster to find, anddoes not change the time complexity of other parts.We multiply integer polynomials efficiently using a complexFast-Fourier Transform on a word RAM, with sufficiently many bits ofprecision.

Time complexity

Our algorithm finds the distance distribution of a graph with treewidth kand edges of unit weight in time 2O(k)n3/2+ε, for any ε > 0.

If we only desire the first p values of the distance distribution, this can bedone in time 2O(k)n1+ε√p, even on weighted graphs.

Outline

1 Introduction

Summary of results

We devised a subexponential time algorithm for the openTreeMinIGL problem. This can be extended to functions other thanIGL with similar properties.

We also gave a 2O(k)n1+ε√p time algorithm for computing the first pvalues of the distance distributions of a graph with treewidth k.

This dependence on n lies between the 2O(k)n1+ε time algorithm forfinding diameter and the O(n2k) time algorithm for APSP.

Future work

Attempt to prove/disprove NP-hardness of TreeMinIGLAlso consider tractability for parameter k

Extend subexponential algorithm for TreeMinIGL to graphs withbounded treewidth (albeit it is unlikely that it is FPT for parametertreewidth, since it is W [1]-hard).Compare hardness of computing distance distributions againstcomputing IGL.

minimizing and computing inverse geodesic length on trees ... · thesis b presentation joshua lau...

Documents

arraylists - unsw engineering

unsw biom9333 notes

arc @ unsw limited

aiesec unsw goteach

unsw landscape architecture

fossil free unsw

ones - unsw newsroom

curiosity unsw 2017

unsw embryology

unsw academic transcript

never stand still unsw institute of languages handbook unsw...

contents a - arc @ unsw | arc unsw student life

lau haizetara zabaldu zuen bihotzak lau haizetara!

class 24 - unsw

unsw interior architecture

unsw architectural studies

unsw creative talks

unsw sustainability

unsw policy documents

ludmila stern, unsw