Heuristic Algorithms for the Approximation of Mutual Coherence

07/04/2023
by   Gregor Betz, et al.
0

Mutual coherence is a measure of similarity between two opinions. Although the notion comes from philosophy, it is essential for a wide range of technologies, e.g., the Wahl-O-Mat system. In Germany, this system helps voters to find candidates that are the closest to their political preferences. The exact computation of mutual coherence is highly time-consuming due to the iteration over all subsets of an opinion. Moreover, for every subset, an instance of the SAT model counting problem has to be solved which is known to be a hard problem in computer science. This work is the first study to accelerate this computation. We model the distribution of the so-called confirmation values as a mixture of three Gaussians and present efficient heuristics to estimate its model parameters. The mutual coherence is then approximated with the expected value of the distribution. Some of the presented algorithms are fully polynomial-time, others only require solving a small number of instances of the SAT model counting problem. The average squared error of our best algorithm lies below 0.0035 which is insignificant if the efficiency is taken into account. Furthermore, the accuracy is precise enough to be used in Wahl-O-Mat-like systems.

READ FULL TEXT

page 15

page 22

research
07/07/2020

Learning Branching Heuristics for Propositional Model Counting

Propositional model counting or #SAT is the problem of computing the num...
research
01/24/2014

Hypergraph Acyclicity and Propositional Model Counting

We show that the propositional model counting problem #SAT for CNF- form...
research
10/14/2018

Super Strong ETH is False for Random k-SAT

It has been hypothesized that k-SAT is hard to solve for randomly chosen...
research
06/17/2023

Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?

Given a Boolean formula ϕ over n variables, the problem of model countin...
research
04/14/2020

Tensor Network Rewriting Strategies for Satisfiability and Counting

We provide a graphical treatment of SAT and #SAT on equal footing. Insta...
research
09/26/2013

Treedy: A Heuristic for Counting and Sampling Subsets

Consider a collection of weighted subsets of a ground set N. Given a que...

Please sign up or login with your details

Forgot password? Click here to reset