Arrow Research search

Author name cluster

Dingzhu Du

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

5 papers
1 author row

Possible papers

5

TCS Journal 2021 Journal Article

Maximize a monotone function with a generic submodularity ratio

  • Suning Gong
  • Qingqin Nong
  • Tao Sun
  • Qizhi Fang
  • Dingzhu Du
  • Xiaoyu Shao

Generic submodularity ratio γ is a general measurement to characterize how close a nonnegative monotone set function is to be submodular. In this paper, we make a systematic analysis of greedy algorithms for maximizing a monotone and normalized set function with a generic submodularity ratio γ under Cardinality constraints, Knapsack constraints, Matroid constraints and K-intersection constraints.

TCS Journal 2020 Journal Article

General Rumor Blocking: An efficient random algorithm with martingale approach

  • Qizhi Fang
  • Xin Chen
  • Qingqin Nong
  • Zongchao Zhang
  • Yongchang Cao
  • Yan Feng
  • Tao Sun
  • Suning Gong

Rumor Blocking, an important optimization problem in social network, has been extensively studied in the literature. Given social network G = ( V, E ) and rumor seed set A, the goal is asking for k protector seeds that protect the largest expected number of social individuals by truth. However, the source of rumor is always uncertain, rather than being predicted or being known in advance in the real situations, while rumor spreads like wildfire on the Internet. This paper presents General Rumor Blocking with unpredicted rumor seed set (randomized A) and various personal profits while being protected (weights of nodes in V). We first show that the objective function of this problem is non-decreasing and submodular, and thus a ( 1 − 1 / e ) approximate solution can be returned by greedy approach. We then propose an efficient random algorithm R-GRB which returns a ( 1 − 1 / e − ε ) approximate solution with at least 1 − n − ℓ probability. We show that it runs in O ( m ( n − r ) ( k log ⁡ ( n − r ) + ℓ log ⁡ n ) / ε 2 ) expected time, where m = | E |, n = | V |, r = | A | and k is the number of protector seeds. Finally, we conduct extensive experiments to evaluate the R-GRB and show that it is superior in both theory and experiment.

TCS Journal 2014 Journal Article

A formal proof of the deadline driven scheduler in PPTL axiomatic system

  • Nan Zhang
  • Zhenhua Duan
  • Cong Tian
  • Dingzhu Du

This paper presents an approach for verifying the correctness of the feasibility theorem on the deadline driven scheduler (DDS) with the axiom system of Propositional Projection Temporal Logic (PPTL). To do so, the deadline driven scheduling algorithm is modeled by an MSVL (Modeling, Simulation and Verification Language) program and the feasibility theorem is formulated by PPTL formulas with two parts: a necessary part and a sufficient part. Then, several lemmas are abstracted and proved by means of the axiom system of PPTL. With the help of the lemmas, two parts of the theorem are deduced respectively. This case study convinces us that some real-time properties of systems can be formally verified by theorem proving using the axiom system of PPTL.

TCS Journal 2003 Journal Article

Lower bounds on the minus domination and k-subdomination numbers

  • Liying Kang
  • Hong Qiao
  • Erfang Shan
  • Dingzhu Du

A three-valued function f defined on the vertex set of a graph G=(V, E), f: V→{−1, 0, 1} is a minus dominating function if the sum of its function values over any closed neighborhood is at least one. That is, for every v∈V, f(N[v])⩾1, where N[v] consists of v and all vertices adjacent to v. The weight of a minus function is f(V)=∑ v∈V f(v). The minus domination number of a graph G, denoted by γ −(G), equals the minimum weight of a minus dominating function of G. In this paper, sharp lower bounds on minus domination of a bipartite graph are given. Thus, we prove a conjecture proposed by Dunbar et al. (Discrete Math. 199 (1999) 35), and we give a lower bound on γ ks(G) of a graph G.

v2026.09.13