CSpace

浏览/检索结果: 共16条,第1-10条 帮助

已选(0)清除 条数/页:   排序方式:
Improved deterministic algorithms for non-monotone submodular maximization 期刊论文
THEORETICAL COMPUTER SCIENCE, 2024, 卷号: 984, 页码: 17
作者:  Sun, Xiaoming;  Zhang, Jialin;  Zhang, Shuo;  Zhang, Zhijie
收藏  |  浏览/下载:2/0  |  提交时间:2024/05/20
Submodular maximization  Deterministic algorithms  Derandomization  Twin greedy  Multiplicative updates  
Online scheduling of time-critical tasks to minimize the number of calibrations 期刊论文
THEORETICAL COMPUTER SCIENCE, 2022, 卷号: 914, 页码: 1-13
作者:  Chen, Zuzhi;  Zhang, Jialin
收藏  |  浏览/下载:17/0  |  提交时间:2022/12/07
Online scheduling  Calibration  Time-critical  
Special Issue on the International Conference on Algorithmic Aspects in Information and Management 2019 (AAIM'19) Preface 期刊论文
THEORETICAL COMPUTER SCIENCE, 2021, 卷号: 853, 页码: 1-1
作者:  Sun, Xiaoming;  Zhang, Jialin
收藏  |  浏览/下载:19/0  |  提交时间:2021/12/01
Facility location games with optional preference 期刊论文
THEORETICAL COMPUTER SCIENCE, 2020, 卷号: 847, 页码: 185-197
作者:  Chen, Zhihuai;  Fong, Ken C. K.;  Li, Minming;  Wang, Kai;  Yuan, Hongning;  Zhang, Yong
收藏  |  浏览/下载:29/0  |  提交时间:2021/12/01
Game theory  Facility location game  Algorithmic mechanism design  Approximation  
The one-round multi-player discrete Voronoi game on grids and trees 期刊论文
THEORETICAL COMPUTER SCIENCE, 2020, 卷号: 838, 页码: 143-159
作者:  Sun, Xiaoming;  Sun, Yuan;  Xia, Zhiyu;  Zhang, Jialin
收藏  |  浏览/下载:46/0  |  提交时间:2020/12/10
Game theory  Nash equilibrium  Location game  Graph theory  
Coreness of cooperative games with truncated submodular profit functions 期刊论文
THEORETICAL COMPUTER SCIENCE, 2020, 卷号: 822, 页码: 49-60
作者:  Chen, Wei;  Shan, Xiaohan;  Sun, Xiaoming;  Zhang, Jialin
收藏  |  浏览/下载:41/0  |  提交时间:2020/12/10
Cooperative game  Core  Submodular function  Social network  
On the modulo degree complexity of Boolean functions 期刊论文
THEORETICAL COMPUTER SCIENCE, 2020, 卷号: 818, 页码: 32-40
作者:  Li, Qian;  Sun, Xiaoming
收藏  |  浏览/下载:29/0  |  提交时间:2020/12/10
Boolean function  Degree complexity  Polynomial  Decision tree complexity  Hypergraph property  
A tighter relation between sensitivity complexity and certificate complexity 期刊论文
THEORETICAL COMPUTER SCIENCE, 2019, 卷号: 762, 页码: 1-12
作者:  He, Kun;  Li, Qian;  Sun, Xiaoming
收藏  |  浏览/下载:248/0  |  提交时间:2019/04/03
Sensitivity conjecture  Sensitivity  Block sensitivity  Certificate complexity  Boolean functions  
Maximum bipartite matchings with low rank data: Locality and perturbation analysis 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 621, 页码: 82-91
作者:  Liu, Xingwu;  Teng, Shang-Hua
收藏  |  浏览/下载:44/0  |  提交时间:2019/12/13
Bipartite graphs  Maximum matching  Matrix decomposition  Permutation  
Completeness of Hoare logic with inputs over the standard model 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
作者:  Xu, Zhaowei;  Sui, Yuefei;  Zhang, Wenhui
收藏  |  浏览/下载:41/0  |  提交时间:2019/12/13
Hoare logic  Peano arithmetic  The standard model  Computation  Arithmetical definability  Logical completeness