143 citations · 330 across the 36 of their papers we have counts for
4 papers · 1 filter
Bounded-Degree Cut is Fixed-Parameter Tractable
Mingyu Xiao, Hiroshi Nagamochi
In the bounded-degree cut problem, we are given a multigraph , two disjoint vertex subsets , two functions $\mathrm{u}_A, \mathrm{u}_B:V\to \{0,1,\ldots,|E…
Enhancing Balanced Graph Edge Partition with Effective Local Search
Zhenyu Guo, Mingyu Xiao, Yi Zhou +2
Graph partition is a key component to achieve workload balance and reduce job completion time in parallel graph processing systems. Among the various partition strategies, edge par…
The Complexity of the Partition Coloring Problem
Zhenyu Guo, Mingyu Xiao, Yi Zhou
Given a simple undirected graph and a partition of the vertex set into parts, the \textsc{Partition Coloring Problem} asks if we can select one vertex from each p…
An Improved Upper Bound for SAT
Huairui Chu, Mingyu Xiao, Zhe Zhang
We show that the CNF satisfiability problem can be solved time, where is the number of clauses in the formula, improving the known upper bounds g…