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

Date

2011-08

Authors

Karaşan, O. E.

Editor(s)

Advisor

Supervisor

Co-Advisor

Co-Supervisor

Instructor

Source Title

Annals of Operations Research

Print ISSN

0254-5330

Electronic ISSN

1572-9338

Publisher

Springer

Volume

188

Issue

1

Pages

251 - 261

Language

English

Journal Title

Journal ISSN

Volume Title

Series

Abstract

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.

Course

Other identifiers

Book Title

Citation