Succinctness of Switch-List Representations of Boolean Functions

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F18%3A10392023" target="_blank" >RIV/00216208:11320/18:10392023 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.ise.aoyama.ac.jp/~opt_out/cjseminar/proceedings/proceedings_online.pdf" target="_blank" >http://www.ise.aoyama.ac.jp/~opt_out/cjseminar/proceedings/proceedings_online.pdf</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Succinctness of Switch-List Representations of Boolean Functions

Popis výsledku v původním jazyce

In this paper we focus on a slightly unusual way how to represent Boolean functions, namely on representations by switch-lists. Given a truth table representation of a Boolean function f the switch-list representation of f is a list of Boolean vectors from the truth table which have a di DOWNWARDS ARROW WITH CORNER LEFTWARDS erent function value than the preceding Boolean vector in the truth table. The main aim of this paper is to compare switch-list representations with a number of standard representations (such as CNF, DNF, and OBDD) with respect to their relative succinctness, and hence to include switch-list representations in the Knowledge Compilation Map [7].

Název v anglickém jazyce

Succinctness of Switch-List Representations of Boolean Functions

Popis výsledku anglicky

In this paper we focus on a slightly unusual way how to represent Boolean functions, namely on representations by switch-lists. Given a truth table representation of a Boolean function f the switch-list representation of f is a list of Boolean vectors from the truth table which have a di DOWNWARDS ARROW WITH CORNER LEFTWARDS erent function value than the preceding Boolean vector in the truth table. The main aim of this paper is to compare switch-list representations with a number of standard representations (such as CNF, DNF, and OBDD) with respect to their relative succinctness, and hence to include switch-list representations in the Knowledge Compilation Map [7].

Druh

O - Ostatní výsledky

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/7AMB17FR027" target="_blank" >7AMB17FR027: Kompilace znalostí pro programování s omezujícími podmínkami</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2018

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ů