中文
相关论文

相关论文: Alternative forms of representation of Boolean fun…

200 篇论文

Blockchain is a decentralized system that allows transaction transmission and storage according to the roles of the Consensus algorithm and Smart contracts. Non-fungible tokens (NFTs) consolidate the best characteristics of blockchain…

密码学与安全 · 计算机科学 2022-09-07 Subhash Shankar Pandey , Tadasha Dash , Prasanta K. Panigrahi , Ahmed Farouk

Boolean optimization finds a wide range of application domains, that motivated a number of different organizations of Boolean optimizers since the mid 90s. Some of the most successful approaches are based on iterative calls to an NP oracle,…

人工智能 · 计算机科学 2011-09-14 Antonio Morgado , Joao Marques-Silva

Recent work demonstrated the existence of Boolean functions for which Shapley values provide misleading information about the relative importance of features in rule-based explanations. Such misleading information was broadly categorized…

人工智能 · 计算机科学 2024-02-14 Xuanxiang Huang , Joao Marques-Silva

This paper presents a hybrid cryptographic protocol, using quantum and classical resources, to generate a key for authentication and optionally for encryption in a network. One or more trusted servers distribute streams of entangled photons…

量子物理 · 物理学 2007-05-23 D. Richard Kuhn

In the paper we develop a method for constructing quantum algorithms for computing Boolean functions by quantum ordered read-once branching programs (quantum OBDDs). Our method is based on fingerprinting technique and representation of…

计算复杂性 · 计算机科学 2009-11-13 Farid Ablayev , Alexander Vasiliev

Binarized Neural Networks (BNN) offer efficient implementations for machine learning tasks and facilitate Privacy-Preserving Machine Learning (PPML) by simplifying operations with binary values. Nevertheless, challenges persist in terms of…

机器学习 · 计算机科学 2024-12-24 Benchang Dong , Zhili Chen , Xin Chen , Shiwen Wei , Jie Fu , Huifa Li

Decision of whether a Boolean equation system has a solution is an NPC problem and finding a solution is NP hard. In this paper, we present a quantum algorithm to decide whether a Boolean equation system FS has a solution and compute one if…

量子物理 · 物理学 2018-08-07 Yu-Ao Chen , Xiao-Shan Gao

This paper introduces quantum circuit methodologies for pointwise multiplication and convolution of complex functions, conceptualized as "processing through encoding". Leveraging known techniques, we describe an approach where multiple…

量子物理 · 物理学 2026-01-13 Andreas Papageorgiou , Paulo Vitor Itaborai , Kostas Blekos , Karl Jansen

Traditional cryptography is suffering a huge threat from the development of quantum computing. While many currently used public-key cryptosystems would be broken by Shor's algorithm, the effect of quantum computing on symmetric ones is…

量子物理 · 物理学 2018-07-24 Huiqin Xie , Li Yang

Recently, a chaos-based image encryption algorithm using alternate structure (IEAS) was proposed. This paper focuses on differential cryptanalysis of the algorithm and finds that some properties of IEAS can support a differential attack to…

密码学与安全 · 计算机科学 2011-12-22 Yu Zhang , Chengqing Li , Kwok-Wo Wong , Shi Shu , Guanrong Chen

We give an exponential separation between one-way quantum and classical communication complexity for a Boolean function. Earlier such a separation was known only for a relation. A very similar result was obtained earlier but independently…

量子物理 · 物理学 2022-03-29 Dmytro Gavinsky , Julia Kempe , Ronald de Wolf

Quantum communication is an important application that derives from the burgeoning field of quantum information and quantum computation. Focusing on secure communication, quantum cryptography has two major directions of development, namely…

量子物理 · 物理学 2021-08-31 Junxu Li , Zixuan Hu , Sabre Kais

In this paper, we study different cryptographically significant spectra of Boolean functions, including the Walsh-Hadamard, cross-correlation, and autocorrelation. The $2^k$-variation by Stanica [IEEE-IT 2016] is considered here with the…

量子物理 · 物理学 2025-07-11 Suman Dutta , Subhamoy Maitra , Pantelimon Stanica

We study the quantum query complexity of the Boolean hidden shift problem. Given oracle access to f(x+s) for a known Boolean function f, the task is to determine the n-bit string s. The quantum query complexity of this problem depends…

量子物理 · 物理学 2013-11-28 Andrew M. Childs , Robin Kothari , Maris Ozols , Martin Roetteler

The impossibility of creating perfect identical copies of unknown quantum systems is a fundamental concept in quantum theory and one of the main non-classical properties of quantum information. This limitation imposed by quantum mechanics,…

量子物理 · 物理学 2022-11-01 Mina Doosti

Selman and Kautz's work on ``knowledge compilation'' established how approximation (strengthening and/or weakening) of a propositional knowledge-base can be used to speed up query processing, at the expense of completeness. In this…

计算机科学中的逻辑 · 计算机科学 2016-08-14 Kevin Henshall , Peter Schachte , Harald Søndergaard , Leigh Whiting

Multi-particle interference is a key resource for quantum information processing, as exemplified by Boson Sampling. Hence, given its fragile nature, an essential desideratum is a solid and reliable framework for its validation. However,…

We address the challenge of implementing reliable computation of Boolean functions in future nanocircuit fabrics. Such fabrics are projected to have very high defect rates. We overcome this limitation by using a combination of cheap but…

信息论 · 计算机科学 2007-07-13 Ashish Kumar Singh , Adnan Aziz , Sriram Vishwanath , Michael Orshansky

Moderated by a director, laymen and students are encouraged to assume the role of quanta and enact a quantum cryptographic protocol. The performance is based on a generalized urn model capable of reproducing complementarity even for…

科普物理 · 物理学 2007-05-23 Karl Svozil

We describe the construction of quantum gates (unitary operators) from boolean functions and give a number of applications. Both non-reversible and reversible boolean functions are considered. The construction of the Hamilton operator for a…

数学软件 · 计算机科学 2015-01-05 Yorick Hardy , Willi-Hans Steeb