Intervalová rozšíření částečně definovaných booleovských funkcí
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F06%3A00003130" target="_blank" >RIV/00216208:11320/06:00003130 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Interval Extensions of Partially Defined Boolean Functions
Popis výsledku v původním jazyce
Interval functions constitute quite 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] (wherea and b 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]. Partially defined Boolean function (pdBf) is a pair (T, F) of sets of vectors representing truepoints and falsepoints respectively. In this paper we study the problem of finding an interval extension of given pdBf, that is a Boolean function f which respects truepoints and falsepoints of the input pdBf and can be represented by an interval. We present a polynomial-time algorithm which solves this problem.
Název v anglickém jazyce
Interval Extensions of Partially Defined Boolean Functions
Popis výsledku anglicky
Interval functions constitute quite 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] (wherea and b 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]. Partially defined Boolean function (pdBf) is a pair (T, F) of sets of vectors representing truepoints and falsepoints respectively. In this paper we study the problem of finding an interval extension of given pdBf, that is a Boolean function f which respects truepoints and falsepoints of the input pdBf and can be represented by an interval. We present a polynomial-time algorithm which solves this problem.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GD201%2F05%2FH014" target="_blank" >GD201/05/H014: Collegium Informaticum</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2006
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the 6th WSEAS International Conference on APPLIED COMPUTER SCIENCE (ACS '06)
ISBN
960-8457-57-2
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
457-462
Název nakladatele
WSEAS
Místo vydání
Athens
Místo konání akce
Athens
Datum konání akce
1. 1. 2006
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—