Renamable Interval Extensions of Partially Defined Boolean Functions

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F07%3A00004141" target="_blank" >RIV/00216208:11320/07:00004141 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Renamable Interval Extensions of Partially Defined Boolean Functions

Original language description

Interval functions constitute a special class of Boolean functions for which it is very easy and fast to determine their functional value on a specified input vector. The value of an n-variable interval function specified by interval [a, b] (where a andb are n-bit binary numbers) is true if and only if the input vector viewed as an n-bit number belongs to the interval [a, b]. Renamable interval functions can be transformed into interval functions by switching the polarity of some variables. In this paper we study the problem of finding a renamable interval extension of given partially defined Boolean function. We present a polynomial-time algorithm which solves this problem.

Czech name

Skrytě intervalová rozšíření částečně definovaných booleovských funkcí

Czech description

Intervalové funkce tvoří speciální třídu booleovských funkcí, pro které lze velmi snadno a rychle zjistit funkční hodnotu na zadaném vstupním vektoru. Hodnota intervalové funkce na n proměnných zadané pomocí intervalu [a,b] (kde a a b jsou n-bitová celáčísla) je 1, právě když vstupní vektor nahlížený jako n-bitové celé číslo, náleží do intervalu [a,b]. Skrytě intervalové funkce mohou být transformovány na intervalové přepnutím polarit některých proměnných. V tomto článku studujeme problém nalezení skrytě intervalového rozčíření dané částečně definované booleovské funkce. Prezentujeme polynomiální algoritmus řešící tento problém.

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

<a href="/en/project/GD201%2F05%2FH014" target="_blank" >GD201/05/H014: Collegium Informaticum</a><br>

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

WSEAS Transactions on Mathematics

ISSN

1991-8763

e-ISSN

—

Volume of the periodical

sv.6

Issue of the periodical within the volume

4

Country of publishing house

US - UNITED STATES

Number of pages

8

Pages from-to

559-566

UT code for WoS article

—

EID of the result in the Scopus database

—