Zobrazeno 1 - 10
of 159
pro vyhledávání: '"hypergraph acyclicity"'
Autor:
Del Pia, Alberto, Khajavirad, Aida
In this paper, we study the problem of minimizing a polynomial function with literals over all binary points, often referred to as pseudo-Boolean optimization. We investigate the fundamental limits of computation for this problem by providing new nec
Externí odkaz:
http://arxiv.org/abs/2410.23045
Autor:
Brault-Baron, Johann
The notion of graph acyclicity has been extended to several different notions of hypergraph acyclicity, in increasing order of generality: gamma acyclicity, beta acyclicity, and alpha acyclicity, that have met a great interest in many fields. We prov
Externí odkaz:
http://arxiv.org/abs/1403.7076
We show that the propositional model counting problem #SAT for CNF- formulas with hypergraphs that allow a disjoint branches decomposition can be solved in polynomial time. We show that this class of hypergraphs is incomparable to hypergraphs of boun
Externí odkaz:
http://arxiv.org/abs/1401.6307
Autor:
BRAULT-BARON, JOHANN1 (AUTHOR)
Publikováno v:
ACM Computing Surveys. Dec2016, Vol. 49 Issue 3, p1-26. 26p. 7 Diagrams.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Johann Brault-Baron
The notion of graph acyclicity has been extended to several notions of hypergraph acyclicity. In increasing order of generality: gamma acyclicity, beta acyclicity, and alpha acyclicity have met a great interest in many fields. For each notion, we pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::208e812ab05af33791880676a9385e40
http://arxiv.org/abs/1403.7076
http://arxiv.org/abs/1403.7076
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319092836
SAT
SAT
We show that the propositional model counting problem #SAT for CNF-formulas with hypergraphs that allow a disjoint branches decomposition can be solved in polynomial time. We show that this class of hypergraphs is incomparable to hypergraphs of bound
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::06e04b015aaaba7d2907f89b422c5b92
https://doi.org/10.1007/978-3-319-09284-3_29
https://doi.org/10.1007/978-3-319-09284-3_29
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
D. Duris
Publikováno v:
LICS
A class of structures satisfies the extension preservation theorem if, on this class, every first order sentence is preserved under extension iff it is equivalent to an existential sentence. We consider different acyclicity notions for hypergraphs (\
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b5ff05b98564abd8ff2042fb2a055f27
https://doi.org/10.1109/lics.2008.12
https://doi.org/10.1109/lics.2008.12