We study the distributed simulation problem where @math players aim to generate sequences of random coin flips where some subsets of the players share an independent common coin which can be tossed multiple times, and there is a publicly seen blackboard through which the players communicate with each other. We provide a tight representation of the optimal communication rates via linear programming, and more importantly, propose explicit algorithms for the optimal distributed simulation for a wide class of hypergraphs. In particular, the optimal communication rate in complete hypergraphs is still achievable in sparser hypergraphs containing a path-connected cycle-free cluster of topologically connected components. Some key steps in analyzing the upper bounds rely on two different definitions of connectivity in hypergraphs, which may be of independent interest.
A related work deserving special attention is @cite_18 , which studied the also on hypergraphs. Specifically, it showed that if the @math -uniform hypergraph is (a notion introduced in @cite_18 ), then there is a strategy achieving the optimal communication rate @math and outputting each hyperedge . Our work differs from @cite_18 in the following aspects. First, instead of outputting each hyperedge exactly once, we may output a subset of hyperedges or some hyperedges with different repetitions (cf. Section ). Consequently, our lower bound in Theorem is stronger. Second, the achievability scheme in @cite_18 requires large blocklengths to achieve some small probability of error, while our achievability scheme is more combinatorial and achieves zero error. Third, their type @math condition is an information-theoretic condition, with an unclear relationship to combinatorial hypergraph theory. It is also unknown whether it can be verified in polynomial time that some subset of (possibly repeated) hyperedges in a given hypergraph forms a hypergraph of type @math . In contrast, our conditions in Theorems and are more combinatorial in nature, and the topological connectivity can be efficiently checked using matrix ranks. Hence, our work presents an alternative approach which sheds more lights on the combinatorial perspective.
@cite_18
2008159222 2078174680 2532977679 2042703645
Let h>w>0 be two fixed integers. Let H be a random hypergraph whose hyperedges are all of cardinality h. To w-orient a hyperedge, we assign exactly w of its vertices positive signs with respect to the hyperedge, and the rest negative. A (w,k)-orientation of H consists of a w-orientation of all hyperedges of H, such that each vertex receives at most k positive signs from its incident hyperedges. When k is large enough, we determine the threshold of the existence of a (w,k)-orientation of a random hypergraph. The (w,k)-orientation of hypergraphs is strongly related to a general version of the off-line load balancing problem. The graph case, when h=2 and w=1, was solved recently by Cain, Sanders and Wormald and independently by Fernholz and Ramachandran, thereby settling a conjecture made by Karp and Saks. Motivated by a problem of cuckoo hashing, the special hypergraph case with w=k=1, was solved in three separate preprints dating from October 2009, by Frieze and Melsted, by Fountoulakis and Panagiotou, and by Dietzfelbinger, Goerdt, Mitzenmacher, Montanari, Pagh and Rink. In this paper, we present a new hypergraph-partitioning algorithm that is based on the multilevel paradigm. In the multilevel paradigm, a sequence of successively coarser hypergraphs is constructed. A bisection of the smallest hypergraph is computed and it is used to obtain a bisection of the original hypergraph by successively projecting and refining the bisection to the next level finer hypergraph. We have developed new hypergraph coarsening strategies within the multilevel framework. We evaluate their performance both in terms of the size of the hyperedge cut on the bisection, as well as on the run time for a number of very large scale integration circuits. Our experiments show that our multilevel hypergraph-partitioning algorithm produces high-quality partitioning in a relatively small amount of time. The quality of the partitionings produced by our scheme are on the average 6 -23 better than those produced by other state-of-the-art schemes. Furthermore, our partitioning algorithm is significantly faster, often requiring 4-10 times less time than that required by the other schemes. Our multilevel hypergraph-partitioning algorithm scales very well for large hypergraphs. Hypergraphs with over 100 000 vertices can be bisected in a few minutes on today's workstations. Also, on the large hypergraphs, our scheme outperforms other schemes (in hyperedge cut) quite consistently with larger margins (9 -30 ). Given a directed graph @math and a list @math of terminal pairs, the Directed Steiner Network problem asks for a minimum-cost subgraph of @math that contains a directed @math path for every @math . The special case Directed Steiner Tree (when we ask for paths from a root @math to terminals @math ) is known to be fixed-parameter tractable parameterized by the number of terminals, while the special case Strongly Connected Steiner Subgraph (when we ask for a path from every @math to every other @math ) is known to be W[1]-hard. We systematically explore the complexity landscape of directed Steiner problems to fully understand which other special cases are FPT or W[1]-hard. Formally, if @math is a class of directed graphs, then we look at the special case of Directed Steiner Network where the list @math of requests form a directed graph that is a member of @math . Our main result is a complete characterization of the classes @math resulting in fixed-parameter tractable special cases: we show that if every pattern in @math has the combinatorial property of being "transitively equivalent to a bounded-length caterpillar with a bounded number of extra edges," then the problem is FPT, and it is W[1]-hard for every recursively enumerable @math not having this property. This complete dichotomy unifies and generalizes the known results showing that Directed Steiner Tree is FPT [Dreyfus and Wagner, Networks 1971], @math -Root Steiner Tree is FPT for constant @math [Such 'y, WG 2016], Strongly Connected Steiner Subgraph is W[1]-hard [, SIAM J. Discrete Math. 2011], and Directed Steiner Network is solvable in polynomial-time for constant number of terminals [Feldman and Ruhl, SIAM J. Comput. 2006], and moreover reveals a large continent of tractable cases that were not known before. Abstract We show that if a collection of hypergraphs (1) is uniform (every edge contains exactly k vertices, for some fixed k), (2) has minimum degree asymptotic to the maximum degree, and (3) has maximum codegree (the number of edges containing a pair of vertices) asymptotically negligible compared with the maximum degree, then the chromatic index is asymptotic to the maximum degree. This means that the edges can be partitioned into packings (or matchings), almost all of which are almost perfect. We also show that the edges can be partitioned into coverings, almost all of which are almost perfect. The result strengthens and generalizes a result due to Frankl and Rodl concerning the existence of a single almost perfect packing or covering under similar circumstances. In particular, it shows that the chromatic index of a Steiner triple-system on n points is asymptotic to n 2 , resolving a long-standing conjecture.