About: Renamable Interval Extensions of Partially Defined Boolean Functions

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Renamable Interval Extensions of Partially Defined Boolean Functions Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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 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]. 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. 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 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]. 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. (en) 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. (cs)
Title	Renamable Interval Extensions of Partially Defined Boolean Functions Renamable Interval Extensions of Partially Defined Boolean Functions (en) Skrytě intervalová rozšíření částečně definovaných booleovských funkcí (cs)
skos:prefLabel	Renamable Interval Extensions of Partially Defined Boolean Functions Renamable Interval Extensions of Partially Defined Boolean Functions (en) Skrytě intervalová rozšíření částečně definovaných booleovských funkcí (cs)
skos:notation	RIV/00216208:11320/07:00004141!RIV08-MSM-11320___
http://linked.open.../vavai/riv/strany	559;566
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GD201/05/H014), Z(MSM0021620838)
http://linked.open...iv/cisloPeriodika	4
http://linked.open...vai/riv/dodaniDat	2008
http://linked.open...aciTvurceVysledku	Kučera, Petr Kronus, David Čepek, Ondřej
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Univerzita Karlova v Praze / Matematicko-fyzikální fakulta
http://linked.open...dnocenehoVysledku	447340
http://linked.open...ai/riv/idVysledku	RIV/00216208:11320/07:00004141
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Renamable; Interval; Extensions; Partially; Defined; Boolean; Functions (en)
http://linked.open.../riv/klicoveSlovo	Functions Boolean Extensions Interval Partially Defined Renamable
http://linked.open...odStatuVydavatele	US - Spojené státy americké
http://linked.open...ontrolniKodProRIV	[F5790A1BD532]
http://linked.open...i/riv/nazevZdroje	WSEAS Transactions on Mathematics
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Collegium Informaticum
http://linked.open...UplatneniVysledku	2007
http://linked.open...v/svazekPeriodika	sv.6
http://linked.open...iv/tvurceVysledku	Kučera, Petr Kronus, David Čepek, Ondřej
http://linked.open...n/vavai/riv/zamer	Moderní metody, struktury a systémy informatiky
issn	1991-8763
number of pages	8 (xsd:int)
http://localhost/t...ganizacniJednotka	11320

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software