南京计算机科学研究院,TCS @ NJU-程序员宅基地

技术标签: 南京计算机科学研究院  

Haimin Chen, Yonghang Jiang, Chaodong Zheng.

Tight Trade-off in Contention Resolution without Collision Detection.

Proceedings of the 40th ACM Symposium on Principles of Distributed Computing (PODC), 2021.

Weiming Feng, Kun He, Yitong Yin.

Sampling Constraint Satisfaction Solutions in the Local Lemma Regime.

Proceedings of the 53rd ACM Symposium on Theory of Computing (STOC), 2021.

Bingkai Lin.

Constant Approximating k-Clique is W[1]-hard.

Proceedings of the 53rd ACM Symposium on Theory of Computing (STOC), 2021.

Arnab Bhattacharyya, Édouard Bonnet, László Egri, Suprovat Ghoshal, Karthik C. S., Bingkai Lin, Pasin Manurangsi, Dániel Marx.

Parameterized Intractability of Even Set and Shortest Vector Problem.

Journal of the ACM (JACM) 68(3): 34:1-34:23 (2021).

Weiming Feng, Nisheeth Vishnoi, Yitong Yin.

Dynamic Sampling from Graphical Models.

SIAM Journal on Computing (SICOMP) 50(2): 350-381 (2021). (Conference version in STOC 2019.)

Weiming Feng, Kun He, Xiaoming Sun, Yitong Yin.

Dynamic inference in probabilistic graphical models.

Proceedings of the 12th Innovations in Theoretical Computer Science (ITCS), 2021.

Weiming Feng, Heng Guo, Yitong Yin, Chihao Zhang.

Rapid mixing from spectral independence beyond the Boolean domain.

Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), 2021.

Weiming Feng, Thomas P. Hayes, Yitong Yin.

Distributed Metropolis sampler with optimal parallelism.

Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), 2021.

Mingmou Liu, Yitong Yin, Huacheng Yu.

Succinct Filters for Sets of Unknown Sizes.

Proceedings of the 47th International Colloquium on Automata, Languages and Programming (ICALP), 2020.

Weiming Feng, Heng Guo, Yitong Yin, Chihao Zhang.

Fast Sampling and Counting k-SAT Solutions in the Local Lemma Regime.

Proceedings of the 52nd ACM Symposium on Theory of Computing (STOC), 2020.

Mingmou Liu, Huacheng Yu.

Lower Bound for Succinct Range Minimum Query.

Proceedings of the 52nd ACM Symposium on Theory of Computing (STOC), 2020.

Penghui Yao.

A Doubly Exponential Upper Bound on Noisy EPR States for Binary Games.

The 23rd Annual Conference on Quantum Information Processing (QIP), 2020.

Anurag Anshu, Penghui Yao.

On the Compression of Messages in the Multi-Party Setting.

IEEE Transaction on Information Theory (TIT) 66(4): 2091-2114 (2020).

Ken-ichi Kawarabayashi, Bingkai Lin.

A nearly 5/3-approximation FPT Algorithm for Min-k-Cut.

Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms (SODA), 2020.

Haimin Chen, Chaodong Zheng.

Fast and Resource Competitive Broadcast in Multi-channel Radio Networks.

Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2019.

Bingkai Lin.

A Simple Gap-producing Reduction for the Parameterized Set Cover Problem.

Proceedings of the 46th International Colloquium on Automata, Languages and Programming (ICALP), 2019. Best paper.

Yijia Chen, Bingkai Lin.

The Constant Inapproximability of the Parameterized Dominating Set Problem.

SIAM Journal on Computing (SICOMP) 48(2): 513-533 (2019). (FOCS 2016 special issue.)

Charilaos Efthymiou, Thomas P. Hayes, Daniel Štefankovič, Eric Vigoda, Yitong Yin.

Convergence of MCMC and Loopy BP in the Tree Uniqueness Region for the Hard-Core Model.

SIAM Journal on Computing (SICOMP) 48(2): 581-643 (2019). (FOCS 2016 special issue.)

Renjie Song, Yitong Yin, Jinman Zhao.

Counting Hypergraph Matchings up to Uniqueness Threshold.

Information and Computation (IANDC) 266: 75-96 (2019). (Conference version in RANDOM 2016.)

Debbie Leung, Ashwin Nayak, Ala Shayeghi, Dave Touchette, Penghui Yao, Nengkun Yu.

Capacity Approaching Codes for Low Noise Interactive Quantum Communication.

Proceedings of the 50th ACM Symposium on Theory of Computing (STOC), 2018. QIP 2018.

Weiming Feng, Yitong Yin.

On Local Distributed Sampling and Counting.

Proceedings of the 37th ACM Symposium on Principles of Distributed Computing (PODC), 2018.

Bingkai Lin.

The Parameterized Complexity of the k-Biclique Problem.

Journal of the ACM (JACM) 65(5): 34:1-34:23 (2018). (Winner of best paper and best student paper of SODA 2015.)

Anurag Anshu, Ankit Garg, Aram Harrow, Penghui Yao.

Expected communication cost of distributed quantum tasks.

IEEE Transactions on Information Theory (TIT) 64(11): 7395-7423 (2018).

Mingmou Liu, Xiaoyin Pan, Yitong Yin.

Randomized Approximate Nearest Neighbor Search with Limited Adaptivity.

ACM Transactions on Parallel Computing (TOPC) 5(1): 3:1-3:26 (2018). (SPAA 2016 special issue. Best paper finalist.)

Anurag Anshu, Dave Touchette, Penghui Yao, Nengkun Yu.

Exponential Separation of Quantum Communication and Classical Information.

Proceedings of the 49th ACM Symposium on Theory of Computing (STOC), 2017. Plenary talk in QIP 2017.

Weiming Feng, Yuxin Sun, Yitong Yin.

What Can be Sampled Locally?

Proceedings of the 36th ACM Symposium on Principles of Distributed Computing (PODC), 2017.

Seth Gilbert, Fabian Kuhn, Chaodong Zheng.

Communication Primitives in Cognitive Radio Networks.

Proceedings of the 36th ACM Symposium on Principles of Distributed Computing (PODC), 2017.

Yijia Chen, Martin Grohe, Bingkai Lin.

The Hardness of Embedding Grids and Walls.

Proceedings of the 43rd International Workshop on Graph-Theoretic Concepts in Computer Science (WG), 2017. Best paper.

Bingkai Lin, Yijia Chen.

The Parameterized Complexity of k-Edge Induced Subgraphs.

Information and Computation (IANDC) 252: 138-160 (2017). (Conference version in ICALP 2012.)

Rahul Jain, Zhaohui Wei, Penghui Yao, Shengyu Zhang.

Multipartite Quantum Correlation and Communication Complexities.

Computational Complexity 26(1): 199-228 (2017).

Alistair Sinclair, Piyush Srivastava, Daniel Štefankovič, Yitong Yin. Spatial Mixing and the Connective Constant: Optimal Bounds.

Probability Theory and Related Fields (PTRF) 168: 153 (2017). (Conference version in SODA 2015.)

Seth Gilbert, Calvin Newport, Chaodong Zheng.

Who Are You? Secure Identities in Ad Hoc Networks.

Distributed Computing (DC) 30(2): 103-125 (2017). (Conference version in DISC 2014.)

Yitong Yin.

Simple Average-case Lower Bounds for Approximate Near-neighbor from Isoperimetric Inequalities.

Proceedings of the 43rd International Colloquium on Automata, Languages and Programming (ICALP), 2016.

Anurag Anshu, Ankit Garg, Aram Wettroth Harrow, Penghui Yao.

Lower Bound on Expected Communication Cost of Quantum Huffman Coding.

Proceedings of the 11th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC), 2016.

Anurag Anshu, Rahul Jain, Priyanka Mukhopadhyay, Ala Shayeghi, Penghui Yao.

New one shot quantum protocols with application to communication complexity.

IEEE Transactions on Information Theory (TIT) 62(12): 7566-7577 (2016).

Rahul Jain, Attila Pereszlényi, Penghui Yao.

A Direct Product Theorem for Bounded-round Public-coin Randomized Communication Complexity.

Algorithmica 76(3): 720-748 (2016). (FOCS 2012 special issue.)

Seth Gilbert, Fabian Kuhn, Calvin Newport, Chaodong Zheng.

Efficient Communication in Cognitive Radio Networks.

Proceedings of the 34th ACM Symposium on Principles of Distributed Computing (PODC), 2015.

Seth Gilbert, Chaodong Zheng.

SybilCast: Broadcast on the Open Airwaves.

ACM Transactions on Parallel Computing (TOPC) 2(3): 16:1-16:20 (2015). (SPAA 2013 special issue.)

Rahul Jain, Attila Pereszlenyi, Penghui Yao.

A Parallel Repetition Theorem for Entangled Two-Player One-Round Games under Product Distributions.

Proceedings of the 29th IEEE Conference on Computational Complexity (CCC), 2014.

Yaoyu Wang, Yitong Yin.

Certificates in Data Structures.

Proceedings of the 41st International Colloquium on Automata, Languages and Programming (ICALP), 2014.

Yitong Yin.

Spatial Mixing of Coloring Random Graphs.

Proceedings of the 41st International Colloquium on Automata, Languages and Programming (ICALP), 2014.

Liang Li, Pinyan Lu, Yitong Yin.

Correlation Decay up to Uniqueness in Spin Systems.

Proceedings of the 24th ACM-SIAM Symposium on Discrete Algorithms (SODA), 2013.

Yitong Yin, Chihao Zhang.

Approximate Counting via Correlation Decay on Planar Graphs.

Proceedings of the 24th ACM-SIAM Symposium on Discrete Algorithms (SODA), 2013.

Liang Li, Pinyan Lu, Yitong Yin.

Approximate Counting via Correlation Decay in Spin Systems.

Proceedings of the 23rd ACM-SIAM Symposium on Discrete Algorithms (SODA), 2012.

James Aspnes, David Eisenstat, Yitong Yin.

Low-Contention Data Structures.

Journal of Parallel and Distributed Computing (JPDC) 72(5): 705-715 (2012). (Conference version in SPAA 2010.)

Rahul Jain, Penghui Yao.

A Parallel Approximation Algorithm for Positive Semidefinite Programming.

Proceedings of the 52nd IEEE Symposium on Foundations of Computer Science (FOCS), 2011.

Michael J. Fischer, Xueyuan Su, Yitong Yin.

Assigning Tasks for Efficiency in Hadoop.

Proceedings of the 22nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2010.

Pascal Koiran, Jürgen Landes, Natacha Portier, Penghui Yao.

Adversary lower bounds for nonadaptive quantum algorithms.

Journal of Computer and System Sciences (JCSS) 76(5): 347-355 (2010).

Yitong Yin.

Cell-Probe Proofs.

ACM Transactions on Computation Theory (TOCT) 2(1): 1:1-1:17 (2010).

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/weixin_28717611/article/details/118983709

智能推荐

JavaScript学习笔记_curry函数未定义-程序员宅基地

文章浏览阅读343次。五种原始的变量类型1.Undefined--未定义类型 例:var v;2.String -- ' '或" "3.Boolean4.Number5.Null--空类型 例: var v=null;Number中:NaN -- not a number非数本身是一个数字,但是它和任何数字都不相等,代表非数,它和自己都不相等判断是不是NaN不能用=_curry函数未定义

兑换码编码方案实践_优惠券编码规则-程序员宅基地

文章浏览阅读1.2w次,点赞2次,收藏17次。兑换码编码设计当前各个业务系统,只要涉及到产品销售,就离不开大大小小的运营活动需求,其中最普遍的就是兑换码需求,无论是线下活动或者是线上活动,都能起到良好的宣传效果。兑换码:由一系列字符组成,每一个兑换码对应系统中的一组信息,可以是优惠信息(优惠券),也可以是相关奖品信息。在实际的运营活动中,要求兑换码是唯一的,每一个兑换码对应一个优惠信息,而且需求量往往比较大(实际上的需求只有预期_优惠券编码规则

c语言周林答案,C语言程序设计实训教程教学课件作者周林ch04结构化程序设计课件.ppt...-程序员宅基地

文章浏览阅读45次。C语言程序设计实训教程教学课件作者周林ch04结构化程序设计课件.ppt* * 4.1 选择结构程序设计 4.2 循环结构程序设计 4.3 辅助控制语句 第四章 结构化程序设计 4.1 选择结构程序设计 在现实生活中,需要进行判断和选择的情况是很多的: 如果你在家,我去拜访你 如果考试不及格,要补考 如果遇到红灯,要停车等待 第四章 结构化程序设计 在现实生活中,需要进行判断和选择的情况..._在现实生活中遇到过条件判断的问

幻数使用说明_ioctl-number.txt幻数说明-程序员宅基地

文章浏览阅读999次。幻数使用说明 在驱动程序中实现的ioctl函数体内,实际上是有一个switch{case}结构,每一个case对应一个命令码,做出一些相应的操作。怎么实现这些操作,这是每一个程序员自己的事情。 因为设备都是特定的,这里也没法说。关键在于怎样组织命令码,因为在ioctl中命令码是唯一联系用户程序命令和驱动程序支持的途径 。 命令码的组织是有一些讲究的,因为我们一定要做到命令和设备是一一对应的,利_ioctl-number.txt幻数说明

ORB-SLAM3 + VScode:检测到 #include 错误。请更新 includePath。已为此翻译单元禁用波浪曲线_orb-slam3 include <system.h> 报错-程序员宅基地

文章浏览阅读399次。键盘按下“Shift+Ctrl+p” 输入: C++Configurations,选择JSON界面做如下改动:1.首先把 “/usr/include”,放在最前2.查看C++路径,终端输入gcc -v -E -x c++ - /usr/include/c++/5 /usr/include/x86_64-linux-gnu/c++/5 /usr/include/c++/5/backward /usr/lib/gcc/x86_64-linux-gnu/5/include /usr/local/_orb-slam3 include 报错

「Sqlserver」数据分析师有理由爱Sqlserver之十-Sqlserver自动化篇-程序员宅基地

文章浏览阅读129次。本系列的最后一篇,因未有精力写更多的入门教程,上篇已经抛出书单,有兴趣的朋友可阅读好书来成长,此系列主讲有理由爱Sqlserver的论证性文章,希望读者们看完后,可自行做出判断,Sqlserver是否真的合适自己,目的已达成。渴望自动化及使用场景笔者所最能接触到的群体为Excel、PowerBI用户群体,在Excel中,我们知道可以使用VBA、VSTO来给Excel带来自动化操作..._sqlsever 数据分析

随便推点

智慧校园智慧教育大数据平台(教育大脑)项目建设方案PPT_高校智慧大脑-程序员宅基地

文章浏览阅读294次,点赞6次,收藏4次。教育智脑)建立学校的全连接中台,对学校运营过程中的数据进行处理和标准化管理,挖掘数据的价值。能:一、原先孤立的系统聚合到一个统一的平台,实现单点登录,统一身份认证,方便管理;三、数据共享,盘活了教育大数据资源,通过对外提供数。的方式构建教育的通用服务能力平台,支撑教育核心服务能力的沉淀和共享。物联网将学校的各要素(人、机、料、法、环、测)全面互联,数据实时。智慧校园解决方案,赋能教学、管理和服务升级,智慧教育体系,该数据平台具有以下几大功。教育大数据平台底座:教育智脑。教育大数据平台,以中国联通。_高校智慧大脑

编程5大算法总结--概念加实例_算法概念实例-程序员宅基地

文章浏览阅读9.5k次,点赞2次,收藏27次。分治法,动态规划法,贪心算法这三者之间有类似之处,比如都需要将问题划分为一个个子问题,然后通过解决这些子问题来解决最终问题。但其实这三者之间的区别还是蛮大的。贪心是则可看成是链式结构回溯和分支界限为穷举式的搜索,其思想的差异是深度优先和广度优先一:分治算法一、基本概念在计算机科学中,分治法是一种很重要的算法。字面上的解释是“分而治之”,就是把一个复杂的问题分成两_算法概念实例

随笔—醒悟篇之考研调剂_考研调剂抑郁-程序员宅基地

文章浏览阅读5.6k次。考研篇emmmmm,这是我随笔篇章的第二更,原本计划是在中秋放假期间写好的,但是放假的时候被安排写一下单例模式,做了俩机试题目,还刷了下PAT的东西,emmmmm,最主要的还是因为我浪的很开心,没空出时间来写写东西。  距离我考研结束已经快两年了,距离今年的考研还有90天左右。  趁着这个机会回忆一下青春,这一篇会写的比较有趣,好玩,纯粹是为了记录一下当年考研中发生的有趣的事。  首先介绍..._考研调剂抑郁

SpringMVC_class org.springframework.web.filter.characterenco-程序员宅基地

文章浏览阅读438次。SpringMVC文章目录SpringMVC1、SpringMVC简介1.1 什么是MVC1.2 什么是SpringMVC1.3 SpringMVC的特点2、HelloWorld2.1 开发环境2.2 创建maven工程a>添加web模块b>打包方式:warc>引入依赖2.3 配置web.xml2.4 创建请求控制器2.5 创建SpringMVC的配置文件2.6 测试Helloworld2.7 总结3、@RequestMapping注解3.1 @RequestMapping注解的功能3._class org.springframework.web.filter.characterencodingfilter is not a jakart

gdb: Don‘t know how to run. Try “help target“._don't know how to run. try "help target".-程序员宅基地

文章浏览阅读4.9k次。gdb 远程调试的一个问题:Don't know how to run. Try "help target".它在抱怨不知道怎么跑,目标是什么. 你需要为它指定target remote 或target extended-remote例如:target extended-remote 192.168.1.136:1234指明target 是某IP的某端口完整示例如下:targ..._don't know how to run. try "help target".

c语言程序设计教程 郭浩志,C语言程序设计教程答案杨路明郭浩志-程序员宅基地

文章浏览阅读85次。习题 11、算法描述主要是用两种基本方法:第一是自然语言描述,第二是使用专用工具进行算法描述2、c 语言程序的结构如下:1、c 语言程序由函数组成,每个程序必须具有一个 main 函数作为程序的主控函数。2、“/*“与“*/“之间的内容构成 c 语言程序的注释部分。3、用预处理命令#include 可以包含有关文件的信息。4、大小写字母在 c 语言中是有区别的。5、除 main 函数和标准库函数以..._c语言语法0x1e