Incremental polynomial time dualization of quadratic functions and a subclass of degree-k functions

We consider the problem of dualizing a Boolean function f represented by a DNF. In its most general form, this problem is commonly believed not to be solvable by a quasi-polynomial total time algorithm. We show that if the input DNF is quadratic or is a special degree- k DNF, then dualization turns...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Annals of operations research Jg. 188; H. 1; S. 251 - 261
1. Verfasser: Karasan, O. Ekin
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Boston Springer US 01.08.2011
Springer Science + Business Media
Springer
Springer Nature B.V
Schlagworte:
Algorithms
Artificial intelligence
Boolean
Boolean functions
Business and Management
Codes
Combinatorics
Equivalence
Game theory
Graphs
Operations research
Operations Research/Decision Theory
Studies
Theory of Computation
Japan
Polynomial total time algorithm
Degree
function
Boolean function
Hypergraph transversal
Dualization
Quadratic function
ISSN:0254-5330, 1572-9338
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We consider the problem of dualizing a Boolean function f represented by a DNF. In its most general form, this problem is commonly believed not to be solvable by a quasi-polynomial total time algorithm. We show that if the input DNF is quadratic or is a special degree- k DNF, then dualization turns out to be equivalent to hypergraph dualization in hypergraphs of bounded degree and hence it can be achieved in incremental polynomial time.
Bibliographie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-2
content type line 23
ISSN:0254-5330
1572-9338
DOI:10.1007/s10479-009-0637-x