Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages. In some ways,...

In computer science, fingerprinting is a procedure that maps an arbitrarily large data item (such as a computer file) to a much shorter bit string, its fingerprint, that uniquely identifies the ori...

In the last part of the previous article, we disucssed how to determine the existence of perfect matching in a bipartite graph. Today, we are gonna to propose a way to find such a perfect matching....

Checking whether two arithmatic expressions (polynomials) are identical is one of the most important open problems in the intersection of algebra and computational complexity. Many hard problems in...

Why are there so many programming languages in the world? What’s the art behind their miscellaneous designs? Nowadays, there are thousands of high-level programming languages, and new ones continu...

Integer programming is a type of optimization problem where the goal is to find the best integer solution to a problem. Integer programming is a powerful problem-solving tool used in many research...

In this article, we will introduce three important inequalities for possibility concentration. Then, we provide an example problem - Mean Estimation - to show the application of Chernoff bound. In...

In this article, we discuss two typical and educational problems which can be well solved using randomized algorithm - global min cut problem and median problem. Global Min Cut Problem Background...

What is Randomized Algorithm? Randomness is a basic and extremely useful concept in algorithm design. Introducing randomness allows us to deal with some very hard questions. Although we cannot pro...

清晨，我如往常一样，起床后查阅自己的邮箱。由于论文在5月份的时候就完成了所有的收尾工作，导师非常愉快给了我暑期三个月的带薪休假，让我回家看看父母。回国之后，凡是工作上的事情都得借助梯子的帮助。挂上梯子，打开学校邮箱，映入眼帘的便是醒目的 “HotCRP” 几个字母。这几个字母太熟悉不过了，这是软工顶会之一 ASE (38th IEEE/ACM International Conference...