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

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Renamable Interval Extensions of Partially Defined Boolean Functions

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Renamable Interval Extensions of Partially Defined Boolean Functions

Popis výsledku anglicky

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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

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

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

Kód důvěrnosti údajů

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

Název periodika

WSEAS Transactions on Mathematics

ISSN

1991-8763

e-ISSN

—

Svazek periodika

sv.6

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

8

Strana od-do

559-566

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—