English
Related papers

Related papers: ColorFloat: Constant space token coloring

200 papers

In this paper, we study several coloring problems on graphs from the viewpoint of parameterized complexity. We show that Precoloring Extension is fixed-parameter tractable (FPT) parameterized by distance to clique and Equitable Coloring is…

Data Structures and Algorithms · Computer Science 2020-05-29 I. Vinod Reddy

This paper investigates the semi-streaming complexity of \textit{$k$-partial coloring}, a generalization of proper graph coloring. For $k \geq 1$, a $k$-partial coloring requires that each vertex $v$ in an $n$-node graph is assigned a color…

Data Structures and Algorithms · Computer Science 2026-02-24 Avinandan Das

Point clouds are a 3D space representation of an environment that was recorded with a high precision laser scanner. These scanners can suffer from environmental interference such as surface shading, texturing, and reflections. Because of…

Computer Vision and Pattern Recognition · Computer Science 2023-10-20 Esteban Segarra Martinez , Ryan P. McMahan

The potential impact of quantum machine learning algorithms on industrial applications remains an exciting open question. Conventional methods for encoding classical data into quantum computers are not only too costly for a potential…

Quantum Physics · Physics 2024-03-06 Kevin Shen , Bernhard Jobst , Elvira Shishenina , Frank Pollmann

We address the problem of watermarking graph objects, which consists in hiding information within them, to prove their origin. The two existing methods to watermark graphs use subgraph matching or graph isomorphism techniques, which are…

Data Structures and Algorithms · Computer Science 2025-08-05 Jade Garcia Bourrée , Anne-Marie Kermarrec , Erwan Le Merrer , Othmane Safsafi

Modular reasoning about class invariants is challenging in the presence of dependencies among collaborating objects that need to maintain global consistency. This paper presents semantic collaboration: a novel methodology to specify and…

Software Engineering · Computer Science 2014-05-08 Nadia Polikarpova , Julian Tschannen , Carlo A. Furia , Bertrand Meyer

Fault-tolerant operations based on stabilizer codes are the state of the art in suppressing error rates in quantum computations. Most such codes do not permit a straightforward implementation of non-Clifford logical operations, which are…

Distributed ledger technologies have opened up a wealth of fine-grained transaction data from cryptocurrencies like Bitcoin and Ethereum. This allows research into problems like anomaly detection, anti-money laundering, pattern mining and…

Social and Information Networks · Computer Science 2024-10-07 Naomi A. Arnold , Peijie Zhong , Cheick Tidiane Ba , Ben Steer , Raul Mondragon , Felix Cuadrado , Renaud Lambiotte , Richard G. Clegg

Watermarking by altering token sampling probabilities based on red-green list is a promising method for tracing the origin of text generated by large language models (LLMs). However, existing watermark methods often struggle with a…

Cryptography and Security · Computer Science 2025-05-21 Zongqi Wang , Tianle Gu , Baoyuan Wu , Yujiu Yang

Simulating the dynamics of electrons and other fermionic particles in quantum chemistry, materials science, and high-energy physics is one of the most promising applications of fault-tolerant quantum computers. However, the overhead in…

Cross-chain token standards enable fungible tokens that exist across multiple blockchains with a unified total supply model. This paper presents a comprehensive comparative analysis of five leading cross-chain token standards and…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-09 Fatemeh Heidari Soureshjani , Jan Gorzny

We consider the complexity of problems related to the combinatorial game Free-Flood-It, in which players aim to make a coloured graph monochromatic with the minimum possible number of flooding operations. Our main result is that computing…

Data Structures and Algorithms · Computer Science 2015-03-18 Kitty Meeks , Alexander Scott

We develop an automated video colorization framework that minimizes the flickering of colors across frames. If we apply image colorization techniques to successive frames of a video, they treat each frame as a separate colorization task.…

Computer Vision and Pattern Recognition · Computer Science 2023-05-24 Thejan Wijesinghe , Chamath Abeysinghe , Chanuka Wijayakoon , Lahiru Jayathilake , Uthayasanker Thayasivam

Due to the distributed nature of Federated Learning (FL) systems, each local client has access to the global model, which poses a critical risk of model leakage. Existing works have explored injecting watermarks into local models to enable…

Cryptography and Security · Computer Science 2026-02-10 Jiahao Xu , Rui Hu , Olivera Kotevska , Zikai Zhang

Model fragile watermarking, inspired by both the field of adversarial attacks on neural networks and traditional multimedia fragile watermarking, has gradually emerged as a potent tool for detecting tampering, and has witnessed rapid…

Cryptography and Security · Computer Science 2024-08-15 Zhenzhe Gao , Yu Cheng , Zhaoxia Yin

We consider the problem of online graph colouring. Whenever a node is requested, a colour must be assigned to the node, and this colour must be different from the colours of any of its neighbours. According to the greedy algorithm the node…

Discrete Mathematics · Computer Science 2016-01-05 Wojciech Kordecki , Anna Łyczkowska-Hanćkowiak

Benefiting from its ability to efficiently learn how an object is changing, correlation filters have recently demonstrated excellent performance for rapidly tracking objects. Designing effective features and handling model drifts are two…

Computer Vision and Pattern Recognition · Computer Science 2020-11-26 Xizhe Xue , Ying Li , Qiang Shen

Consider the following puzzle: a farmland consists of several fields, each occupied by either a farmer, a fox, a chicken, or a caterpillar. Creatures in neighboring fields can swap positions as long as the fox avoids the farmer, the chicken…

Computational Complexity · Computer Science 2026-01-15 Davide Bilò , Stefano Leucci , Andrea Martinelli

In this work, we introduce Modulated Flows (ModFlows), a novel approach for color transfer between images based on rectified flows. The primary goal of the color transfer is to adjust the colors of a target image to match the color…

Computer Vision and Pattern Recognition · Computer Science 2025-05-27 Maria Larchenko , Alexander Lobashev , Dmitry Guskov , Vladimir Vladimirovich Palyulin

Many graph problems are locally checkable: a solution is globally feasible if it looks valid in all constant-radius neighborhoods. This idea is formalized in the concept of locally checkable labelings (LCLs), introduced by Naor and…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-04-12 Alkida Balliu , Juho Hirvonen , Christoph Lenzen , Dennis Olivetti , Jukka Suomela