On the riddle of coding equality function in the garden hose model

Oded Margalit

doi:10.1109/ITA.2014.6804262

On the riddle of coding equality function in the garden hose model

Oded Margalit

Research output: Contribution to conference › Paper › peer-review

2 Scopus citations

Abstract

Recently, Harry Buhrman et al introduced a novel communication complexity model, called "garden-hose". This model sprout from a research on using quantum properties to allow for position based cryptography. SAT is one of the fundamental NP-Complete problem - finding a satisfying assignment to a CNF (conjunctive Normal Form) formula, or proving that none exists. We will not get into the details of the quantum physics, neither we are going to explain the internal work of SAT solver. Instead we will start from the mathematical garden hose model; describe the way we used SAT solver as a tool; give some lower and upper bounds on implementing the equality function; and conclude with open questions.

Original language	English
DOIs	https://doi.org/10.1109/ITA.2014.6804262
State	Published - 1 Jan 2014
Externally published	Yes
Event	2014 IEEE Information Theory and Applications Workshop, ITA 2014 - San Diego, CA, United States Duration: 9 Feb 2014 → 14 Feb 2014

Conference

Conference	2014 IEEE Information Theory and Applications Workshop, ITA 2014
Country/Territory	United States
City	San Diego, CA
Period	9/02/14 → 14/02/14

ASJC Scopus subject areas

Computer Science Applications
Information Systems

Access to Document

10.1109/ITA.2014.6804262

Cite this

@conference{03b863332b31483da03db2d7afa550d2,

title = "On the riddle of coding equality function in the garden hose model",

abstract = "Recently, Harry Buhrman et al introduced a novel communication complexity model, called {"}garden-hose{"}. This model sprout from a research on using quantum properties to allow for position based cryptography. SAT is one of the fundamental NP-Complete problem - finding a satisfying assignment to a CNF (conjunctive Normal Form) formula, or proving that none exists. We will not get into the details of the quantum physics, neither we are going to explain the internal work of SAT solver. Instead we will start from the mathematical garden hose model; describe the way we used SAT solver as a tool; give some lower and upper bounds on implementing the equality function; and conclude with open questions.",

author = "Oded Margalit",

year = "2014",

month = jan,

day = "1",

doi = "10.1109/ITA.2014.6804262",

language = "English",

note = "2014 IEEE Information Theory and Applications Workshop, ITA 2014 ; Conference date: 09-02-2014 Through 14-02-2014",

}

TY - CONF

T1 - On the riddle of coding equality function in the garden hose model

AU - Margalit, Oded

PY - 2014/1/1

Y1 - 2014/1/1

N2 - Recently, Harry Buhrman et al introduced a novel communication complexity model, called "garden-hose". This model sprout from a research on using quantum properties to allow for position based cryptography. SAT is one of the fundamental NP-Complete problem - finding a satisfying assignment to a CNF (conjunctive Normal Form) formula, or proving that none exists. We will not get into the details of the quantum physics, neither we are going to explain the internal work of SAT solver. Instead we will start from the mathematical garden hose model; describe the way we used SAT solver as a tool; give some lower and upper bounds on implementing the equality function; and conclude with open questions.

AB - Recently, Harry Buhrman et al introduced a novel communication complexity model, called "garden-hose". This model sprout from a research on using quantum properties to allow for position based cryptography. SAT is one of the fundamental NP-Complete problem - finding a satisfying assignment to a CNF (conjunctive Normal Form) formula, or proving that none exists. We will not get into the details of the quantum physics, neither we are going to explain the internal work of SAT solver. Instead we will start from the mathematical garden hose model; describe the way we used SAT solver as a tool; give some lower and upper bounds on implementing the equality function; and conclude with open questions.

UR - https://www.scopus.com/pages/publications/84901236125

U2 - 10.1109/ITA.2014.6804262

DO - 10.1109/ITA.2014.6804262

M3 - Paper

AN - SCOPUS:84901236125

T2 - 2014 IEEE Information Theory and Applications Workshop, ITA 2014

Y2 - 9 February 2014 through 14 February 2014

ER -

On the riddle of coding equality function in the garden hose model

Abstract

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this