Incremental Witness Generation for Branching-Time Logic CTL*

Luo, Xiangyu; Sen, Liang; Zheng, Lixiao; Chen, Zuxi; Yang, Fan

doi:10.1109/tr.2022.3146200

Cited by 1 publication

(2 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Similarly, it holds 2,2,3,3,4, 4} and B = {5, 6, 7, 8}; then k = 4, l = 4 and g = 2; direct calculations show 4,3,3,2,2,1,1,5,5,4,4,3,3,2,2,6,6,5,5,4,4,3,3,7,7,6,6,5,5,4 Corollary 3.24. Let A = {a1, a2, ..., a k } be a set of consecutive integers; then…”

Section: General Propertiesmentioning

confidence: 97%

“…Let mx, where x ∈ C, be the multiplicity function on C; then its graph is depicted as Fig 1. 4, 3, 2, 1, 5, 4, 3, 2, 6, 5, 4, 5,6,7,3,4,5,6,2,3,4 4,3,2,6,5,4,3,7,6,5,4,8,7,6 4, 5, 6, 7, 2, 3, 4, 5, 6, 1, 2, 3, 4, 5} = {1 ∨1 , 2 ∨2 , 3 ∨3 , 4 ∨3 , 5 ∨3 , 6 ∨2 , 7 ∨1 } Hence m1 = 1, m2 = 2, m3 = 3, m4 = 3, m5 = 3, m6 = 2, and m7 = 1. Example 3.15.…”

Section: General Propertiesmentioning

confidence: 99%

See 1 more Smart Citation

Densification of Witnesses for Randomized Algorithm Design

Wang

2023

JAMCS

View full text Add to dashboard Cite

This paper investigates the densification of witnesses for randomized algorithm design and its application in factoring integers. By defining a set operation named with Cartesian subtraction on two countable sets and proving several properties of the operation, it is shown that the Cartesian subtraction can densify certain elements in a countable set so as to promote the abundance of witnesses for the randomized algorithm design. It is also proven that the Cartesian subtraction of two sets containing consecutive integers can form a triangular lattice zone that has a higher density of witnesses. Through designing an algorithm of a two-dimensional simple random walk on the triangular lattice zone, it is demonstrated that composite integers can be factored by means of the random walk. The study of the paper explores a pathway feasible and workable to densify the small witnesses in a countable set for randomized algorithm designs.

show abstract