2,997 research outputs found
Data-Oblivious Graph Algorithms in Outsourced External Memory
Motivated by privacy preservation for outsourced data, data-oblivious
external memory is a computational framework where a client performs
computations on data stored at a semi-trusted server in a way that does not
reveal her data to the server. This approach facilitates collaboration and
reliability over traditional frameworks, and it provides privacy protection,
even though the server has full access to the data and he can monitor how it is
accessed by the client. The challenge is that even if data is encrypted, the
server can learn information based on the client data access pattern; hence,
access patterns must also be obfuscated. We investigate privacy-preserving
algorithms for outsourced external memory that are based on the use of
data-oblivious algorithms, that is, algorithms where each possible sequence of
data accesses is independent of the data values. We give new efficient
data-oblivious algorithms in the outsourced external memory model for a number
of fundamental graph problems. Our results include new data-oblivious
external-memory methods for constructing minimum spanning trees, performing
various traversals on rooted trees, answering least common ancestor queries on
trees, computing biconnected components, and forming open ear decompositions.
None of our algorithms make use of constant-time random oracles.Comment: 20 page
Tight Euler tours in uniform hypergraphs - computational aspects
By a tight tour in a -uniform hypergraph we mean any sequence of its
vertices such that for all the set
is an edge of (where operations on
indices are computed modulo ) and the sets for are
pairwise different. A tight tour in is a tight Euler tour if it contains
all edges of . We prove that the problem of deciding if a given -uniform
hypergraph has a tight Euler tour is NP-complete, and that it cannot be solved
in time (where is the number of edges in the input hypergraph),
unless the ETH fails. We also present an exact exponential algorithm for the
problem, whose time complexity matches this lower bound, and the space
complexity is polynomial. In fact, this algorithm solves a more general problem
of computing the number of tight Euler tours in a given uniform hypergraph
Exact counting of Euler Tours for Graphs of Bounded Treewidth
In this paper we give a simple polynomial-time algorithm to exactly count the
number of Euler Tours (ETs) of any Eulerian graph of bounded treewidth. The
problems of counting ETs are known to be #P-complete for general graphs
(Brightwell and Winkler, (Brightwell and Winkler, 2005). To date, no
polynomial-time algorithm for counting Euler tours of any class of graphs is
known except for the very special case of series-parallel graphs (which have
treewidth 2).Comment: 16 pages, draf
Flat Foldings of Plane Graphs with Prescribed Angles and Edge Lengths
When can a plane graph with prescribed edge lengths and prescribed angles
(from among \}) be folded flat to lie in an
infinitesimally thin line, without crossings? This problem generalizes the
classic theory of single-vertex flat origami with prescribed mountain-valley
assignment, which corresponds to the case of a cycle graph. We characterize
such flat-foldable plane graphs by two obviously necessary but also sufficient
conditions, proving a conjecture made in 2001: the angles at each vertex should
sum to , and every face of the graph must itself be flat foldable.
This characterization leads to a linear-time algorithm for testing flat
foldability of plane graphs with prescribed edge lengths and angles, and a
polynomial-time algorithm for counting the number of distinct folded states.Comment: 21 pages, 10 figure
Parameterized Directed -Chinese Postman Problem and Arc-Disjoint Cycles Problem on Euler Digraphs
In the Directed -Chinese Postman Problem (-DCPP), we are given a
connected weighted digraph and asked to find non-empty closed directed
walks covering all arcs of such that the total weight of the walks is
minimum. Gutin, Muciaccia and Yeo (Theor. Comput. Sci. 513 (2013) 124--128)
asked for the parameterized complexity of -DCPP when is the parameter.
We prove that the -DCPP is fixed-parameter tractable.
We also consider a related problem of finding arc-disjoint directed
cycles in an Euler digraph, parameterized by . Slivkins (ESA 2003) showed
that this problem is W[1]-hard for general digraphs. Generalizing another
result by Slivkins, we prove that the problem is fixed-parameter tractable for
Euler digraphs. The corresponding problem on vertex-disjoint cycles in Euler
digraphs remains W[1]-hard even for Euler digraphs
- …