About: On Random Orderings of Variables for Parity Ordered Binary decision Diagrams.

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

About: On Random Orderings of Variables for Parity Ordered Binary decision Diagrams. 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	It is proved that for every Boolean function, the expected size of its representation using Parity OBDD with a random ordering of the variables and the size of such a representation for the worst ordering are polynomialy related. This is a different situation from OBDDs, where an exponential difference is possible. It is proved that for every Boolean function, the expected size of its representation using Parity OBDD with a random ordering of the variables and the size of such a representation for the worst ordering are polynomialy related. This is a different situation from OBDDs, where an exponential difference is possible. (en)
Title	On Random Orderings of Variables for Parity Ordered Binary decision Diagrams. On Random Orderings of Variables for Parity Ordered Binary decision Diagrams. (en)
skos:prefLabel	On Random Orderings of Variables for Parity Ordered Binary decision Diagrams. On Random Orderings of Variables for Parity Ordered Binary decision Diagrams. (en)
skos:notation	RIV/67985807:_____/00:06010071!RIV/2003/AV0/A06003/N
http://linked.open.../vavai/riv/strany	233;239
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA201/98/0717), P(OK 304), Z(AV0Z1030915)
http://linked.open...iv/cisloPeriodika	3
http://linked.open...vai/riv/dodaniDat	2003
http://linked.open...aciTvurceVysledku	Savický, Petr
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	Ústav informatiky AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	720389
http://linked.open...ai/riv/idVysledku	RIV/67985807:_____/00:06010071
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	representation of Boolean functions; - OBDD; - variable ordering (en)
http://linked.open.../riv/klicoveSlovo	- OBDD - variable ordering representation of Boolean functions
http://linked.open...odStatuVydavatele	US - Spojené státy americké
http://linked.open...ontrolniKodProRIV	[0EF7A3420F77]
http://linked.open...i/riv/nazevZdroje	Random Structures & Algorithms
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...ocetUcastnikuAkce	0 (xsd:int)
http://linked.open...nichUcastnikuAkce	0 (xsd:int)
http://linked.open...vavai/riv/projekt	Computational models and complexity of computations http://linked.opendata.cz/resource/domain/vavai/projekt/OK%20304
http://linked.open...UplatneniVysledku	2000
http://linked.open...v/svazekPeriodika	16
http://linked.open...iv/tvurceVysledku	Savický, Petr
http://linked.open...n/vavai/riv/zamer	Nové informatické technologie - teoretické základy, metodologie, prostředky a aplikace
issn	1042-9832
number of pages	7 (xsd:int)

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, 116 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software