Attributes | Values |
---|
rdf:type
| |
Description
| - Boolean function f on n variables is represented by set I of disjoint intervals of non-negative n-bit integers, if the following condition holds: vector x of length n is a truepoint of f, if and only if integer m, binary representation of which corresponds to vector x, belongs to some interval from I. In this paper we present a polynomial-time algorithm recognizing, whether a Boolean function given by a positive prime DNF can be represented by two intervals.
- Boolean function f on n variables is represented by set I of disjoint intervals of non-negative n-bit integers, if the following condition holds: vector x of length n is a truepoint of f, if and only if integer m, binary representation of which corresponds to vector x, belongs to some interval from I. In this paper we present a polynomial-time algorithm recognizing, whether a Boolean function given by a positive prime DNF can be represented by two intervals. (en)
- Booleovská funkce f na n proměnných je reprezentována množinou I intervalů n-bitových nezáporných celých čísel, právě když platí následující podmínka: vektor x délky n je truepointem funkce f, právě když celé číslo m, jehož bitová reprezentace odpovídá x, je prvkem některého intervalu z I. V tomto článku prezentujeme polynomiální algoritmus, který rozpoznává, zda lze danou funkci, zadanou pomocí pozitivní primární DNF, reprezentovat pomocí 2-intervalů. (cs)
|
Title
| - Recognition of Positive 2-Interval Boolean Functions
- Recognition of Positive 2-Interval Boolean Functions (en)
- Rozpoznávání 2-intervalových booleovských funkcí (cs)
|
skos:prefLabel
| - Recognition of Positive 2-Interval Boolean Functions
- Recognition of Positive 2-Interval Boolean Functions (en)
- Rozpoznávání 2-intervalových booleovských funkcí (cs)
|
skos:notation
| - RIV/00216208:11320/07:00004377!RIV08-MSM-11320___
|
http://linked.open.../vavai/riv/strany
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(GD201/05/H014), Z(MSM0021620838)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216208:11320/07:00004377
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Recognition; Positive; 2-Interval; Boolean; Functions (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - WDS 2007 - Proceedings of Contributed Papers: Part I - Mathematics and Computer Science
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Kronus, David
- Čepek, Ondřej
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |