Matches in SemOpenAlex for { <https://semopenalex.org/work/W4322716394> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4322716394 abstract "Interpretations of logical formulas over semirings have applications in various areas of computer science including logic, AI, databases, and security. Such interpretations provide richer information beyond the truth or falsity of a statement. Examples of such semirings include Viterbi semiring, min-max or access control semiring, tropical semiring, and fuzzy semiring. The present work investigates the complexity of constraint optimization problems over semirings. The generic optimization problem we study is the following: Given a propositional formula $varphi$ over $n$ variable and a semiring $(K,+,cdot,0,1)$, find the maximum value over all possible interpretations of $varphi$ over $K$. This can be seen as a generalization of the well-known satisfiability problem. A related problem is to find an interpretation that achieves the maximum value. In this work, we first focus on these optimization problems over the Viterbi semiring, which we call optConfVal and optConf. We show that for general propositional formulas in negation normal form, optConfVal and optConf are in ${mathrm{FP}}^{mathrm{NP}}$. We investigate optConf when the input formula $varphi$ is represented as a CNF. For CNF formulae, we first derive an upper bound on optConfVal as a function of the number of maximum satisfiable clauses. In particular, we show that if $r$ is the maximum number of satisfiable clauses in a CNF formula with $m$ clauses, then its optConfVal is at most $1/4^{m-r}$. Building on this we establish that optConfVal for CNF formulae is hard for the complexity class ${mathrm{FP}}^{mathrm{NP}[log]}$. We also design polynomial-time approximation algorithms and establish an inapproximability for optConfVal. We establish similar complexity results for these optimization problems over other semirings including tropical, fuzzy, and access control semirings." @default.
- W4322716394 created "2023-03-03" @default.
- W4322716394 creator A5031088478 @default.
- W4322716394 creator A5034026104 @default.
- W4322716394 creator A5041528950 @default.
- W4322716394 creator A5086195413 @default.
- W4322716394 date "2023-02-24" @default.
- W4322716394 modified "2023-09-27" @default.
- W4322716394 title "Constraint Optimization over Semirings" @default.
- W4322716394 doi "https://doi.org/10.48550/arxiv.2302.12937" @default.
- W4322716394 hasPublicationYear "2023" @default.
- W4322716394 type Work @default.
- W4322716394 citedByCount "0" @default.
- W4322716394 crossrefType "posted-content" @default.
- W4322716394 hasAuthorship W4322716394A5031088478 @default.
- W4322716394 hasAuthorship W4322716394A5034026104 @default.
- W4322716394 hasAuthorship W4322716394A5041528950 @default.
- W4322716394 hasAuthorship W4322716394A5086195413 @default.
- W4322716394 hasBestOaLocation W43227163941 @default.
- W4322716394 hasConcept C114614502 @default.
- W4322716394 hasConcept C118615104 @default.
- W4322716394 hasConcept C134306372 @default.
- W4322716394 hasConcept C168773769 @default.
- W4322716394 hasConcept C177148314 @default.
- W4322716394 hasConcept C199360897 @default.
- W4322716394 hasConcept C21696900 @default.
- W4322716394 hasConcept C2185349 @default.
- W4322716394 hasConcept C33923547 @default.
- W4322716394 hasConcept C41008148 @default.
- W4322716394 hasConcept C46274116 @default.
- W4322716394 hasConcept C69562738 @default.
- W4322716394 hasConceptScore W4322716394C114614502 @default.
- W4322716394 hasConceptScore W4322716394C118615104 @default.
- W4322716394 hasConceptScore W4322716394C134306372 @default.
- W4322716394 hasConceptScore W4322716394C168773769 @default.
- W4322716394 hasConceptScore W4322716394C177148314 @default.
- W4322716394 hasConceptScore W4322716394C199360897 @default.
- W4322716394 hasConceptScore W4322716394C21696900 @default.
- W4322716394 hasConceptScore W4322716394C2185349 @default.
- W4322716394 hasConceptScore W4322716394C33923547 @default.
- W4322716394 hasConceptScore W4322716394C41008148 @default.
- W4322716394 hasConceptScore W4322716394C46274116 @default.
- W4322716394 hasConceptScore W4322716394C69562738 @default.
- W4322716394 hasLocation W43227163941 @default.
- W4322716394 hasOpenAccess W4322716394 @default.
- W4322716394 hasPrimaryLocation W43227163941 @default.
- W4322716394 hasRelatedWork W105503775 @default.
- W4322716394 hasRelatedWork W1541903906 @default.
- W4322716394 hasRelatedWork W1643824286 @default.
- W4322716394 hasRelatedWork W2052514412 @default.
- W4322716394 hasRelatedWork W2114501395 @default.
- W4322716394 hasRelatedWork W2460545934 @default.
- W4322716394 hasRelatedWork W2892161477 @default.
- W4322716394 hasRelatedWork W3022890575 @default.
- W4322716394 hasRelatedWork W4249587947 @default.
- W4322716394 hasRelatedWork W2314909417 @default.
- W4322716394 isParatext "false" @default.
- W4322716394 isRetracted "false" @default.
- W4322716394 workType "article" @default.