Editing Open Problems:74

Jump to: navigation, search

Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.

The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Latest revision Your text
Line 1: Line 1:
 
{{Header
 
{{Header
 +
|title=Space-Efficient Representation for Functions on Graphs
 
|source=baltimore16
 
|source=baltimore16
 
|who=Robert Krauthgamer
 
|who=Robert Krauthgamer
 
}}
 
}}
Suppose we want to design a data structure that stores, for a given edge-weighted (undirected) graph $G = (V,E_G,w_G)$, the values of the minimum $st$-cuts for all $s,t \in V$.  
+
Given an undirected graph $G = (V,E_G)$ with weight function $w_G$, one may wish to design a data structure to store the value of the minimum $s-t$ cut, for any $s,t \in V$.
A naive method is to construct a table containing the value for each pair, requiring $O(|V|^2)$ space (machine words).
+
A naive method is to construct a table containing the value for each pair, requiring $O(|V|^2)$ space.
Alternatively, one may construct a Gomory–Hu tree {{cite|GomoryH-61}}.
+
Alternatively, one may construct a Gomory-Hu tree {{cite|GomoryHu-61}}.
This is a tree $T = (V,E_T,w_T)$, in which the minimum $st$-cut values are equal to those in $G$.
+
This is an undirected tree $T = (V,E_T)$ with weight function $w_T$, such that the minimum $s-t$ cut values from $G$ are preserved.
 
Since $T$ is a tree, it requires only $O(|V|)$ space.
 
Since $T$ is a tree, it requires only $O(|V|)$ space.
  
Thus for this problem, a very space-efficient data structure (perhaps even the best one) is itself a graph $G'$, and it encodes the desired values in a natural manner, just compute the same function (min $st$-cut) on $G'$.  
+
For this problem, it turns out the most space-efficient data structure is a graph which preserves the value of the function we wish to query.
But is this the case for all such functions on graphs, or is there a (natural) case where a potentially complicated data structure outperforms a graphical encoding? The question applies both to exact and approximate computations of the function.
+
But is this the case for all such functions on graphs, or is there a case where another (potentially complicated) data structure could out-perform a graph?
 
 
'''Some relevant examples:'''
 
 
 
* A randomized data structure for $(1+\varepsilon)$-approximating any cut value (or Rayleigh quotient) in $G$, which is more space-efficient than the known graphical representation, can be found in {{cite|AndoniCKQWZ-16}}.
 
 
 
* For a given graph $G$ with $k$ terminals, the exact values of all the minimum cuts between subsets of terminals can be stored simply as a list of $2^k$ numbers. The best graphical representation known is of size roughly $2^{2^k}$ {{cite|HagerupKNR-98|KhanR-14}}.
 
 
 
* A deterministic data structure for $(1+\varepsilon)$-approximating any multicommodity flow on a set of $k$ given terminals in $G$. There is no known graphical representation for this, whose size depends on $k$ and $\varepsilon$, but not on $G$ {{cite|AndoniGK-14}}.
 

Please note that all contributions to Open Problems in Sublinear Algorithms may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see Open Problems in Sublinear Algorithms:Copyrights for details). Do not submit copyrighted work without permission!

To edit this page, please answer the question that appears below (more info):

Cancel Editing help (opens in new window)