当前位置: X-MOL 学术Theor. Comput. Sci. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Reconstruction and verification of chordal graphs with a distance oracle
Theoretical Computer Science ( IF 1.1 ) Pub Date : 2021-01-07 , DOI: 10.1016/j.tcs.2021.01.006
Guozhen Rong , Wenjun Li , Yongjie Yang , Jianxin Wang

A hidden graph is a graph whose edge set is hidden. A distance oracle of a graph G is a black-box that receives two vertices of G and outputs the distance between the two vertices. Given a hidden graph, the reconstruction problem aims to identify the edges of the hidden graph by accessing a distance oracle, and the verification problem aims to check whether the hidden graph is equal to another given graph (not hidden).

If the hidden graph G is a connected chordal graph, a Las Vegas reconstruction algorithm using O(Δ32Δn(2Δ+log2n)logn) distance queries is known, where Δ is the maximum degree of G and n is the number of vertices of G. Improving upon this result, we present a reconstruction algorithm using only O(Δ2nlog2n) distance queries. As a byproduct, we obtain a deterministic algorithm for the verification of chordal graphs with O(Δ2nlogn) distance queries. Additionally, we derive a deterministic algorithm of reconstructing connected interval graphs using only O(Δn) distance queries, and prove that reconstructing or verifying a connected interval graph needs Ω(Δn) distance queries, which implies that this algorithm is the best possible in terms of the number of distance queries needed.



中文翻译:

带距离预言的和弦图的重建和验证

隐藏图是其边集被隐藏的图。图G的距离预言是一个黑盒,它接收G的两个顶点并输出两个顶点之间的距离。给定一个隐藏图,重建问题旨在通过访问距离预言来识别隐藏图的边缘,而验证问题旨在检查该隐藏图是否等于另一个给定图(未隐藏)。

如果隐藏图G是连通弦图,则使用ØΔ32Δñ2Δ+日志2ñ日志ñ距离查询是已知的,其中Δ是最大程度ģÑ是顶点的数量ģ。为了改善这个结果,我们提出了一种仅使用ØΔ2ñ日志2ñ距离查询。作为副产品,我们获得了确定性算法,用于验证弦图ØΔ2ñ日志ñ距离查询。此外,我们推导了一种确定性算法,该算法仅使用ØΔñ 距离查询,并证明需要重建或验证连接的间隔图 ΩΔñ 距离查询,这意味着就所需的距离查询而言,该算法是最好的。

更新日期:2021-02-10
down
wechat
bug