[Zurück]


Buchbeiträge:

E. De Panafieu, D. Gardy, B. Gittenberger, M. Kuba:
"Probabilities of 2-XOR functions";
in: "LATIN 2014: Theoretical Informatics", A. Pardo, A. Viola (Hrg.); Springer Verlag Berlin-Heidelberg, Berlin-Heidelberg, Germany, 2014, ISBN: 978-3-642-54422-4, S. 454 - 465.



Kurzfassung englisch:
The problem 2-Xor-Sat asks for the probability that a random expression, built as a conjunction of clauses x ⊕ y, is satisfiable. We consider here a refinement of this question, namely the probability that a random expression computes a specific Boolean function. The answer involves a description of 2-Xor expressions as multigraphs, and uses classical methods of analytic combinatorics.


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-54423-1


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.