The Opacity of Backbones

06/11/2016
by   Lane A. Hemaspaandra, et al.
0

A backbone of a boolean formula F is a collection S of its variables for which there is a unique partial assignment a_S such that F[a_S] is satisfiable [MZK+99,WGS03]. This paper studies the nontransparency of backbones. We show that, under the widely believed assumption that integer factoring is hard, there exist sets of boolean formulas that have obvious, nontrivial backbones yet finding the values, a_S, of those backbones is intractable. We also show that, under the same assumption, there exist sets of boolean formulas that obviously have large backbones yet producing such a backbone S is intractable. Further, we show that if integer factoring is not merely worst-case hard but is frequently hard, as is widely believed, then the frequency of hardness in our two results is not too much less than that frequency.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/14/2017

The Opacity of Backbones and Backdoors Under a Weak Assumption

Backdoors and backbones of Boolean formulas are hidden structural proper...
research
11/03/2017

Strengthening Convex Relaxations of 0/1-Sets Using Boolean Formulas

In convex integer programming, various procedures have been developed to...
research
05/09/2022

Worst-case Analysis for Interactive Evaluation of Boolean Provenance

In recent work, we have introduced a framework for fine-grained consent ...
research
02/11/2018

New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs

We propose two models of random quantified boolean formulas and their na...
research
07/13/2023

Short Boolean Formulas as Explanations in Practice

We investigate explainability via short Boolean formulas in the data mod...
research
06/06/2023

Explainable AI using expressive Boolean formulas

We propose and implement an interpretable machine learning classificatio...
research
07/26/2023

Reliability Analysis of a Multi-State Truly-Threshold System Using a Multi-Valued Karnaugh Map

This paper deals with the Boolean-based analysis of a prominent class of...

Please sign up or login with your details

Forgot password? Click here to reset