Matches in SemOpenAlex for { <https://semopenalex.org/work/W2936293885> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2936293885 abstract "In this paper, we discuss the design and analysis of a polynomial time algorithm for a problem associated with a linearly infeasible system of Unit Two Variable Per Inequality (UTVPI) constraints, viz., the read-once refutation (ROR) problem. Recall that a UTVPI constraint is a linear relationship of the form: (a_{i}cdot x_{i}+a_{j} cdot x_{j} le b_{ij}), where (a_{i},a_{j} in {0,1,-1}). A conjunction of such constraints is called a UTVPI constraint system (UCS) and can be represented in matrix form as: (mathbf{A cdot x le c}). These constraint find applications in a host of domains including but not limited to operations research and program verification. For the linear system (mathbf{Acdot x le b}), a refutation is a collection of m variables (mathbf{y}=[y_{1},y_{2},ldots , y_{m}]^{T} in mathbb {R}^{m}_{+}), such that (mathbf{ycdot A =0}), (mathbf{y cdot b } < 0). Such a refutation is guaranteed to exist for any infeasible linear program, as per Farkas’ lemma. The refutation is said to be read-once, if each (y_{i} in {0,1}). Read-once refutations are incomplete in that their existence is not guaranteed for infeasible linear programs, in general. Indeed they are not complete, even for UCSs. Hence, the question of whether an arbitrary UCS has an ROR is both interesting and non-trivial. In this paper, we reduce this problem to the problem of computing a minimum weight perfect matching (MWPM) in an undirected graph. This results in an algorithm that runs in time polynomial in the size of the input UCS." @default.
- W2936293885 created "2019-04-25" @default.
- W2936293885 creator A5050337397 @default.
- W2936293885 creator A5072083212 @default.
- W2936293885 date "2019-01-01" @default.
- W2936293885 modified "2023-10-16" @default.
- W2936293885 title "Read-Once Certification of Linear Infeasibility in UTVPI Constraints" @default.
- W2936293885 cites W1512384059 @default.
- W2936293885 cites W1567308215 @default.
- W2936293885 cites W1573288331 @default.
- W2936293885 cites W1987170234 @default.
- W2936293885 cites W1996660205 @default.
- W2936293885 cites W2000472767 @default.
- W2936293885 cites W2039657946 @default.
- W2936293885 cites W2043100293 @default.
- W2936293885 cites W2069767473 @default.
- W2936293885 cites W2090168101 @default.
- W2936293885 cites W2098764081 @default.
- W2936293885 cites W2124682870 @default.
- W2936293885 cites W2343984626 @default.
- W2936293885 cites W2782000683 @default.
- W2936293885 cites W2789909559 @default.
- W2936293885 cites W3158747708 @default.
- W2936293885 doi "https://doi.org/10.1007/978-3-030-14812-6_36" @default.
- W2936293885 hasPublicationYear "2019" @default.
- W2936293885 type Work @default.
- W2936293885 sameAs 2936293885 @default.
- W2936293885 citedByCount "0" @default.
- W2936293885 crossrefType "book-chapter" @default.
- W2936293885 hasAuthorship W2936293885A5050337397 @default.
- W2936293885 hasAuthorship W2936293885A5072083212 @default.
- W2936293885 hasConcept C105795698 @default.
- W2936293885 hasConcept C106487976 @default.
- W2936293885 hasConcept C11413529 @default.
- W2936293885 hasConcept C114614502 @default.
- W2936293885 hasConcept C118615104 @default.
- W2936293885 hasConcept C134306372 @default.
- W2936293885 hasConcept C159985019 @default.
- W2936293885 hasConcept C165064840 @default.
- W2936293885 hasConcept C18903297 @default.
- W2936293885 hasConcept C192562407 @default.
- W2936293885 hasConcept C2524010 @default.
- W2936293885 hasConcept C2776036281 @default.
- W2936293885 hasConcept C2777759810 @default.
- W2936293885 hasConcept C311688 @default.
- W2936293885 hasConcept C33923547 @default.
- W2936293885 hasConcept C41045048 @default.
- W2936293885 hasConcept C46757340 @default.
- W2936293885 hasConcept C86803240 @default.
- W2936293885 hasConcept C90119067 @default.
- W2936293885 hasConceptScore W2936293885C105795698 @default.
- W2936293885 hasConceptScore W2936293885C106487976 @default.
- W2936293885 hasConceptScore W2936293885C11413529 @default.
- W2936293885 hasConceptScore W2936293885C114614502 @default.
- W2936293885 hasConceptScore W2936293885C118615104 @default.
- W2936293885 hasConceptScore W2936293885C134306372 @default.
- W2936293885 hasConceptScore W2936293885C159985019 @default.
- W2936293885 hasConceptScore W2936293885C165064840 @default.
- W2936293885 hasConceptScore W2936293885C18903297 @default.
- W2936293885 hasConceptScore W2936293885C192562407 @default.
- W2936293885 hasConceptScore W2936293885C2524010 @default.
- W2936293885 hasConceptScore W2936293885C2776036281 @default.
- W2936293885 hasConceptScore W2936293885C2777759810 @default.
- W2936293885 hasConceptScore W2936293885C311688 @default.
- W2936293885 hasConceptScore W2936293885C33923547 @default.
- W2936293885 hasConceptScore W2936293885C41045048 @default.
- W2936293885 hasConceptScore W2936293885C46757340 @default.
- W2936293885 hasConceptScore W2936293885C86803240 @default.
- W2936293885 hasConceptScore W2936293885C90119067 @default.
- W2936293885 hasLocation W29362938851 @default.
- W2936293885 hasOpenAccess W2936293885 @default.
- W2936293885 hasPrimaryLocation W29362938851 @default.
- W2936293885 hasRelatedWork W2021372200 @default.
- W2936293885 hasRelatedWork W2040118257 @default.
- W2936293885 hasRelatedWork W2147115438 @default.
- W2936293885 hasRelatedWork W2174697474 @default.
- W2936293885 hasRelatedWork W2206694218 @default.
- W2936293885 hasRelatedWork W2579720493 @default.
- W2936293885 hasRelatedWork W2786834732 @default.
- W2936293885 hasRelatedWork W2798321768 @default.
- W2936293885 hasRelatedWork W2914195715 @default.
- W2936293885 hasRelatedWork W3110710068 @default.
- W2936293885 isParatext "false" @default.
- W2936293885 isRetracted "false" @default.
- W2936293885 magId "2936293885" @default.
- W2936293885 workType "book-chapter" @default.