English
Related papers

Related papers: Zero-Knowledge Verifiable Graph Query Evaluation v…

200 papers

We consider graph property testing in $p$-degenerate graphs under the random neighbor oracle model (Czumaj and Sohler, FOCS 2019). In this framework, a tester explores a graph by sampling uniform neighbors of vertices, and a property is…

Data Structures and Algorithms · Computer Science 2026-04-07 Oded Lachish , Amit Levi , Ilan Newman , Felix Reidl

Knowledge graphs (KGs) are crucial in the field of artificial intelligence and are widely applied in downstream tasks, such as enhancing Question Answering (QA) systems. The construction of KGs typically requires significant effort from…

Computation and Language · Computer Science 2024-07-16 Rui Yang , Boming Yang , Sixun Ouyang , Tianwei She , Aosong Feng , Yuang Jiang , Freddy Lecue , Jinghui Lu , Irene Li

We prove a robust contraction decomposition theorem for $H$-minor-free graphs, which states that given an $H$-minor-free graph $G$ and an integer $p$, one can partition in polynomial time the vertices of $G$ into $p$ sets $Z_1,\dots,Z_p$…

Data Structures and Algorithms · Computer Science 2024-12-06 Sayan Bandyapadhyay , William Lochet , Daniel Lokshtanov , Dániel Marx , Pranabendu Misra , Daniel Neuen , Saket Saurabh , Prafullkumar Tale , Jie Xue

Designing query languages for graph structured data is an active field of research, where expressiveness and efficient algorithms for query evaluation are conflicting goals. To better handle dynamically changing data, recent work has been…

Logic in Computer Science · Computer Science 2016-05-06 M. Praveen , B. Srivathsan

We show that the quantum query complexity of detecting if an $n$-vertex graph contains a triangle is $O(n^{9/7})$. This improves the previous best algorithm of Belovs making $O(n^{35/27})$ queries. For the problem of determining if an…

Quantum Physics · Physics 2012-10-04 Troy Lee , Frederic Magniez , Miklos Santha

Graph exploration is one of the fundamental tasks performed by a mobile agent in a graph. An $n$-node graph has unlabeled nodes, and all ports at any node of degree $d$ are arbitrarily numbered $0,\dots, d-1$. A mobile agent, initially…

Data Structures and Algorithms · Computer Science 2023-03-21 Andrzej Pelc

A zero-knowledge proximity proof certifies geometric nearness but carries no commitment to an application context. In stateful geo-content systems, where drops can share coordinates, policies evolve, and content has persistent identity,…

Cryptography and Security · Computer Science 2026-04-07 Yoshiyuki Ootani

Node classification is a central task in graph data analysis. Scarce or even no labeled data of emerging classes is a big challenge for existing methods. A natural question arises: can we classify the nodes from those classes that have…

Artificial Intelligence · Computer Science 2021-06-16 Zheng Wang , Jialong Wang , Yuchen Guo , Zhiguo Gong

Currently, when a security analyst discovers a vulnerability in critical software system, they must navigate a fraught dilemma: immediately disclosing the vulnerability to the public could harm the system's users; whereas disclosing the…

Cryptography and Security · Computer Science 2023-01-05 Santiago Cuéllar , Bill Harris , James Parker , Stuart Pernsteiner , Eran Tromer

Knowledge graphs (KGs) of real-world facts about entities and their relationships are useful resources for a variety of natural language processing tasks. However, because knowledge graphs are typically incomplete, it is useful to perform…

Computation and Language · Computer Science 2020-10-28 Dat Quoc Nguyen

Graph encryption schemes play a crucial role in facilitating secure queries on encrypted graphs hosted on untrusted servers. With applications spanning navigation systems, network topology, and social networks, the need to safeguard…

Cryptography and Security · Computer Science 2024-05-30 Seyni Kane , Anis Bkakria

Graph clustering or community detection constitutes an important task for investigating the internal structure of graphs, with a plethora of applications in several domains. Traditional techniques for graph clustering, such as spectral…

This paper presents a new method for quantum identity authentication (QIA) protocols. The logic of classical zero-knowledge proofs (ZKPs) due to Schnorr is applied in quantum circuits and algorithms. This novel approach gives an exact way…

Quantum Physics · Physics 2023-08-08 Mark Carney

To enhance the reliability and credibility of graph neural networks (GNNs) and improve the transparency of their decision logic, a new field of explainability of GNNs (XGNN) has emerged. However, two major limitations severely degrade the…

Machine Learning · Computer Science 2025-05-26 Han Zhang , Yan Wang , Guanfeng Liu , Pengfei Ding , Huaxiong Wang , Kwok-Yan Lam

We propose a new, training-free method, Graph Reasoning via Retrieval Augmented Framework (GRRAF), that harnesses retrieval-augmented generation (RAG) alongside the code-generation capabilities of large language models (LLMs) to address a…

Artificial Intelligence · Computer Science 2025-09-17 Hanqing Li , Kiran Sheena Jyothi , Henry Liang , Sharika Mahadevan , Diego Klabjan

Large scale graph processing is a major research area for Big Data exploration. Vertex centric programming models like Pregel are gaining traction due to their simple abstraction that allows for scalable execution on distributed systems…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-05-10 Yogesh Simmhan , Alok Kumbhare , Charith Wickramaarachchi , Soonil Nagarkar , Santosh Ravi , Cauligi Raghavendra , Viktor Prasanna

We present a surprisingly simple yet accurate approach to reasoning in knowledge graphs (KGs) that requires \emph{no training}, and is reminiscent of case-based reasoning in classical artificial intelligence (AI). Consider the task of…

Computation and Language · Computer Science 2020-07-21 Rajarshi Das , Ameya Godbole , Shehzaad Dhuliawala , Manzil Zaheer , Andrew McCallum

As graph representations of data emerge in multiple domains, data analysts need to be able to intelligently select among a magnitude of different data graphs based on the effects different graph operators have on them. Exhaustive execution…

Social and Information Networks · Computer Science 2018-08-21 Tasos Bakogiannis , Ioannis Giannakopoulos , Dimitrios Tsoumakos , Nectarios Koziris

Most available data is unstructured, making it challenging to access valuable information. Automatically building Knowledge Graphs (KGs) is crucial for structuring data and making it accessible, allowing users to search for information…

Artificial Intelligence · Computer Science 2024-09-06 Yassir Lairgi , Ludovic Moncla , Rémy Cazabet , Khalid Benabdeslem , Pierre Cléau

The goal of graph inference is to design algorithms for learning properties of a hidden graph using queries to an oracle that returns information about the graph. Graph reconstruction, verification, and property testing are all types of…

Data Structures and Algorithms · Computer Science 2025-02-26 Huck Bennett , Mitchell Black , Amir Nayyeri , Evelyn Warton